Great question! Let's break this down clearly, starting with your code:

#include<stdio.h>
int main() {
    unsigned int a = 5;
    unsigned int b = 4;
    printf("%u",a-b);
}

输出1是完全正确的，接下来我们拆解你的理解和疑问：

你的理解是否存在错误？ #

你的核心思路是对的，但有一个小细节需要修正：

在无符号数的语境里，并不存在“-4”这个值——无符号类型的所有取值都是非负的。不过，从硬件实现的角度来说，主流CPU确实是用补码加法来完成无符号减法的，这和你描述的过程本质上是一回事：

• 以32位unsigned int为例，计算a - b时，硬件会把b转换为它的“补码等价形式”（也就是2^32 - 4），然后和a（5）相加，得到5 + (2^32 -4) = 2^32 +1。
• 由于无符号数遵循模2^N运算规则（N为类型位数），超过32位的高位会被截断，最终结果就是1，和代码输出一致。

所以你的实际观察（硬件用补码算术计算）是正确的，只是表述上要注意：无符号数运算中没有“负数补码”的概念，而是硬件通过补码加法来实现符合C标准定义的模运算。

无符号数算术是否确实采用补码？ #

从C语言标准的角度来说，它并没有强制要求编译器必须用补码实现无符号数运算——标准只规定无符号数的算术是模2^N的（N是该类型的位数）。

但在实际工程中，几乎所有现代编译器和CPU架构（比如x86、ARM）都是用补码来实现无符号数运算的。原因很简单：这样可以复用有符号数运算的硬件电路，不用为无符号数单独设计一套加减逻辑，大幅提升硬件效率。

所以在二进制层面的实际计算中，无符号减法确实是通过补码加法来完成的，和你的理解一致。

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