无符号int相减赋值给signed long结果恒正？求修复方法

为什么会出现这个问题？ #

在C/C++的运算规则里，两个无符号整数（unsigned int）进行算术运算时，结果的类型也是无符号整数。当b > a时，a - b会触发无符号整数的溢出行为：无符号数的减法会以模2^n（n是类型的位数）的方式计算，最终得到一个非常大的正数值。之后把这个无符号的正数赋值给signed long，只是单纯的类型转换，并不会改变它的数值（如果signed long的位数比unsigned int多，比如64位long对应32位unsigned int，这个大正数会直接保留），所以你看到的结果始终是正数。

修复方法 #

核心思路是先将操作数转换为更大的有符号类型，再执行减法运算，这样运算过程会以有符号规则进行，自然得到正确的负数结果。

• 方法一：将其中一个操作数强制转换为signed long

  unsigned int a = 1, b = 2;
  signed long result = (signed long)a - b;
  

  这里a被转成signed long后，b会自动提升为signed long类型参与运算，减法结果就是正确的-1。

• 方法二：如果担心signed long的位数不够（比如某些平台上long是32位，而unsigned int也是32位），可以使用固定宽度的有符号类型（需要包含<stdint.h>）

  #include <stdint.h>
  unsigned int a = 1, b = 2;
  int64_t result = (int64_t)a - b;
  

  int64_t是64位有符号整数，能完全覆盖32位unsigned int的所有可能差值，避免溢出问题。

额外注意 #

不要试图先计算无符号差值再转成有符号数（比如(signed long)(a - b)），这和你原来的代码没有区别，还是会先得到溢出的无符号正数，再转成有符号类型，结果依然不对。

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