std::rethrow_if_nested

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

诊断库

异常处理 异常 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 断言 assert

异常类别 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) 堆栈跟踪 stacktrace_entry (C++23) basic_stacktrace (C++23) 调试支持 is_debugger_present (C++26) breakpoint_if_debugging (C++26) breakpoint (C++26)

 

定义于头文件 <exception>
template< class E > void rethrow_if_nested( const E& e );		（始于 C++11） （constexpr 始于 C++26）

如果 E 不是多态类类型，或者如果 std::nested_exception 是 E 的不可访问或不明确的基类，则没有效果。

否则，执行

if (auto p = dynamic_cast<const std::nested_exception*>(std::addressof(e)))
    p->rethrow_nested();

参数

e

-

要重新抛出的异常对象

注解

与许多相关函数不同，此函数并非旨在用 std::exception_ptr 调用，而是用实际的异常引用调用。

特性测试宏	值	标准	特性
__cpp_lib_constexpr_exceptions	202411L	(C++26)	constexpr for exception types

可能的实现

namespace details { template<class E> struct can_dynamic_cast : std::integral_constant<bool, std::is_polymorphic<E>::value && (!std::is_base_of<std::nested_exception, E>::value || std::is_convertible<E*, std::nested_exception*>::value) > {};   template<class T> void rethrow_if_nested_impl(const T& e, std::true_type) { if (auto nep = dynamic_cast<const std::nested_exception*>(std::addressof(e))) nep->rethrow_nested(); }   template<class T> void rethrow_if_nested_impl(const T&, std::false_type) {} }   template<class T> void rethrow_if_nested(const T& t) { details::rethrow_if_nested_impl(t, details::can_dynamic_cast<T>()); }

示例

演示通过嵌套异常对象的构造和递归。

运行此代码

#include <exception>
#include <fstream>
#include <iostream>
#include <stdexcept>
#include <string>
 
// prints the explanatory string of an exception. If the exception is nested,
// recurses to print the explanatory string of the exception it holds
void print_exception(const std::exception& e, int level =  0)
{
    std::cerr << std::string(level, ' ') << "exception: " << e.what() << '\n';
    try
    {
        std::rethrow_if_nested(e);
    }
    catch (const std::exception& nestedException)
    {
        print_exception(nestedException, level + 1);
    }
    catch (...) {}
}
 
// sample function that catches an exception and wraps it in a nested exception
void open_file(const std::string& s)
{
    try
    {
        std::ifstream file(s);
        file.exceptions(std::ios_base::failbit);
    }
    catch (...)
    {
        std::throw_with_nested(std::runtime_error("Couldn't open " + s));
    }
}
 
// sample function that catches an exception and wraps it in a nested exception
void run()
{
    try
    {
        open_file("nonexistent.file");
    }
    catch (...)
    {
        std::throw_with_nested(std::runtime_error("run() failed"));
    }
}
 
// runs the sample function above and prints the caught exception
int main()
{
    try
    {
        run();
    }
    catch (const std::exception& e)
    {
        print_exception(e);
    }
}

可能的输出

exception: run() failed
 exception: Couldn't open nonexistent.file
  exception: basic_ios::clear

参见

nested_exception (C++11)	一种用于捕获和存储当前异常的混入类型 (class)
throw_with_nested (C++11)	抛出其参数，并混入 std::nested_exception (function template)