如何避免无符号整数运算回绕 无符号数差值计算与比较问题

核心前置规则：C语言运算类型确定逻辑 #

首先明确C语言的基础规则，所有算术运算的结果类型在编译期就由常用算术转换规则确定，和运算结果的实际数值无关：

• 同宽度的有符号整数与无符号整数共同运算时，有符号整数会隐式转换为无符号整数类型，最终运算结果也是无符号整数类型
• 无符号整数的溢出是标准明确定义的行为：结果会以2的类型位宽次方为模回绕
• 有符号整数的溢出是未定义行为，标准不保证结果，编译器可能基于「有符号溢出不会发生」做优化，不能依赖回绕行为

问题1：diff = (signed)var1 - var2;的行为分析 #

会不会发生运算回绕？ #

会。你对var1的强制类型转换只作用于var1本身，在做减法运算前，遵循常用算术转换规则，(signed)var1（类型为signed int）会被隐式转换为unsigned int，再和同类型的var2相减，运算全程都是无符号类型操作。只要var1 < var2，就会触发无符号数的模回绕，得到一个极大的正数值。
后续将无符号的临时值赋值给signed int类型的diff时，如果临时值超出signed int的可表示范围，行为是实现定义的，不具备可移植性。

临时差值的存储类型是什么？ #

运算产生的临时值类型为unsigned int，和转换后的操作数类型完全一致，不存在隐式升级到更宽类型的逻辑。

「临时变量是有符号就不会回绕，无符号就会回绕」的说法是否正确？ #

错误。

• 无符号整数运算的溢出回绕是C标准强制规定的，只要结果超出类型范围就一定会回绕
• 有符号整数运算溢出属于未定义行为，不是「不会回绕」，实际在很多平台上也会发生回绕，但标准不保证该行为，编译器完全可能基于有符号溢出不存在的假设做优化，导致逻辑不符合预期。

问题2：var1 - var2 > signed_int_max的判断是否正确 #

var1 < var2时会不会在比较前发生回绕？ #

会。var1和var2都是unsigned int类型，相减的结果类型本身就是unsigned int，只要var1 < var2，运算结果就会先模回绕为极大的无符号正数值，再参与比较。

这种写法是否正确？ #

完全错误，达不到你要的判断效果。
比较操作同样遵循常用算术转换规则：右操作数signed_int_max（类型为signed int）会被隐式转换为unsigned int，最终是两个无符号数做比较。此时只要var1 < var2，回绕后的var1 - var2结果一定大于等于(unsigned int)signed_int_max + 1，所以判断结果永远为真，完全无法反映数学意义上的差值范围。

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