short 到 int 的隐式提升是 C++ 标准规定的整型提升行为，发生在算术、比较、位运算等表达式中；仅在取地址、sizeof、模板推导（左值）、结构体成员声明等不涉及值计算的上下文中保持 short 类型。
short 到 int 的隐式提升是 C++ 语言标准强制规定的整型提升（integer promotion）行为，不是编译器优化，也不依赖平台或编译选项——只要 short 参与表达式计算，它就一定会先变成 int。
什么时候发生提升？
只要 short 出现在算术、比较、位运算等表达式中，就会立刻提升为 int：
- 加减乘除：short a = 10, b = 20; auto c = a + b; → c 类型是 int，不是 short
- 自增/自减：short x = 32767; x++; → 先提升为 int 计算 32768，再截断回 short（结果为 -32768）
- 位运算：short y = -1; y & 0xFF; → -1 提升为 int 后是 0xFFFFFFFF，& 操作结果远超 16 位预期
- 函数重载匹配：void f(int) 和 void f(short) 同时存在时，传 short 会优先选 f(int)，因为这是“最佳匹配”
什么时候不提升？
只有在不涉及值计算的上下文中，short 才保持原类型：
- 取地址：&a 得到的是 short*，不是 int*
- sizeof：sizeof(short) 是 2（通常），sizeof(a + 0) 才是 sizeof(int)
- 模板参数推导（左值实参）：template<typename T> void g(T); g(a); → T 推导为 short
- 结构体成员声明：struct S { short x; }; sizeof(S) 中 x 占 2 字节，访问时读出才提升
赋值和截断要小心
从 int 结果写回 short 是显式收缩，不检查溢出：
- short s = 32768; → 大多数平台得到 -32768（补码截断），但这是实现定义行为
- 编译器可能警告（如 -Wnarrowing），但运行时不拦截
- 安全做法：先判断范围，再转换
if (val >= std::numeric_limits<short>::min() && val <= std::numeric_limits<short>::max()) { s = static_cast<short>(val); }
别误用显式转换
static_cast<int>(s) 或 (int)s 看似“主动转换”，其实没做任何事——提升早已完成：
- 冗余：int i = s; 和 int i = static_cast<int>(s); 生成相同代码
- 误导：可能掩盖真正问题，比如你本该检查 short 输入是否有效，却只加了个无意义的 cast
- 危险：short s = -1; unsigned int u = static_cast<unsigned int>(s); → 得到大正数（如 4294967295），不是绝对值
