short溢出会发生回绕而非报错，因其采用16位补码表示，范围-32768~32767，超出时对65536取模映射；Java不检查溢出直接回绕，C/C++标准定义为未定义行为但实际常回绕。
short 类型溢出测试，关键在于理解其取值范围和二进制表示方式。在 Java 和 C/C++ 中，short 是有符号 16 位整数，取值范围为 -32768 到 32767（即 -2¹⁵ 到 2¹⁵−1）。超出该范围时，会发生**回绕（wrap-around）**，而非抛异常（Java）或未定义行为（C/C++ 标准中对有符号溢出是未定义的，但多数编译器实际按模运算处理）。
short 溢出的底层原理：补码与模运算
short 使用二进制补码表示有符号数。最高位（bit 15）是符号位：0 表示正数，1 表示负数。当数值超过 32767（0x7FFF），再加 1 会变成 32768 → 对应二进制 0x8000，在补码中解释为 -32768；同理，-32768 减 1 变成 -32769 → 二进制 0x7FFF，解释为 32767。这本质是 对 2¹⁶ = 65536 取模 后映射到 [-32768, 32767] 区间。
Java 中的 short 溢出测试代码
Java 不检查运行时整数溢出，直接回绕：
short a = 32767; System.out.println(a); // 32767 a++; // 溢出 System.out.println(a); // -32768 short b = -32768; b--; // 下溢 System.out.println(b); // 32767 // 注意：字面量超出范围需强制转换 short c = (short) 32768; // 编译通过，运行时值为 -32768
C/C++ 中的注意事项
C 和 C++ 标准规定：有符号整数溢出属于未定义行为（UB），但 GCC/Clang 在默认设置下通常也表现为二进制回绕（可通过 -fwrapv 显式启用该语义）：
#include <stdio.h>
int main() {
short x = 32767;
x++; // 实际常为 -32768，但标准不保证
printf("%d\n", x); // 输出 -32768（常见行为）
return 0;
}
- 若需可移植、安全的溢出检测，应手动判断边界，或使用
<limits.h>中的SHRT_MAX/SHRT_MIN - 启用编译器警告（如
-Woverflow）可在编译期捕获部分明显溢出 - 现代工具链支持 UBSan（UndefinedBehaviorSanitizer），可运行时报告有符号溢出
如何安全避免 short 溢出？
除非内存敏感且数据确信在范围内（如音频采样、嵌入式寄存器映射），否则不建议主动依赖 short 溢出行为：
- 用
int进行中间计算，最后再显式截断并校验：if (val >= SHRT_MIN && val <= SHRT_MAX) s = (short)val; - Java 可使用
Math.addExact()、Math.multiplyExact()等方法，溢出时抛ArithmeticException - 静态分析工具（如 Clang Static Analyzer、FindBugs/SpotBugs）能识别潜在溢出路径
