std::overflow_error
定义在头文件 <stdexcept> 中 |
||
class overflow_error; |
||
定义了一种作为异常抛出的对象类型。它可以用于报告算术溢出错误(即计算结果太大而无法容纳在目标类型中)。
唯一抛出此异常的标准库组件是 std::bitset::to_ulong. |
(C++11 之前) |
唯一抛出此异常的标准库组件是 std::bitset::to_ulong 和 std::bitset::to_ullong. |
(C++11 之后) |
标准库组件的数学函数不抛出此异常(数学函数根据 math_errhandling 中指定的规则报告溢出错误)。但是,第三方库会使用它。例如,如果启用了 boost::math::policies::throw_on_error
(默认设置),则 boost.math 会抛出 std::overflow_error
。
继承关系图
内容 |
[编辑] 成员函数
(构造函数) |
使用给定的消息构造一个新的 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) |
std::overflow_error
,则 std::strcmp(what(), other.what()) == 0。复制构造函数不会抛出任何异常。参数
what_arg | - | 解释性字符串 |
other | - | 要复制的另一个异常对象 |
异常
备注
由于不允许复制 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 的内容分配内容。如果 *this 和 other 都是动态类型 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 对象 |