C++23中用std::mul_overflow判断乘法溢出最安全，需包含<bit>头文件，返回bool表示是否溢出，并通过引用参数写入结果；不支持浮点或自定义类型，且手动写a*b>INT_MAX会触发未定义行为。
用 std::mul_overflow 判断乘法溢出（C++23）
如果你的编译器支持 C++23，std::mul_overflow 是最直接、最安全的选择。它在底层调用 CPU 的溢出检测指令（如 x86 的 imul + jo），零开销且语义明确。
常见错误是手动写 a * b > INT_MAX —— 这本身就会触发未定义行为，因为溢出已经发生。
-
std::mul_overflow接收两个整型参数和一个输出引用，返回bool表示是否溢出 - 只支持有符号/无符号整型，不支持浮点或自定义类型
- 必须包含
<bit>头文件（注意不是<limits>或<utility>）
#include <bit>
#include <iostream>
<p>int main() {
int a = 100000, b = 100000;
int result;
if (std::mul_overflow(a, b, result)) {
std::cout << "溢出\n";
} else {
std::cout << "结果：" << result << "\n";
}
}兼容 C++11/17 的手动检查方法
对老标准项目，不能依赖 std::mul_overflow，但也不能靠 try { ... } catch(...) —— 整数溢出在 C++ 中不抛异常。
核心思路是：在乘法执行前，通过除法反向验证边界。例如判断 a * b >= INT_MAX，等价于当 b > 0 时，a > INT_MAX / b（需处理 b == 0 和负数情况）。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 必须分符号讨论：正×正、负×负得正；正×负得负，对应不同极值比较
- 要单独处理
b == 0（结果恒为 0，不溢出）和b == -1（可能使INT_MIN * -1溢出） - 使用
std::numeric_limits<T>::max()和::min()，而非硬编码2147483647
bool will_mul_overflow(int a, int b) {
if (b == 0) return false;
if (a > 0) {
if (b > 0) return a > INT_MAX / b;
else return b < INT_MIN / a; // a>0, b<0 → 结果≤0，检查是否 < INT_MIN
} else {
if (b > 0) return a < INT_MIN / b;
else return a != 0 && b < INT_MAX / a; // a<0, b<0 → 结果≥0，检查是否 > INT_MAX
}
}为什么不能用 auto result = (long long)a * b 然后截断比较？
这种“升位宽再检查”的写法看似稳妥，实则隐藏陷阱：
- 若
a和b是long long类型，再升位宽就无效（没有更大整型） - 即使能升宽，也要确保目标类型足够大——比如
int128_t在某些平台不可用 - 编译器可能优化掉“冗余”计算，导致实际未执行乘法，但逻辑上你仍依赖该乘法结果做判断
- 跨平台时，
long long不一定比int宽（虽然几乎总是，但标准只保证 ≥64 位）
更糟的是，有人写 if ((long long)a * b > INT_MAX) —— 这里 (long long)a * b 已经算出完整结果，如果原始 a、b 是 int，这没问题；但如果它们本就是 long long，你就没解决根本问题。
Clang/GCC 的内置函数（__builtin_mul_overflow）
在 GCC 5+ 和 Clang 3.8+ 中，可用编译器内置函数绕过标准版本限制。它和 std::mul_overflow 行为一致，但无需 C++23 支持。
- 函数签名：
__builtin_mul_overflow(a, b, &result)，返回bool - 支持
int、long、long long及其无符号变体，但不支持__int128以外的扩展整型 - 注意：它不是标准 C++，移植到 MSVC 会失败（MSVC 用
_mul64等 WinAPI 替代） - 若项目需兼顾 MSVC，建议封装一层：用宏检测编译器，优先用
__builtin_*，fallback 到手动检查
容易被忽略的一点：这些内置函数不进行常量折叠优化。比如 __builtin_mul_overflow(1000000, 1000000, &r) 在编译期就能确定结果，但编译器不一定提前报错或警告——它仍生成运行时检查代码。
