std::rethrow_if_nested

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

診断ライブラリ

例外処理 exception uncaught_exceptionuncaught_exceptions (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 (C++17まで*) unexpected_handler (C++17まで*) get_unexpected (C++17まで*) set_unexpected (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以降) (C++26 以降 constexpr)

Eがポリモーフィッククラス型でない場合、またはEの基底クラスとしてstd::nested_exceptionがアクセス不可能または曖昧な場合、効果はありません。

それ以外の場合は、以下を実行します。

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)	現在の例外をキャプチャして格納するためのmixin型 (クラス)
throw_with_nested (C++11)	引数に std::nested_exception をmixinして送出する (関数テンプレート)