命名空间
变体
操作

std::overflow_error

来自 cppreference.com
< cpp‎ | error
定义在头文件 <stdexcept>
class overflow_error;

定义了一种作为异常抛出的对象类型。它可以用于报告算术溢出错误(即计算结果太大而无法容纳在目标类型中)。

唯一抛出此异常的标准库组件是 std::bitset::to_ulong.

(C++11 之前)

唯一抛出此异常的标准库组件是 std::bitset::to_ulongstd::bitset::to_ullong.

(C++11 之后)

标准库组件的数学函数不抛出此异常(数学函数根据 math_errhandling 中指定的规则报告溢出错误)。但是,第三方库会使用它。例如,如果启用了 boost::math::policies::throw_on_error(默认设置),则 boost.math 会抛出 std::overflow_error

cpp/error/exceptioncpp/error/runtime errorstd-overflow error-inheritance.svg

继承关系图

内容

[编辑] 成员函数

(构造函数)
使用给定的消息构造一个新的 overflow_error 对象
(公有成员函数)
operator=
替换 overflow_error 对象
(公有成员函数)

std::overflow_error::overflow_error

overflow_error( const std::string& what_arg );
(1)
overflow_error( const char* what_arg );
(2)
overflow_error( const overflow_error& other );
(3) (自 C++11 起为 noexcept)
1) 使用 what_arg 作为解释性字符串构造异常对象。构造完成后,std::strcmp(what(), what_arg.c_str()) == 0.
2) 使用 what_arg 作为解释性字符串构造异常对象。构造完成后,std::strcmp(what(), what_arg) == 0.
3) 复制构造函数。如果 *thisother 都是动态类型 std::overflow_error,则 std::strcmp(what(), other.what()) == 0。复制构造函数不会抛出任何异常。

参数

what_arg - 解释性字符串
other - 要复制的另一个异常对象

异常

1,2) 可能会抛出 std::bad_alloc.

备注

由于不允许复制 std::overflow_error 抛出异常,因此此消息通常在内部存储为一个单独分配的引用计数字符串。这也是没有使用 std::string&& 的构造函数的原因:它必须在任何情况下都要复制内容。

在解决 LWG 问题 254 之前,非复制构造函数只能接受 std::string。为了构造 std::string 对象,必须强制进行动态分配。

在解决 LWG 问题 471 之后,派生标准异常类必须具有一个公开可访问的复制构造函数。只要通过 what() 获得的解释性字符串在原始对象和复制对象中相同,就可以将其隐式定义。

std::overflow_error::operator=

overflow_error& operator=( const overflow_error& other );
(自 C++11 起为 noexcept)

使用 other 的内容分配内容。如果 *thisother 都是动态类型 std::overflow_error,则分配后 std::strcmp(what(), other.what()) == 0。复制赋值运算符不会抛出任何异常。

参数

other - 要分配的另一个异常对象

返回值

*this

备注

在解决 LWG 问题 471 之后,派生标准异常类必须具有一个公开可访问的复制赋值运算符。只要通过 what() 获得的解释性字符串在原始对象和复制对象中相同,就可以将其隐式定义。

std::runtime_error 继承而来


std::exception 继承而来

成员函数

销毁异常对象
(std::exception 的虚拟公有成员函数) [编辑]
[虚拟]
返回解释性字符串
(std::exception 的虚拟公有成员函数) [编辑]

[编辑] 示例

#include <iostream>
#include <limits>
#include <stdexcept>
#include <utility>
 
template<typename T, int N>
    requires (N > 0) /*...*/
class Stack
{
    int top_{-1};
    T data_[N];
 
public:
    [[nodiscard]] bool empty() const { return top_ == -1; }
 
    void push(T x)
    {
        if (top_ == N - 1)
            throw std::overflow_error("Stack overflow!");
        data_[++top_] = std::move(x);
    }
 
    void pop()
    {
        if (empty())
            throw std::underflow_error("Stack underflow!");
        --top_;
    }
 
    T const& top() const
    {
        if (empty())
            throw std::overflow_error("Stack is empty!");
        return data_[top_];
    }
};
 
int main()
{
    Stack<int, 4> st;
 
    try
    {
        [[maybe_unused]] auto x = st.top();
    }
    catch (std::overflow_error const& ex)
    {
        std::cout << "1) Exception: " << ex.what() << '\n';
    }
 
    st.push(1337);
    while (!st.empty())
    	st.pop();
 
    try
    {
        st.pop();
    }
    catch (std::underflow_error const& ex)
    {
        std::cout << "2) Exception: " << ex.what() << '\n';
    }
 
    try
    {
        for (int i{}; i != 13; ++i)
            st.push(i);
    }
    catch (std::overflow_error const& ex)
    {
        std::cout << "3) Exception: " << ex.what() << '\n';
    }
}

输出

1) Exception: Stack is empty!
2) Exception: Stack underflow!
3) Exception: Stack overflow!

[编辑] 缺陷报告

以下行为更改的缺陷报告被追溯应用于先前发布的 C++ 标准。

DR 应用于 发布的行为 正确行为
LWG 254 C++98 缺少接受 const char* 的构造函数 已添加
LWG 471 C++98 std::overflow_error 的复制的解释性字符串
是实现定义的
与原始 std::overflow_error 对象的解释性字符串相同
原始 std::overflow_error 对象