异常未捕获 C++ 中的上溢或下溢

Question

如果两个数字溢出，异常不会捕获。

output 只打印错误的负数。

Test operator*(const Test &object) const
{
    try
    {
        return Test(value * object.value);
    }
    catch (std::overflow_error &e)
    {
        cout << e.what() << endl;
    }
    catch (std::underflow_error &e)
    {
        cout << e.what() << endl;
    }
}

主要：

Test t1(533222220);
Test t2(300002222);
Test t = t1 * t2; // does not throw exception but  t1 * t2 -1416076888

Answer 1

不管它听起来如何，默认情况下std::overflow_error和std::underflow_error不会检测算术溢出和下溢。 在标准库中， overflow_error仅用于将bitset转换为数字，从不使用underflow_error 。 必须手动检查任何其他上溢和下溢。

有关如何检测溢出的更多信息，您可以查看： 如何检测无符号 integer 乘法溢出？

Answer 2

如果两个数字溢出，异常不会捕获。

正确的。 integer 算法不会引发异常。 如果签名的 integer 操作溢出，则程序的行为未定义。

Answer 3

在标准C++ 中， catch块仅适用于throw语句，并且您显示的代码中没有throw语句。

一些编译器具有供应商扩展，可能会将非异常错误（如 integer 溢出）转换为 C++ 异常，但您的示例显然不是发生这种情况的情况。