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

Question

我想看看c++在什么情况下会产生overflow_error和underflow_error异常，所以写了一个demo尝试产生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: runtime error: signed integer overflow: 2147483647 + 1 cannot be represented in type 'int'