最可靠的方式是使用编译器内置函数__builtin_add_overflow或手动前置条件检查，而非依赖溢出后结果比较；有符号溢出是未定义行为，无符号溢出虽定义为回绕但业务上常需检测；推荐用std::optional封装返回值，并结合sanitizer工具在开发阶段暴露问题。
如何检测 int 加法是否溢出
直接比较结果和操作数是最可靠的方式，因为 C++ 标准不保证有符号整数溢出行为（是未定义行为），不能靠“结果变小”这种表象判断。比如 a + b 在优化开启时可能被编译器直接删掉——它假设溢出不会发生。
- 对有符号整数，用
__builtin_add_overflow（GCC/Clang）：int a = INT_MAX, b = 1; bool overflowed = __builtin_add_overflow(a, b, &result);
- 手动检查：加法前判断
b > 0 && a > INT_MAX - b或b - 别用
std::numeric_limits<int>::max() + 1</int>这类表达式做测试——它本身就会触发未定义行为
unsigned int 溢出是定义好的，但不等于“安全”
无符号整数溢出是模运算（wraparound），行为确定，但业务逻辑常不期望它。比如计数器从 UINT_MAX 回到 0，可能被误判为“刚启动”。
- 溢出后值是
(a + b) % UINT_MAX，不是错误，但可能破坏状态一致性 - 若需检测，仍建议用
__builtin_add_overflow，它对unsigned同样有效 - 避免依赖溢出做逻辑分支（如
if (x + 1 ），某些编译器会警告或优化掉
用 std::optional<int></int> 或返回码封装可能失败的算术
当溢出代表“非法输入”而非可接受回绕时，返回错误比让调用方自己检查更清晰。
- 不要返回魔术值（如
-1表示失败）——和合法结果冲突 - 推荐用
std::optional<int></int>（C++17+）：std::optional<int> safe_add(int a, int b) { if (__builtin_add_overflow(a, b, &result)) return std::nullopt; return result; } - 若需兼容旧标准，用
std::pair<bool int></bool>或自定义结构体，但别省略bool字段
编译器选项和 sanitizer 能帮你提前暴露问题
运行时检测比手写检查更全面，尤其对复杂表达式或第三方代码。
立即学习“C++免费学习笔记（深入）”；
- 启用
-fsanitize=signed-integer-overflow：有符号溢出时直接 abort 并打印位置 -
-fsanitize=unsigned-integer-overflow对无符号也生效（非标准行为，但 Clang 支持） - 注意：sanitizer 会显著降低性能，只用于开发/测试；发布版仍需保留逻辑检查
- 静态分析工具（如 clang++ -O2 -Wall）有时能提示明显溢出风险，但不可依赖
最麻烦的不是写一次检查，而是所有涉及用户输入、外部数据、循环计数的地方都得覆盖。漏掉一个 size_t 和 int 混用的隐式转换，就可能绕过所有防护。
