为何该场景下std::cout未出现溢出？uint16_t加法运算的行为差异疑问

这个问题的关键在于C++中的**整数提升（Integer Promotion）**规则——这是很多开发者容易忽略的底层细节。让我们结合你的代码和运行环境一步步拆解：

首先看你提供的代码：

#include <iostream>
int main() {
    uint16_t a = 0xFFFF;
    uint16_t b = 1;
    uint16_t ret = a + b;
    std::cout << a + b << std::endl;
    std::cout << ret << std::endl;
}

一、uint16_t场景下的输出差异解释 #

在Ubuntu 20.04的gcc-9环境中，int是32位类型（取值范围为-2147483648到2147483647），而uint16_t的最大值是65535，完全在int的容纳范围内。根据C++整数提升规则：

如果一个整数类型的所有可能值都能被int容纳，那么该类型的操作数会被自动提升为int；否则，提升为unsigned int。

所以当计算a + b时：

1. a和b都会被提升为int类型，相加结果是65535 + 1 = 65536——这是一个合法的int值，没有溢出。直接用std::cout输出时，打印的就是这个完整的int值，也就是你看到的"正确结果"。
2. 当把这个int类型的结果赋值给uint16_t ret时，会触发隐式类型转换：由于uint16_t只能存储0到65535的值，65536超出范围后会发生无符号整数溢出（C++中定义为取模2^16），65536 % 65536 = 0，所以ret的值为0，这就是第二个输出的溢出结果。

二、为什么uint32_t场景下两个输出都溢出？ #

当你把类型换成uint32_t时，情况发生了变化：
uint32_t的最大值是4294967295，而32位int的最大值是2147483647，无法容纳uint32_t的所有值。此时整数提升规则会把a和b提升为unsigned int（或等价的无符号32位类型）。

计算a + b时，4294967295 + 1 = 4294967296，对于无符号32位类型来说，这个值会溢出，取模2^32后结果为0。不管是直接输出这个溢出后的结果，还是赋值给uint32_t变量后输出，得到的都是0，所以两个输出都会显示溢出。

总结关键点 #

• 小整数类型（如uint16_t）在运算时会被提升为int，只要int能容纳其所有值；
• 直接输出运算结果时，输出的是提升后的类型值，不会触发溢出；
• 赋值回原小类型时，会发生截断，产生溢出效果；
• 当整数类型无法被int容纳时（如uint32_t在32位int系统），提升为无符号类型，运算结果直接是溢出后的值，因此直接输出和赋值后输出结果一致。

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