專門針對枚舉類型參數的成員模板

Question

在下面的代碼中，Foo<T>::setValue適用於我的目的，除非其中T是類枚舉，名爲TYPE例如， Bar::TYPE和Baz:TYPE。

因此，我很感謝Foo<T>::setValue的幫助，沒有命名Bar和Baz，因爲可能有幾十個這樣的類。

class Bar 
{ 
public: 
    enum TYPE{ ONE , TWO }; 
}; 

class Baz 
{ 
public: 
    enum TYPE{ SIX , TEN }; 
}; 

template<typename T> 
class Foo 
{ 
public: 
    void setValue(){} // Need a different setValue if T is a class enum 

private: 
    T m_value; 
}; 


int main() 
{ 
    Foo<int> f1; 
    Foo<Bar::TYPE> f2; 
    Foo<Baz::TYPE> f3; 
    return EXIT_SUCCESS; 
} 

Answer 1

你可以像這樣做：

#include <type_traits> 

template<typename T> 
class Foo 
{ 
public: 
    void setValue() { 
     setValueImpl<T>(); 
    } 
private: 
    template <class X> 
    typename std::enable_if<std::is_enum<X>::value, void>::type 
    setValueImpl() { std::cout << "Is enum" << std::endl; } 

    template <class X> 
    typename std::enable_if<!std::is_enum<X>::value, void>::type 
    setValueImpl() { std::cout << "Not enum" << std::endl; } 

    T m_value; 
}; 

凡使用基於is_enum型性狀enable_if挑選哪個版本。

該示例使用C++ 11 enable_if和is_enum，但boost也與pre-C++ 11類似。

Answer 2

考慮一下：

#include <iostream> 

class Bar 
{ 
public: 
    enum TYPE{ ONE , TWO }; 
}; 

class Baz 
{ 
public: 
    enum TYPE{ SIX , TEN }; 
}; 

template<typename T> 
class Foo 
{ 
public: 
    template<typename C> void setValue(const C &m_value, ...) 
    { 
     std::cout << "normal" << std::endl; 
    } 

    template<typename C> void setValue(const C &m_value, typename C::TYPE fake = C::TYPE()) 
    { 
     std::cout << "TYPE'ed" << std::endl; 
    } 

private: 
    T m_value; 
}; 


int main() 
{ 
    Foo<int> f1; 
    Foo<Bar> f2; 
    Foo<Baz> f3; 

    f1.setValue(1); 
    f2.setValue(Bar()); 
    f3.setValue(Baz()); 

    return 0; 
}