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++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！