具有非固定类型的数值的初始值设定项

Initializer for the numeration with non-fixed type

本文关键字：类型      更新时间：2023-10-16

标准在第7.2/5 [dcl.enum]说：

如果基础类型不固定，则每个枚举器的类型在前面 右大括号确定如下：

(5.1( — 如果为枚举器指定了初始值设定项，则 常量表达式应为整数常量表达式 (5.20(。 如果表达式具有无作用域枚举类型，则枚举器具有 该枚举类型的基础类型，否则它具有 与表达式的类型相同。

(5.2( — 如果没有为第一个枚举器指定初始值设定项，则 type 是未指定的有符号整数类型。

(5.3( — 否则，枚举器的类型与 前面的枚举器，除非递增的值不是 可在该类型中表示，在这种情况下，该类型是未指定的 足以包含递增值的整数类型。如果没有这样的 类型存在，程序格式不正确。

因此，以下所有情况都包含在5.1和5.2中：

一、enum A { x = 4 }; //case 1, initializer was specified

二、enum B { x, y }; //case 2, initializer was not specified.

第三。 

enum C { x = 5 };
enum D { y = x }; // case 1, y had unscoped enumeration type.

四。

enum struct C { x = 5 };
enum D { y = 0, x = C::x }; // even integral constant expression must have integral
                            // or unscoped enumeration type, not 'C

演示

我想看看5.3案例的实际情况。为什么 Case IV 甚至没有编译？

在语言中引入作用域枚举的全部目的是防止隐式转换为基础类型。因此，在您的失败示例中，无法从C::x隐式转换为基础D类型的任何整数类型。

添加适当的强制转换，代码将编译。

#include <type_traits>
enum struct C { x = 5 };
enum D 
{ 
    y = 0, 
    x = static_cast<std::underlying_type<C>::type>(C::x)
};

现场演示

7.2/5 在枚举说明符的右大括号之后，每个枚举器都有其枚举的类型。

所以在D的定义中，C::x属于C型。

5.19/3 整型常量表达式是整型或无作用域枚举类型的表达式...

强调我的。因此，C::x不是整数常量表达式，不能用作枚举器的初始化器。

相关文章：