64位系统下C++ int溢出相关问题技术咨询

环境说明 #

• 系统：Intel x64 Ubuntu
• 开发工具：VSCode + CMake
• 编译器：g++ 14.2.0
• 分析范围：仅针对int类型，不涉及类型转换或扩展为无符号/64位类型

代码案例1：未触发-Woverflow但断言失败 #

int i = 0x80000000;
cout << "i: " << i << ", -i: " << -i << endl; // 输出: i: -2147483648, -i: -2147483648
assert(0x80000000 == -0x80000000); // 通过
assert(i == -i); // XXX: 断言失败，原因是什么？
/*
 * 0x8000_0000 + 1 = -0x7FFF_FFFF = 0x8000_0001（补码）
 * 0x8000_0000 - 1 = -0x8000_0001 = 0x7FFF_FFFF
 */
int i = 0x80000000;
int j = i + 1;
cout << i << " (0x" << hex << i << ") + 1 = " << dec << j << " 0x" << hex << j << endl;
assert(j == 0x80000001); // 通过
j = i - 1;
cout << dec << i << " (0x" << hex << i << ") - 1 = " << dec << j << " 0x" << hex << j << endl;
assert(j == 0x7FFFFFFF); // XXX: 断言失败，原因是什么？

代码案例2：触发-Woverflow警告 #

int i = 0x80000000; // numeric_limits<int>::min()
int j = 0x7FFFFFFF; // numeric_limits<int>::max()
cout << i << " - " << j << " = " << i - j << endl; // 输出: "-2147483648 - 2147483647 = 1"
assert(1 == i - 0x7FFFFFFF); // XXX: integer overflow in expression of type ‘int’ results in ‘1’ [-Woverflow]
assert(1 == (i - j)); // XXX: integer overflow in expression of type ‘int’ results in ‘1’ [-Woverflow]
i = -INT_MIN; // == 0x80000000
assert(j == (i - 0x7FFFFFFF)); // XXX: integer overflow in expression of type ‘int’ results in ‘1’ [-Woverflow]

代码案例3：断言可通过 #

assert(1 == (int)0x80000000 - (int)0x7fffffff);
assert(1 == 0x80000000 - 0x7fffffff);

问题解答 #

(1) 为什么0x80000000 - 0x7FFFFFFF会溢出？它难道不应该得到1吗？ #

要区分字面量运算和有符号变量运算：

• 0x80000000和0x7FFFFFFF作为十六进制字面量，默认是unsigned int类型（因为0x80000000超出了int的最大值范围），它们的运算属于无符号整数运算，无符号溢出是C++标准明确定义的行为（按模2^N取余），所以结果就是1，不会触发警告。
• 当把0x80000000赋值给int i后，i成为有符号的INT_MIN（-2147483648），此时i - 0x7FFFFFFF是有符号整数运算：INT_MIN - INT_MAX = -2147483648 - 2147483647 = -4294967295，这个结果远超int的取值范围（-2147483648 ~ 2147483647），触发有符号整数溢出。

x86架构下补码运算会让溢出结果按2^32取余得到1，但这只是特定硬件的表现——C++标准中，有符号整数溢出属于未定义行为，编译器可以自由处理该情况。

(2) 为什么cout的表现与assert不同？ #

• cout是运行时输出：它直接读取内存中int类型的二进制补码，按有符号规则解析成十进制值，不管运算是否溢出，都会输出CPU补码运算后的实际结果。
• assert的行为依赖编译器优化：对于涉及有符号溢出的表达式，编译器在编译期可能直接基于未定义行为做优化——比如assert(i == -i)，编译器会认为有符号整数中只有0满足x == -x，直接判定断言为假；而运行时cout输出的是CPU实际运算后的补码结果（INT_MIN取反后还是自身），两者因此出现差异。

(3) 为什么有的情况触发断言失败，有的触发-Woverflow警告？ #

• 触发-Woverflow警告：编译器在编译期能明确检测到有符号整数运算会溢出，比如i - j（INT_MIN - INT_MAX），此时会发出警告。而无符号字面量的运算（0x80000000 - 0x7FFFFFFF）是定义良好的，不会触发警告。
• 触发断言失败：分为两种场景：
  1. 编译器对未定义行为的优化：比如assert(i == -i)和assert(j == 0x7FFFFFFF)，编译器基于C++标准中“有符号溢出是未定义行为”的规则，直接在编译期改写或判定表达式结果，导致断言和运行时实际结果不符。
  2. 字面量类型差异：0x80000000和0x7FFFFFFF是无符号字面量，当与int变量比较时，编译器会将int变量提升为无符号类型，但如果涉及有符号溢出的变量运算，编译器可能直接优化掉断言逻辑，导致失败。

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