如何在C++中触发overflow_error或underflow_error异常？示例失败求助

首先得明确一个关键知识点：C++里的整数运算溢出属于未定义行为，编译器不会自动帮你抛出std::overflow_error——这就是你代码没触发异常的核心原因。咱们拆解下你的代码问题：

1. 你用std::pow(2,31)-1来获取int的最大值，但std::pow返回的是double类型，转换成int时，只要值在int的范围内（这里刚好是最大值），转换是合法的，不会触发任何异常。
2. 后续的a + b确实触发了整数溢出，但因为这是未定义行为，编译器可能直接绕开检查，给你一个溢出后的垃圾值（比如你运行代码可能会输出-2147483648），而不会抛出异常。

那怎么才能正确触发std::overflow_error呢？这里有几种靠谱的方式：

1. 手动检查溢出后主动抛出异常 #

这是最通用的方式，不管哪个C++版本都能用。你可以利用std::numeric_limits来获取类型的极值，然后在运算前检查是否会溢出：

#include <iostream>
#include <stdexcept>
#include <limits>
using std::cout;
using std::endl;
using std::numeric_limits;

int main() {
    try {
        int a = numeric_limits<int>::max();
        cout << "int最大值：" << a << endl;
        int b = 1;
        
        // 检查加法是否会溢出：如果b是正数，且a超过了max - b，就会溢出
        if (b > 0 && a > numeric_limits<int>::max() - b) {
            throw std::overflow_error("整数加法溢出啦！");
        }
        
        int c = a + b;
        cout << c << endl;
    } catch (const std::overflow_error& ex) {
        cout << "捕获到异常：" << ex.what() << endl;
    }
    return 0;
}

2. 用C++20的标准溢出检查函数 #

C++20专门新增了std::add_with_overflow、std::mul_with_overflow等函数，帮你一键检测运算是否溢出，不用自己写判断逻辑：

#include <iostream>
#include <stdexcept>
#include <limits>
#include <utility> // 包含std::add_with_overflow
using std::cout;
using std::endl;
using std::numeric_limits;

int main() {
    try {
        int a = numeric_limits<int>::max();
        cout << "int最大值：" << a << endl;
        int b = 1;
        
        int result;
        bool did_overflow;
        // 绑定运算结果和溢出标记
        std::tie(result, did_overflow) = std::add_with_overflow(a, b);
        
        if (did_overflow) {
            throw std::overflow_error("整数加法溢出！");
        }
        
        cout << result << endl;
    } catch (const std::overflow_error& ex) {
        cout << "捕获到异常：" << ex.what() << endl;
    }
    return 0;
}

3. 浮点数运算触发溢出异常（依赖平台） #

std::overflow_error也可以用于浮点数场景，但默认浮点数溢出只会返回inf（无穷大），不会抛异常。你需要手动配置浮点数环境，开启溢出陷阱：

#include <iostream>
#include <stdexcept>
#include <cmath>
#include <cfenv>
#pragma STDC FENV_ACCESS ON // 必须开启这个编译指令才能访问浮点数环境

int main() {
    try {
        // 设置浮点数溢出时触发异常
        std::fexcept_t flags;
        std::fegetexceptflag(&flags, FE_OVERFLOW);
        flags |= FE_OVERFLOW;
        std::fesetexceptflag(&flags, FE_OVERFLOW);
        
        double huge_val = std::exp(1000.0); // exp(1000)远超过double的最大值
        cout << huge_val << endl;
    } catch (const std::overflow_error& ex) {
        cout << "捕获到浮点数溢出异常：" << ex.what() << endl;
    }
    return 0;
}

注意：这个方式依赖编译器和平台支持，不是所有环境都能生效。

最后再划个重点：std::overflow_error本质上是用于程序逻辑层面的溢出错误，不是编译器自动触发的硬件级异常。所以大部分时候，你需要主动检测溢出条件，然后手动抛出这个异常。

内容的提问来源于stack exchange，提问作者cong