枚举类型参数的专用成员模板

Specializing member template for enum type arguments

本文关键字：成员 专用 类型参数 枚举      更新时间：2023-10-16

在下面的代码中，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;
}

你可以这样做：

#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;
};

其中，enable_if根据is_enum类型特征选择要使用的版本。

该示例使用 C++11 enable_if 和 is_enum但 boost 对于 C++11 之前也有类似的效果。

考虑一下：

#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;
}
相关文章：