C语言无符号整数转有符号整数的规则及输出-1的原因是什么

对应的C标准条款 #

你引用的规则就是正确的C标准条款：C90 6.2.1.2、C99/C11 6.3.1.3均明确规定：

当整数类型的值转换为另一种整数类型，如果原值不能被目标类型表示，且目标类型为有符号类型时，行为是实现定义的。

你遇到的输出-1的结果，是编译器的实现规则和补码整数表示共同作用的结果，没有更高优先级的标准条款，你的疑问核心是对「按2^N取模」的计算逻辑理解有误。

结果推导过程 #

你给出的测试代码如下：

unsigned int u = UINT_MAX;
signed   int s = u;
printf("%d", s);

我们以主流的32位int为例：

1. 32位unsigned int的UINT_MAX值为4294967295，二进制表示为全1：0xFFFFFFFF
2. 32位signed int的取值范围是[-2147483648, 2147483647]，显然4294967295无法被该类型表示，触发实现定义行为
3. GCC明确规定这类转换的实现规则：
   • 仅支持补码形式的整数类型
   • 转换时对原值按目标类型宽度N的2^N取模，将结果落到目标类型的取值范围内，不触发信号

这里的取模是数学意义上的模运算，而非单纯保留二进制位：

• N=32，2^N=4294967296
• 4294967295 mod 4294967296 = 4294967295，这个值超出了有符号int的上限2147483647，因此需要调整到有符号区间：4294967295 - 4294967296 = -1，刚好落在32位有符号int的取值范围内

这个结果和二进制位直接按补码解释的结果完全一致：全1的32位补码本身就表示-1，不需要额外的比特重解释规则。

补充说明 #

从C23标准开始，已经明确要求所有C实现的整数必须采用补码表示，这类无符号转有符号且超出范围的转换结果也被标准化为补码对应的有符号值，不再属于实现定义行为。

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