c++ - 为什么枚举类的默认类型与枚举的基础类型不同？

Question

我想问为什么以下代码在 Visual Studio 2014 update 4 中会产生错误。

enum A
{   a = 0xFFFFFFFF };

enum class B
{   b = 0xFFFFFFFF };

我知道我可以使用 enum class B : unsigned int。但为什么 enum 的默认底层类型与 enum class 的默认底层类型不同？应该有一个设计决定。

---

澄清我忘了提到错误:

error C3434: enumerator value '4294967295' cannot be represented as 'int', value is '-1'

这表明 enum class 的default 底层类型是 signed int 而 enum 的默认类型是 unsigned int。这个问题是关于符号部分的。

Answer 1

枚举类也称为作用域枚举。

出于向后兼容的原因，enum 是非常必要的。添加范围枚举(或枚举类)，除其他原因外，是为了确定枚举的基础类型。

详情如下。当你做这样的事情时:

enum MyEnumType {
   Value1, Value2, Value3
 };

编译器可以自由选择 MyEnumType 的基础数字类型，只要您的所有值都适合该类型即可。这意味着编译器可以自由选择 char、short、int、long 或其他数字类型作为 MyEnumType 的基础类型。一种经常采用的做法是向枚举添加最后一个值，以强制实现基础类型的最小大小。例如:

enum MyEnumType2 {
   Value1, Value2, Value3, LastValue=0xffffff
 };

保证具有至少与无符号 32 位一样大的基础类型，但它可以更大(例如，64 位无符号)。编译器的这种灵 active 有好有坏。

好处是您不必考虑基础类型。不好的是，现在这是由编译器决定的不确定性，如果您确实考虑了底层类型，您将无能为力。这意味着同一段代码在不同的编译器上可能有不同的含义，例如，如果您想执行以下操作，这可能会成为问题:

 MyEnumType a = ...;
 fwrite(&a, sizeof(a), 1, fp);

将枚举写入文件的位置。在这种情况下，切换编译器或向枚举添加新值可能会导致文件未对齐。

新的作用域枚举解决了这个问题。为了做到这一点，当你声明一个作用域枚举时，语言必须有一种方法来修复底层类型。那么，标准是:

 enum class MyEnumType {
   ....
 }

默认为 int 类型。可以通过从适当的数字类型派生枚举类来显式更改基础类型。

例如:

 enum class MyEnumType : char {
   ....
 }

将基础类型更改为 char。

因此，枚举的默认基础类型可以根据枚举中的项目数量和分配给项目的字面值而改变。另一方面，枚举类的默认底层类型始终是 int。