有符号整数溢出是未定义行为，编译器可任意优化或崩溃；无符号溢出是明确定义的模运算。应使用unsigned类型实现回绕，用__builtin_add_overflow或C++23 std::add_overflow检测溢出。
int 加 1 超过 INT_MAX 是未定义行为
不是“变成负数”或“回到最小值”，而是编译器可以做任何事——包括优化掉整个分支、生成崩溃指令、或看似正常但结果不可预测。C++ 标准明确将有符号整数溢出定义为 undefined behavior，和解引用空指针同级。
常见错误现象：
• 本地测试时输出 -2147483648（看起来像回绕），上线后逻辑突然跳过判断；
• 开启 -O2 后，if (x + 1 > x) 被直接优化为 true，因为编译器假定溢出不会发生；
• 用 AddressSanitizer 或 UBSan 编译时，运行时报错 signed integer overflow。
实操建议：
• 永远不要依赖溢出后的值；
• 需要回绕语义（如环形缓冲区索引）请用无符号类型（unsigned int），它的溢出是明确定义的模运算；
• 检查是否将溢出：用 __builtin_add_overflow（GCC/Clang）或 std::add_overflow（C++23）；
• 禁用未定义行为检测的编译选项（如 -fno-sanitize=undefined）不能让溢出“安全”，只是掩盖问题。
为什么 unsigned int 溢出是安全的，而 int 不是
标准规定：unsigned 类型算术按模 2^N 运行，所有操作都有唯一确定结果；signed 类型则只保证在范围内行为可预测，溢出即脱保。
立即学习“C++免费学习笔记（深入）”；
使用场景：
• 计数器、数组下标、哈希计算、位掩码操作——优先选 unsigned；
• 表示温度、位移、差值等可能为负的量——必须用 signed，此时需主动防护溢出。
参数差异：
• std::vector::size() 返回 size_t（无符号），和 int 混用易引发隐式转换陷阱；
• std::max 对 int 和 unsigned int 推导出 unsigned int，导致负数被转成大正数。
怎么安全地做 int 加法并检测溢出
别手写比较逻辑（比如 if (a > INT_MAX - b)），容易漏边界、不支持负数、且编译器难优化。
实操建议：
• GCC/Clang 下用内置函数：
int a = INT_MAX, b = 1;<br>int result;<br>if (__builtin_add_overflow(a, b, &result)) {<br> // 处理溢出<br>}• C++23 起可用标准库：
std::add_overflow(a, b, result)；• 旧代码可用
std::numeric_limits<int>::max() 手动检查，但注意：减法、乘法、除法各有不同检查模式；• 禁止用
try/catch——整数溢出不抛异常。
调试时看到溢出后变负数，是不是说明它“实际就是回绕”
不是。你看到的负数只是当前平台（通常是补码 + 二进制截断）和当前编译器实现下的偶然表现，不是规范保证的行为。
性能 / 兼容性影响：
• x86-64 上多数编译器确实生成补码加法指令（add），所以溢出后寄存器值看起来“回绕”；
• 但某些嵌入式平台或激进优化下（如 LTO + -O3），编译器可能完全删除溢出路径，或插入 trap 指令；
• 启用 -fsanitize=undefined 会强制暴露问题，但会显著拖慢运行速度，仅用于开发阶段。
容易被忽略的地方：
• char 和 short 在算术表达式中会先提升为 int，所以 char c = 127; c++; 实际触发的是 int 溢出；
• 常量表达式中的溢出（如 constexpr int x = INT_MAX + 1;）在编译期就报错，但宏定义（#define X (INT_MAX + 1)）可能静默绕过检查。
