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

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

这是 cwg问题2374 。

在C ++ 17中，在解决此问题之前，指定具有单个表达式固定基础类型的枚举的直接列表限制，以始终等于功能性风格。然后，功能风格的铸件将等效于 static_cast ，并且实际上在不同的枚举类型之间允许（通过浏览促进的基础类型）。

通过问题解决，只有当初始化器表达式将其隐式转换为枚举类型时，才能采用此路径，这不允许在不同的枚举类型之间转换。

这似乎是解决C ++ 17： CWG 2251

似乎Clang决定忠实地实施CWG 2251，并且仅解决CWG 2374后才恢复此特殊情况，而Clang 15将包含后者的修复

。在GCC 12之前似乎也适用。MSVC

似乎仅在符合模式下仅禁止转换（/permissive - 或C ++ 20或更高版本），并且仅是因为V19.25。

Answer 2

这两者在C ++ 17和C ++ 20下的VS2022中为我产生了编译器错误。

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

也许这是一个特定的错误或扩展名？ （也许Clang在使用括号初始化时尝试自动铸造？）

当使用clang “ noreferrer”>到版本14 。

clang（中继）的编译器错误：

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