C语言中int变量右移保留符号，直接整数右移丢失符号？原因何在？

核心原因：有符号算术右移与字面量类型提升的差异 #

1. 32位有符号int的特性
   32位有符号int的取值范围是-2147483648（INT_MIN）到2147483647（INT_MAX）。INT_MIN的二进制补码是最高位为1，其余位全0。当你把INT_MIN赋值给有符号int变量a后，执行a >>31时，会触发算术右移：符号位（最高位的1）会填充所有高位，最终得到32位全1的二进制，对应补码的-1，这就是你看到a>>31=-1的原因。

2. 直接字面量的特殊处理
   当你直接写-2147483648 >>31时，编译器会先处理字面量2147483648——它超出了32位有符号int的最大值2147483647，所以编译器会将其视为无符号整数（或提升为64位整数）。此时-2147483648实际是对这个无符号数取负，结果仍为无符号类型（值为0x80000000）。对无符号数执行右移是逻辑右移（高位补0），0x80000000 >>31的结果就是1，这和你在GDB中看到的一致。

如何找到满足a >>31 ==1的非零整数 #

在32位有符号int的范围内，不可能找到这样的整数：

• 正数右移31位后结果为0（所有有效位都被移出）；
• 负数右移31位是算术右移，结果始终为-1（符号位填充）。

要满足条件，你需要使用无符号整数：

• 取a = 2147483648（对应32位无符号int的0x80000000），执行a >>31会触发逻辑右移，结果就是1。
• 如果你必须使用有符号int类型，可以强制转换为无符号后再右移：(unsigned int)a >>31 ==1，此时a = -2147483648（INT_MIN）就能满足条件，因为转换为无符号后的值是0x80000000。

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