无符号整数相减结果的数据类型是什么？C标准是否有相关规定？

一、uint8_t 类型变量减法的结果类型 #

先看这段代码：

uint8_t a;
uint8_t b;

if ((a - b) < 0) {
  ...
}

表达式a - b的数据类型是**int**，这是被C语言标准明确保证的。

根据C标准的整数提升规则：当操作数的类型秩小于int，且该类型的所有值都能被int完整表示时，操作数会被提升为int参与运算。uint8_t的取值范围是0~255，完全落在标准要求的int取值范围内（int宽度至少16位），所以a和b都会被提升为int，减法结果自然也是int类型。这也是(a - b) < 0能有效判断a < b的原因——结果是有符号的int，可以正确表示负数。

二、unsigned int 类型变量减法的结果类型 #

再看这段代码：

unsigned int a;
unsigned int b;

if ((a - b) < 0) {
  ...
}

表达式a - b的数据类型是**unsigned int**，同样被C标准保证。

按照C标准的算术转换规则，两个同类型的无符号整数运算，结果类型与操作数一致。无符号整数减法遵循模运算逻辑：如果a < b，a - b的结果会被转换为unsigned int的等效正数（比如32位系统中0U - 1U会得到4294967295U）。这意味着(a - b) < 0这个判断永远为假，编译器甚至可能直接优化掉这个分支。

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