缩小从`int`（常量表达式）到`unsigned int`的转换-MSVC vs gcc vs clang

Question

constexpr int i = 100;
struct F { F(unsigned int){} };
int main() { F{i}; }

上面的sn-p：

• 在g++ 7 和-Wall -Wextra -Wpedantic 上编译没有警告。

• 在clang++ 4 和-Wall -Wextra -Wpedantic 上编译没有警告。

• 在MSVC 2017 上编译失败：

  从“const int”到“unsigned int”的转换需要缩小转换

问：这里是 MSVC 错了吗？

live example on godbolt.org

---

int i = 100;
struct F { F(unsigned int){} };
int main() { F{i}; }

• 在g++ 7 和-Wall -Wextra -Wpedantic 上编译带有警告：

  将“i”从“int”缩小到“unsigned int”

• 无法用-Wall -Wextra -Wpedantic 编译clang++ 4：

  在初始化列表中，非常量表达式不能从“int”类型缩小到“unsigned int”

• 在MSVC 2017 上编译失败：

  从 'const int' 到 'unsigned int' 的转换需要缩小转换

问：这里g++错了吗？ （即它应该产生一个硬错误吗？）

live example on godbolt.org

Answer 1

从不要求任何 C++ 程序产生硬错误。有打印诊断的要求。标准未指定诊断的形式：一个老笑话是打印出一个空格就可以满足标准的诊断要求。这将是一个实施质量问题。

有一些格式不正确的程序，标准对其行为没有任何限制，有时是强制性诊断。

在某些情况下，程序格式不正确，需要进行诊断。处理该问题的一种方法是生成一条消息，说明这是一个错误，然后不生成任何要运行的二进制文件。另一种方法是生成一条消息说这是一个警告，然后生成一个可以运行的二进制文件。

所以，g++在仅仅打印一个警告的标准下并没有错。

生成的程序在技术上都是未定义的行为； g++ 可以在运行时格式化您的硬盘而不违反标准。这将被视为实施质量问题。

Shafik's answer here 涵盖了第一个问题。 i 是常量表达式，其值符合目标类型；缩小转换应该没有警告或错误。

C++ 标准不能保护您免受恶意编译器的攻击。

据报道，当标准要求生成的程序格式错误时，-pedantic-errors 可以传递给 g++ 以使其生成硬错误而不是警告。