C++有符号int与unsigned int混合运算结果不符合预期问题

你的理解存在一处关键偏差：32位unsigned int的合法取值范围是0 ~ 2^32 - 1（即0 ~ 4294967295），所有无符号类型的算术运算都会自动对2^w（w为类型比特位宽）取模，最终结果永远落在上述合法区间内，不可能输出4294967296这类超出范围的值。

规则验证 #

你提到的「混合运算时int会转换为unsigned类型」的描述完全符合C++标准，我们可以逐行拆解你的测试用例：

1. 书中给出的基准测试用例运行结果符合预期，计算逻辑如下：

   unsigned u = 10;
   int i = -42;
   std::cout << u + i << std::endl; // 32位int环境输出4294967264
   

   • 首先i=-42会被转换为32位unsigned值：按负值转无符号的规则，-42加上2^32得到4294967254
   • 两个unsigned值相加：10 + 4294967254 = 4294967264，该值小于2^32，无需额外取模，直接输出即可，和书中结果一致。

2. 你修改i=-10后的测试用例输出0是完全正确的结果，计算逻辑如下：

   unsigned u = 10;
   int i = -10;
   std::cout << u + i << std::endl; // 输出0而非4294967296
   

   • 首先i=-10转换为32位unsigned值：-10 + 2^32 = 4294967286
   • 两个unsigned值相加：10 + 4294967286 = 4294967296，该值等于2^32，超出了32位unsigned的最大值
   • 按无符号运算的模2^{32规则，4294967296对2}32取模结果为0，因此最终输出0。

认知偏差说明 #

你提到的10 + (-10 mod 2^32)计算步骤只完成了一半：-10 mod 2^32确实等于4294967286，相加后的中间结果4294967296依然需要遵循无符号运算的取模规则，不能直接作为最终结果输出。

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