在枚举定义中使用先前定义的成员作为后续成员的一部分是否合法？

Question

namespace ValueType {
  enum Enum {
    Boolean = 0,
    Float = 1,
    Double,
    SInt = 8,
    SLong,
    UInt = SInt + (1 <<4),
    ULong = SLong + (1 << 4)
  };
}

Answer 1

是的——要求是它是一个整型常量表达式。 C++ 标准包括以下示例：

enum { d, e, f=e+2 };

Answer 2

正如 杰瑞，这是合法的。

在某些罕见的情况下，它会意识到枚举器的类型仅在枚举完全定义后才指定。该标准对枚举类型做了如下规定 (7.2/4)：

每个枚举都定义一个与所有其他类型不同的类型。在枚举说明符的右大括号之后，每个枚举器都有其枚举的类型。在右大括号之前，每个枚举数的类型是其初始化值的类型。如果为枚举器指定了初始值设定项，则初始值的类型与表达式的类型相同。 如果没有为第一个枚举器指定初始值设定项，则该类型是未指定的整型。否则，该类型与前一个枚举数的初始化值的类型相同，除非增量值不能用该类型表示，在这种情况下，该类型是足以包含增量值的未指定整数类型。

突出显示的句子可以在以下示例中显示：

enum E {
  E0            // Unspecified type
  , E1 = E0-1   // -1, or MAX_UINT
  , E2          // 0 or (MAX_UINT+1)
};

基本上，为 E0 选择的类型会影响 E1 的结果值。