C语言limits.h中INT_MIN为何用(-INT_MAX-1)定义而非直接赋值？

一、不用直接写-2147483648的原因 #

在C语言里，整数常量2147483648对于32位有符号int来说，已经超出了它的最大值INT_MAX（2147483647），编译器会默认把这个数当作无符号整数处理。这时候写-2147483648，本质是对一个无符号整数取负，得到的结果是一个超大的无符号数，再转换成int类型时，虽然在主流的补码系统里最终结果看起来是对的，但这属于依赖编译器实现的行为，并不符合C标准的强制要求。

而用(-INT_MAX-1)的方式就完全不同：INT_MAX是标准定义的有符号int最大值，对它减1再取负，整个计算过程都在有符号int的合法范围内，不管编译器用什么整数表示方式（标准不强制必须用补码），都能稳定得到正确的INT_MIN，兼容性和可移植性拉满。

二、直接用-2147483647定义INT_MIN的问题 #

-2147483647比真正的INT_MIN（-2147483648）大1，这么定义会直接导致程序中所有依赖INT_MIN的逻辑出错：

• 比如检查整数下溢时，无法正确识别到-2147483648这个边界值；
• 处理数组索引、数值范围判断这类场景时，会漏掉最小的合法整数，引发未定义行为或者逻辑错误。

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