自定义枚举基础类型

Question

我可以定义一个类型作为枚举的基础类型吗？像这样的：

struct S {
    S(int i) : value(i) {}
    operator int() { return value; }

    int value;
};

enum E : S {
    A, B, C
};

错误信息告诉我 S 必须是整数类型。我试图像下面这样专门化std::is_integral，但似乎在这种情况下，“整数类型”确实意味着基本类型之一。

namespace std {
    template<>
    struct is_integral<S> : public true_type {};
}

那么，使用任何版本的 C++，有没有办法让自定义类型作为整数类型传递出去？

Answer 1

我可以定义一个类型以用作枚举的基础类型吗？

您只能使用整数类型来定义enums，而不是任何旧类型。

例如，你可以使用

enum E : char {
    A, B, C
};

表示E 的值将是char 类型。但是你不能用

enum E : S {
    A, B, C
};

来自C++11 Standard, 3.9.1/7：

bool、char、char16_t、char32_t、wchar_t 类型以及有符号和无符号整数类型统称为整数类型。整数类型的同义词是整数类型。

Answer 2

std::is_integral 检查 T 是否为整数类型。提供等于 true 的成员常量值，如果 T 是类型 bool、char、char16_t、char32_t、wchar_t、short、int、long、@987654332 @，或任何实现定义的扩展整数类型，包括任何有符号、无符号和 cv 限定的变体。否则，值等于 false。

这是here 的摘录。 这意味着enum 必须使用以下类型之一：

bool、char、char16_t、char32_t、wchar_t、short、int、long、long long。