std::overflow_error

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

诊断库

异常处理 exception uncaught_exceptionuncaught_exceptions (until C++20*)  (C++17) exception_ptr (C++11) make_exception_ptr (C++11) current_exception (C++11) rethrow_exception (C++11) nested_exception (C++11) throw_with_nested (C++11) rethrow_if_nested (C++11) 异常处理失败 terminate terminate_handler get_terminate (C++11) set_terminate bad_exception unexpected (until C++17*) unexpected_handler (until C++17*) get_unexpected (until C++17*) set_unexpected (until C++17*) 错误号 错误码 errno

异常类别 logic_error invalid_argument domain_error length_error out_of_range runtime_error range_error overflow_error underflow_error tx_exception (TM TS) 系统错误 error_category (C++11) generic_category (C++11) system_category (C++11) error_condition (C++11) errc (C++11) error_code (C++11) system_error (C++11) 断言 assert 栈踪迹 stacktrace_entry (C++23) basic_stacktrace (C++23)

 

在标头 <stdexcept> 定义
class overflow_error;

定义作为异常抛出的对象类型。它能用于报告算术上溢错误（即计算结果对目标类型过大的情形）。

会抛出此异常的标准库组件只有 std::bitset::to_ulong。	(C++11 前)
会抛出此异常的标准库组件只有 std::bitset::to_ulong 和 std::bitset::to_ullong。	(C++11 起)

标准库组件的数学函数不会抛出此异常（数学函数按 math_errhandling 指定的方式报告上溢错误）。然而第三方库会使用它。例如，boost.math 在启用 boost::math::policies::throw_on_error（默认设置）时会抛出 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)

1) 构造以 what_arg 作为解释字符串的异常对象。构造后 std::strcmp(what(), what_arg.c_str()) == 0。

2) 构造以 what_arg 作为解释字符串的异常对象。构造后 std::strcmp(what(), what_arg) == 0。

3) 复制构造函数。如果 *this 与 other 的动态类型都是 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 的内容对内容赋值。如果 *this 与 other 的动态类型都是 std::overflow_error，那么在赋值后 std::strcmp(what(), other.what()) == 0。复制赋值运算符不能抛出异常。

参数

other

-

要从其赋值的另一异常对象

返回值

*this

注解

在解决 LWG 问题 471 之后，派生的标准异常类必须有一个公开可访问的复制赋值运算符。它可以隐式定义，只要分别在原对象和复制对象上通过 what() 获得的两个解释字符串相同即可。

继承自 std::runtime_error

继承自 std::exception

成员函数

(析构函数) [虚]	销毁该异常对象 (std::exception 的虚公开成员函数)
what [虚]	返回解释性字符串 (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("栈上溢出!");
        data_[++top_] = std::move(x);
    }
 
    void pop()
    {
        if (empty())
            throw std::underflow_error("栈下溢出!");
        --top_;
    }
 
    T const& top() const
    {
        if (empty())
            throw std::overflow_error("栈为空!");
        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) 异常: " << ex.what() << '\n';
    }
 
    st.push(1337);
    while (!st.empty())
    	st.pop();
 
    try
    {
        st.pop();
    }
    catch (std::underflow_error const& ex)
    {
        std::cout << "2) 异常: " << ex.what() << '\n';
    }
 
    try
    {
        for (int i{}; i != 13; ++i)
            st.push(i);
    }
    catch (std::overflow_error const& ex)
    {
        std::cout << "3) 异常: " << ex.what() << '\n';
    }
}

输出：

1) 异常: 栈为空!
2) 异常: 栈下溢出!
3) 异常: 栈上溢出!

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 254	C++98	缺失了接受 const char* 的构造函数	已补充
LWG 471	C++98	std::overflow_error 的复制的解释字符串由实现定义	它们与原 std::overflow_error 对象的解释字符串相同