is_enum实现

Question

我正在尝试实施std::is_enum。到目前为止，这是我的代码：

template<typename T>
struct is_enum {
    static bool value;
};

template<typename T>
bool is_enum<T>::value = false;

template<enum E>
struct is_enum {
    static bool value;
};

template<enum E>
bool is_enum<E>::value = true;

此代码导致错误。更确切地说：

g++ -std=c++0x -Wall -o "enum2" "enum2.cpp" (in directory: /home/aristophanes/Desktop/C++)
Compilation failed.
enum2.cpp:11:15: error: use of enum ‘E’ without previous declaration
enum2.cpp:3:10: error: template parameter ‘class T’
enum2.cpp:12:8: error: redeclared here as ‘int E’
enum2.cpp:16:15: error: use of enum ‘E’ without previous declaration
enum2.cpp:17:14: error: ‘E’ was not declared in this scope
enum2.cpp:17:15: error: template argument 1 is invalid
enum2.cpp:17:18: error: template declaration of ‘bool value’

任何人都可以向我解释我犯了哪个错误吗？这是我的还是编译器的错？提前谢谢。

编辑：如果完全错误，那我该怎么纠正呢？

注意：我正在使用g++ -o <file> <file>.cpp

Answer 1

实现这一点的最好方法是使用编译魔术，我相信大多数实现都是这样做的。

例如，这里是libc ++对gcc＆gt; = 4.3的实现以及__has_feature(is_enum) ¹

的任何编译器

template <class _Tp> struct _LIBCPP_VISIBLE is_enum
    : public integral_constant<bool, __is_enum(_Tp)> {};

对于libc ++所做的所有其他编译器：

template <class _Tp> struct _LIBCPP_VISIBLE is_enum
    : public integral_constant<bool, !is_void<_Tp>::value             &&
                                     !is_integral<_Tp>::value         &&
                                     !is_floating_point<_Tp>::value   &&
                                     !is_array<_Tp>::value            &&
                                     !is_pointer<_Tp>::value          &&
                                     !is_reference<_Tp>::value        &&
                                     !is_member_pointer<_Tp>::value   &&
                                     !is_union<_Tp>::value            &&
                                     !is_class<_Tp>::value            &&
                                     !is_function<_Tp>::value         > {};

其他一些类型特征仍然需要编译器魔法。 ² 例如。 is_union。但是，可以重写该条件，使其不需要编译魔术。正如Johannes Schaub指出的那样，这可以通过替换单独检查联合和类的单独检查来完成。

<子> 1。不幸的是，据我所知只有clang实现__has_feature。
<子> 2。有趣的是，libc ++确实有is_union<T>和is_class<T>的版本不使用编译器内在函数，但结果它们为联合类型提供了错误的结果。但是他们的错误结果是互补的，因此libc ++对is_enum<T>的后备实现提供了准确的结果。

Answer 2

此

template<enum E>

承诺模板参数是enum E类型的值。参数不是类型（类型模板参数由typename引入，或者为了向后兼容，class。甚至不允许struct。这就像说

template<int i>

除了没有给变量命名。

那里出了问题。

Answer 3

你的问题是那个

template<enum E>

被解释为未命名的参数，类型为forward声明的枚举名为E 与语言相同

template<int>

用int代替enum E。