如何在overflow_error或underflow_error中生成c++异常？

Question

我想检查在什么情况下overflow_error和underflow_error异常将在c++中生成，所以我编写了一个示例来尝试生成overflow_error异常，但失败了：

#include <iostream>
#include <stdexcept>
using std::cout; using std::endl;
int main() {
    try {
        int a = std::pow(2, 31) - 1;
        cout << a << endl;
        int b = 1;
        int c = a + b;
        cout << c << endl;
    } catch (std::overflow_error ex) {
        cout << ex.what() << endl;
    }
    return 0;
}

结果是：

2147483647
-2147483648

正如您所看到的，没有生成overflow_error异常，所以，我的问题是算术溢出错误和算术下溢错误是什么，以及如何在c++中生成overflow_error和underflow_error异常？

Answer 1

抛出std::overflow_error的唯一标准库组件是std::bitset::to_ulong和std::bitset::to_ullong。

标准库组件不抛出std::underflow_error (数学函数报告math_errhandling中指定的下流量错误)。

在您的示例中，您正在尝试检查有符号整数溢出。您需要指定此检查的标志。

例如：

使用clang++编译和链接您的程序与-fsanitize=undefined标志。

% cat test.cc
int main(int argc, char **argv) {
  int k = 0x7fffffff;
  k += argc;
  return 0;
}
% clang++ -fsanitize=undefined test.cc
% ./a.out

test.cc:3:5:运行时错误:有符号整数溢出: 2147483647 +1不能用'int‘表示