c++ - 枚举模板

Question

如何为所有枚举特化一个模板。 正如它所做的boost::serialization。

在提升中:

template <typename Archive>
void serialize(Archive &AR, const unsigned int ver)
{
AR & enum__;
AR & int__;
AR & class__;
}

我需要所有枚举的operator&:

struct A
{
void operator&(int obj){std::cout << "1";}
void operator&(unsigned int obj){std::cout << "2";}

template <typename T>
typename std::enable_if<std::is_enum<T>::value,void>::type operator&(T & obj) { std::cout << "Is enum" << std::endl; }

template<typename T>
void operator&(T & obj){obj.metod(); std::cout << "3";} // this operator not for enums
};

enum enum__{AAA,BBB};
enum enum2__{AAA2,BBB2};

int main()
{
A a;
enum__ d = AAA;
a & d;

enum2__ e = AAA2;
a & e;

std::system("pause");
return 0;
}

错误 C2593:运算符 & 不明确

Answer 1

Error C2593: Operator & is ambiguous

假设您将一个枚举类型传递给operator&。然后编译器将生成两个版本的 operator& 具有相同的函数参数。这就是为什么你有一个模棱两可的错误。您应该为非枚举 添加模板特化:

template<typename T>
typename std::enable_if<!std::is_enum<T>::value,void>::type
operator&(T & obj)
{
    obj.metod();
    std::cout << "3";
}