32位与64位C程序运行结果为何存在差异？

咱们一步步拆解你遇到的这个现象，先从C89的规则说起：

1. 整数常量的类型判定（C89规则） #

在32位系统环境下，int的取值范围是-2147483648到2147483647。对于常量2147483648来说：

• 它无法放入int类型（超出最大值）；
• 32位系统的long int和int范围一致，也放不下；
• 根据C89的规则，此时这个常量会被判定为unsigned int类型。

2. 表达式的寻常算术转换 #

当表达式里同时存在有符号整数和无符号整数时，C语言会触发寻常算术转换：

有符号整数会被转换为无符号整数的类型，再进行运算/比较。

回到你的表达式-2147483648 < 2147483647：

• 2147483647是int类型，但2147483648是unsigned int，所以整个表达式会被提升为unsigned int类型处理；
• -2147483648作为有符号int，转换为无符号int时，补码会被解释为2147483648（32位无符号int的取值范围是0到4294967295）；
• 最终比较的是2147483648 < 2147483647，结果为假，所以输出0，和你观察到的一致。

你提到的“奇怪的是……”可能的常见场景 #

如果后续你在C99环境下测试，会发现结果变成1——这是因为C99引入了long long类型，2147483648会被优先判定为long long而非unsigned int，此时表达式会以有符号long long进行比较，-2147483648显然小于2147483647，结果为真。

另外还有个容易混淆的细节：-2147483648并不是直接的字面常量，它本质是2147483648的取反操作。在C89的32位环境中，2147483648是unsigned int，所以取反后依然是一个大的无符号数，这也进一步印证了比较结果。

内容的提问来源于stack exchange，提问作者Stephen.W