C++如何判断一个整数在乘法时是否会溢出-C++-PHP中文网

c++23中用std::mul_overflow判断乘法溢出最安全，需包含头文件，返回bool表示是否溢出，并通过引用参数写入结果；不支持浮点或自定义类型，且手动写a*b>int_max会触发未定义行为。

c++如何判断一个整数在乘法时是否会溢出

用 `std::mul_overflow` 判断乘法溢出（C++23）

如果你的编译器支持 C++23，std::mul_overflow 是最直接、最安全的选择。它在底层调用 CPU 的溢出检测指令（如 x86 的 imul + jo），零开销且语义明确。

常见错误是手动写 a * b > INT_MAX —— 这本身就会触发未定义行为，因为溢出已经发生。

std::mul_overflow 接收两个整型参数和一个输出引用，返回 bool 表示是否溢出
只支持有符号/无符号整型，不支持浮点或自定义类型
必须包含 <bit></bit> 头文件（注意不是 <limits></limits> 或 <utility></utility>）

#include <bit>
#include <iostream><p>int main() {
int a = 100000, b = 100000;
int result;
if (std::mul_overflow(a, b, result)) {
std::cout </p>
<h3>兼容 C++11/17 的手动检查方法</h3>
<p>对老标准项目，不能依赖 <code>std::mul_overflow</code>，但也不能靠 <code>try { ... } catch(...)</code> —— 整数溢出在 C++ 中不抛异常。</p>
<p>核心思路是：在乘法执行前，通过除法反向验证边界。例如判断 <code>a * b >= INT_MAX</code>，等价于当 <code>b > 0</code> 时，<code>a > INT_MAX / b</code>（需处理 <code>b == 0</code> 和负数情况）。</p><div class="aritcle_card flexRow artxards">
											<div class="artcardd flexRow">
												<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
														src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
												<div class="aritcle_card_info flexColumn">
													<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
													<p class="overflowclass">组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
												</div>
												<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
												</a>
											</div>
										</div>
<ul>
<li>必须分符号讨论：正×正、负×负得正；正×负得负，对应不同极值比较</li>
<li>要单独处理 <code>b == 0</code>（结果恒为 0，不溢出）和 <code>b == -1</code>（可能使 <code>INT_MIN * -1</code> 溢出）</li>
<li>使用 <code>std::numeric_limits<t>::max()</t></code> 和 <code>::min()</code>，而非硬编码 <code>2147483647</code>
</li>
</ul>
<pre class="brush:php;toolbar:false;">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 0, b 0) return a  INT_MAX
    }
}