g++默认不报有符号整型溢出错误，因为C++标准将其定义为未定义行为，编译器无需诊断；可用-fsanitize=signed-integer-overflow在调试时捕获，但需-O1以上优化且不可用于生产。
为什么 g++ 默认不报有符号整型溢出错误
因为 C++ 标准明确将有符号整型溢出（如 int 超出 INT_MAX 或低于 INT_MIN）定义为未定义行为（UB），编译器无需诊断、也不必捕获——它甚至可以假设“溢出永不发生”来激进优化。所以哪怕你写了 a = INT_MAX + 1，g++ 或 clang++ 默认连警告都不会给。
用 -fsanitize=signed-integer-overflow 实时捕获
这是最直接有效的运行时检测方式，依赖 UndefinedBehaviorSanitizer（UBSan）。它会在溢出实际发生时中止程序并打印详细位置：
g++ -fsanitize=signed-integer-overflow -o test test.cpp ./test // 输出类似： // test.cpp:5:12: runtime error: signed integer overflow: 2147483647 + 1 cannot be represented in type 'int'
- 仅适用于调试构建，**不能用于生产环境**（性能开销大，且会终止进程）
- 必须同时开启
-O1或更高优化级（UBSan 需要部分优化才能插桩） - 对常量折叠无效：比如
constexpr int x = INT_MAX + 1;会在编译期报错，但那是编译器常量求值阶段，和 UBSan 无关
clang++ 还支持 -ftrapv，但慎用
-ftrapv 会让有符号溢出触发 SIGABRT（某些平台是 SIGFPE），但它依赖 CPU 的溢出标志位，在 x86-64 上实际效果不可靠，且：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- GCC 已弃用该选项（新版中忽略或报错）
- Clang 虽保留，但不保证跨平台一致，例如在 ARM64 上可能完全不生效
- 无法定位到具体表达式，只知“某处溢出”，调试体验差
静态检查和替代方案的现实约束
想在编译期预防？-Woverflow 只对**常量表达式溢出**有效（如字面量相加），对运行时变量计算无能为力。而像 std::add_overflow（C++23）这类安全算术函数目前主流编译器支持尚不完善，MSVC 和较旧 GCC 版本无法使用。
真正能落地的组合只有：-fsanitize=signed-integer-overflow -O1 -g 用于开发/CI；上线前必须移除，否则一溢出就 crash。别指望靠一个编译选项解决所有问题——溢出逻辑本身得靠代码审查和边界断言兜底。
立即学习“C++免费学习笔记（深入）”；
