为何无符号整数存负数后相乘得正确结果？求位级解析与标准依据

一、位级变化分步解释 #

假设unsigned int为32位（当前主流平台的常见实现），核心逻辑基于无符号整数的模2^N运算规则：

1. 变量a的位级转换
   • 赋值unsigned int a = -2时，负数会被转换为无符号类型：-2的32位补码是11111111 11111111 11111111 11111110，对应无符号值为2^32 - 2 = 4294967294。
2. 变量b的位级转换
   • 赋值unsigned int b = -4时，-4的32位补码是11111111 11111111 11111111 11111100，对应无符号值为2^32 - 4 = 4294967292。
3. 乘法运算的位级过程
   • 先展开十进制计算：(2^32 - 2) * (2^32 - 4) = 2^64 - 6*2^32 + 8。
   • 由于32位无符号整数仅保留低32位结果，2^64和6*2^32都是2^{32的整数倍，模2}32后结果为0，最终剩下的有效结果就是8，对应二进制00000000 00000000 00000000 00001000。

二、C99/C11标准合规依据 #

• 无符号整数赋值规则：C99 6.3.1.3节明确，当有符号整数转换为无符号整数时，结果为该值对2^N取模的结果（N为无符号类型的位数）。若原值为负，等价于2^N + 原值。
• 无符号整数运算规则：C99 6.2.5.9节规定，无符号整数的算术运算遵循模2^N规则，所有运算结果会自动被截断到该类型的取值范围内，超出位数的高位直接丢弃。

三、代码评审判断 #

这段代码无法通过代码评审，理由如下：

• 可读性极差：将负数赋值给无符号变量是反直觉写法，维护者难以快速理解代码意图，极易引发误解和后续bug。
• 平台依赖风险：unsigned int的位数并非固定为32位（部分平台为16位或64位），一旦平台位数变化，运算结果会完全不同，可移植性极差。
• 意图不明确：若需求是计算-2和-4的乘积，直接使用有符号int即可；若为测试无符号模运算特性，也需添加清晰注释说明意图。

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