为何uint16_t相减后赋值不同类型的代码返回结果不同？

你遇到的核心问题是C语言的整数提升（Integer Promotion）规则在起作用，这直接导致了两个函数的行为差异，下面分步拆解：

1. 整数提升的核心规则 #

C标准规定：在进行算术运算时，所有秩低于int和unsigned int的整数类型，会被自动提升为int（如果int能容纳原类型的所有取值）。在x86-64架构下，int是32位，能完全容纳uint16_t的最大值65535，所以uint16_t类型的变量参与运算时，会先被转换为int。

2. 分析frobnicate1的执行流程 #

uint32_t error = command - response;

• command和response是uint16_t，先被提升为int类型；
• 计算30001（int） - 30002（int），得到**int类型的-1**；
• 将int类型的-1赋值给uint32_t的error：根据转换规则，有符号负数转无符号整数时，结果为该值对2^32取模，即0xFFFFFFFF（十进制4294967295）。你看到返回-1，是因为用有符号格式（如%d）打印了无符号的uint32_t值，0xFFFFFFFF作为32位有符号整数就是-1。

3. 分析frobnicate2的执行流程 #

uint16_t error = command - response;

• 前两步和frobnicate1一致：uint16_t提升为int，计算得到int类型的-1；
• 将int类型的-1赋值给uint16_t的error：此时对2^16取模，得到0xFFFF（十进制65535）；
• 后续prevsum + error运算时，uint16_t的error会被提升为uint32_t，值仍为65535，最终返回结果就是65535。

4. 纠正你的误解 #

你以为uint16_t相减的结果还是uint16_t，但实际上算术运算的结果类型由提升后的类型决定，只有当把运算结果赋值给uint16_t变量时，才会触发无符号整数的模运算转换。

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