为什么我可以使用花括号用另一个枚举类的值初始化一个枚举类？

Question

我发现了Clang-12、Clang-13和Clang-14在c 17标准中的以下行为：

enum class FOO {
  VALUE
};

enum class BAR {
  VALUE
};

FOO value1{BAR::VALUE}; // OK
FOO value2 = BAR::VALUE; // Error

为什么有区别？我希望枚举类是100%类型安全的。

编译器资源管理器




Answer 1

这两种方法都会在VS2022的C 17和C 20下为我产生编译器错误。

Ubuntu上的GCC 9.3.0也会产生编译器错误。

也许这是一个特定于叮当声的bug或扩展？（可能是Clang在使用括号初始化时尝试自动强制转换？）

只有在使用版本14之前的叮当声时，我才能复制这种行为。

编译器Clang错误（主干）：

error: cannot initialize a variable of type 'FOO' with an rvalue of type 'BAR'
FOO value{BAR::VALUE};
          ^~~~~~~~~~

Answer 2

这是CWG第2374期。

在C17中，在解决这个问题之前，通过单个表达式对具有固定基础类型的枚举进行直接列表初始化被指定为始终等效于函数样式强制转换。函数样式强制转换将等效于static_cast，并且在不同的枚举类型之间实际上是允许的（通过提升的基础类型）。

对于问题解决方案，只有当初始值设定项表达式隐式转换为枚举类型时，才采用此路径，这不允许在不同枚举类型之间进行转换。

这似乎是在解决C 17之前的一个问题时的疏忽：CWG 2251

看来，Clang决定忠实地实施CWG 2251，只有在解决CWG 2374后才恢复此特殊情况，后者的修复将包含在Clang 15中。

对于海湾合作委员会来说，这似乎也适用于海湾合作委员会第12届会议之前。

MSVC似乎只在一致性模式（/permissive-或C 20或更高版本模式）下禁止转换，并且仅从v19.25开始。