C语言加法运算的类型转换机制与溢出规避相关问题

结论 #

该行为由C标准明确定义，但直接写uint16_t c = a + b的安全性和目标平台的int位宽强相关，不是100%可移植的安全写法。

C语言整数提升规则 #

C标准明确规定了普通整数提升规则：所有宽度小于int的整数类型，在参与算术运算前，都会先转换为int类型（如果int可以完整容纳原类型的所有取值），否则转换为unsigned int类型。
针对你的场景分两种情况讨论：

• 主流平台（x86、ARM、RISC-V等，int为32位）：uint8_t的取值范围是0~255，完全可以被int容纳，因此a和b在执行加法前会先被提升为int类型，相加结果为int类型的510，不存在溢出风险，最后赋值给uint16_t变量时再做安全的隐式类型转换，该写法完全正常可用。
• 极端嵌入式平台（int为16位）：uint8_t的取值范围依然可以被16位int完整容纳，加法依然会先提升为16位int执行，255+255=510也不会溢出16位int，所以该场景下也不会有问题。

为什么更推荐显式强制转换的写法？ #

你第一种显式转换的写法是平台无关的绝对安全写法，优势有两个：

1. 可移植性拉满：不管后续代码移植到什么奇怪的平台，都不会因为隐式类型转换出问题
2. 可读性更强：明确告诉其他读代码的人，你这里就是要做16位宽度的运算，避免歧义

尤其你是做卷积的加权求和场景，后续会涉及多步乘加运算，运算中间值很容易超出默认提升的int范围，显式指定运算的整数宽度可以避免大量隐藏的溢出bug。

两种写法的正确示例：

写法1（推荐，全平台安全）

uint8_t a = 255, b = 255;
uint16_t c = (uint16_t)a + (uint16_t)b;

写法2（主流平台安全，标准定义行为）

uint8_t a = 255, b = 255;
uint16_t c = a + b;

小提示：你贴的示例代码里漏写了变量名，实际编译需要补上。

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