C/C++中INT_MIN除以-1的有符号整数除法结果是否有标准定义

核心结论 #

• 32位有符号补码系统中，INT_MIN / -1的运算属于未定义行为，标准没有对其运行结果做任何强制约束。

具体标准条款说明 #

C标准规则 #

C11/C23标准第6.5.5节第5条明确规定：整数除法的运算结果如果无法用对应运算类型的取值范围表示时，运算行为未定义。
对于32位有符号int类型，INT_MIN的取值为-2^{31（即0x8000_0000），除以-1的数学计算结果为2}31，而32位有符号int的最大可表示正值仅为2^31 - 1（即0x7FFF_FFFF），运算结果超出类型取值范围，因此符合未定义行为的判定条件。

C++标准规则 #

C11及后续所有版本标准的第8.6节第5条规定：如果整数除法的商不属于对应运算类型的可表示值集合，运算行为未定义。
C和C的规则完全对齐，32位有符号补码场景下的INT_MIN / -1同样属于未定义行为。

常见实际运行表现 #

未定义行为不代表一定会崩溃，不同平台、编译器的常见执行结果包括：

• x86/x86_64架构下通常会触发硬件除法异常，程序直接终止
• GCC/Clang开启高优化等级时，会基于「未定义行为不会发生」的假设优化逻辑，可能导致程序执行流错乱
• 少数嵌入式平台会直接截断结果返回INT_MIN，但该行为没有标准保障，不可依赖

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