C++运算前为什么会发生类型提升-C++-PHP中文网

short 和 char 相加结果一定是 int，因 c++ 标准规定位宽小于 int 的整型必须先提升为 int 或 unsigned int，该提升独立于操作数类型，发生在表达式求值前。

c++运算前为什么会发生类型提升

因为 C++ 标准强制规定：所有位宽小于 int 的整型（如 short、signed char、unsigned char、bool）在参与任何表达式计算前，必须先提升为 int 或 unsigned int。这不是编译器“优化”或“猜测”，而是语言层面的硬性规则。

常见错误现象：short a = 32767; short b = 1; auto c = a + b; —— 此时 c 的类型是 int，不是 short；哪怕你用 decltype(a + b) 查，结果也是 int。

关键点：

历史与设计权衡的结果：早期 CPU 对 int 运算最快，对 char 或 short 做算术往往需要额外掩码指令防溢出；统一提升到 int 简化了硬件实现和标准定义。

现代 CPU 上性能差异已不明显，但规则保留是为了向后兼容。真正决定提升目标的是平台上的 int 位宽：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

在绝大多数系统（int 是 32 位），short（16 位）、char（8 位）都能被 int 完整表示 → 全部升为 int
仅在极少数老平台（int 是 16 位），unsigned short 最大值 65535 > int 最大值 32767 → 此时 unsigned short 会升为 unsigned int

整型提升只管“宽度小于 int”的类型；一旦提升完成，后续的算术转换才处理符号混合问题。这意味着两步是分离的：

第一步（整型提升）：unsigned char a = 200; unsigned char b = 150; → 都先升为 int（200 和 350）
第二步（算术转换）：此时已是两个 int 相加，根本不会触发“无符号转有符号”的危险转换
但若写成 unsigned char a = 200; int b = -10; → a 先升为 int（200），再与 b（-10）按 int 运算，安全
而 unsigned short a = 65535; int b = -1; → a 升为 int 后仍是 65535（没溢出），相加得 65534，不是预期的 -2

真正危险的是 int 与 unsigned int 直接混合（比如 int x = -1; unsigned int y = 1; if (x > y) ...），这时才发生“有符号转无符号”的静默转换——那已不属于整型提升阶段。

能，但仅限于不触发“值计算”的语境：

&a 得到的是 short*，不是 int*；sizeof(short) 是 2，但 sizeof(a + 0) 是 sizeof(int)
模板参数推导：template<typename t> void f(T); f(a);</typename> → T 推导为 short（实参是左值，未参与表达式求值）
但 f(a + b); → a + b 是纯右值表达式，已提升为 int，所以 T 是 int
结构体中 short 成员仍占 2 字节，但只要一读出来做运算（比如 s.x + 1），立刻提升