clang++ 17.0.1+中const关键字触发-Winteger-overflow警告原因咨询

在使用clang++ 17.0.1及更高版本并开启-Winteger-overflow编译选项时，会出现一个和const关键字相关的警告差异：

#include <limits>

int foo_const()
{
    const auto min = std::numeric_limits<int>::min(); // const关键字
    return - min; // 触发警告：overflow in expression; result is -2147483648 with type 'int' [-Winteger-overflow]
}

int foo()
{
    auto min = std::numeric_limits<int>::min();   // 无const关键字
    return - min; // 无警告
}

原因分析 #

核心区别在于编译期常量表达式与运行期变量的处理逻辑：

• 当变量被const修饰时，std::numeric_limits<int>::min()是编译期可确定的常量，因此min会被编译器视为编译期常量。此时-min的计算会在编译阶段完成，编译器能直接发现：int类型的最小值是-2147483648，它的相反数2147483648超出了int的最大值2147483647，属于有符号整数溢出（C++标准中这是未定义行为），因此触发-Winteger-overflow警告。
• 而未加const的变量是运行期变量，编译器不会假设它的值在整个生命周期中保持不变（即使代码里没修改它），因此-min的计算会被推迟到运行时执行。编译器无法在编译阶段提前检测这个操作的溢出，也就不会触发警告。

补充：如果给非const变量加上constexpr修饰（constexpr auto min = std::numeric_limits<int>::min();），同样会触发警告，因为constexpr强制变量成为编译期常量，编译器会在编译阶段计算表达式。

内容的提问来源于stack exchange，提问作者Daniele Pallastrelli