std::uncaught_exception、std::uncaught_exceptions

 

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> で定義
	(1)
bool uncaught_exception() throw();			(C++11まで)
bool uncaught_exception() noexcept;			(C++11以降) (C++17で非推奨) (C++20で削除)
int uncaught_exceptions() noexcept;		(2)	(C++17以降) (C++26 以降 constexpr)

1) 現在のスレッドにライブな例外オブジェクトが存在するかどうかを検出します。つまり、例外がスローされたか再スローされ、まだ対応するcatch句、std::terminate、またはstd::unexpectedに入っていない状態です。言い換えると、std::uncaught_exceptionは、スタックの巻き戻しが現在進行中であるかを検出します。

2) 現在のスレッドでスローされたか再スローされ、まだ対応するcatch句に入っていない例外の数を検出します。

例外がstd::uncaught_exception() = true(C++17まで) std::uncaught_exceptions() > 0(C++17以降)ときに安全に例外をスローできる場合があります。たとえば、スタックの巻き戻しによってオブジェクトが破棄される場合、そのオブジェクトのデストラクタは、デストラクタを抜ける前に例外が何らかのcatchブロックによってキャッチされる限り、例外をスローするコードを実行できます。

パラメータ

(なし)

戻り値

1) このスレッドでスタックの巻き戻しが現在進行中の場合はtrue、そうでない場合はfalse。

2) 現在のスレッドにおける未キャッチの例外オブジェクトの数。

注意

整数を返すuncaught_exceptionsが使用される例は、boost.logライブラリです。式BOOST_LOG(logger) << foo();は、まずガードオブジェクトを作成し、そのコンストラクタで未キャッチの例外の数を記録します。出力は、foo()が例外をスローしない限り（この場合、デストラクタでの未キャッチの例外の数は、コンストラクタが観測したものより大きくなります）、ガードオブジェクトのデストラクタによって実行されます。

std::experimental::scope_fail および std::experimental::scope_success (LFTS v3) はuncaught_exceptionsの機能に依存しています。これは、それらのデストラクタがスタックの巻き戻し中に呼び出されたかどうかに依存する異なる処理を行う必要があるためです。

機能テストマクロ	値	規格	機能
__cpp_lib_uncaught_exceptions	201411L	(C++17)	std::uncaught_exceptions
__cpp_lib_constexpr_exceptions	202411L	(C++26)	constexpr for exception types

例

このコードを実行

#include <exception>
#include <iostream>
#include <stdexcept>
 
struct Foo
{
    char id{'?'};
    int count = std::uncaught_exceptions();
 
    ~Foo()
    {
        count == std::uncaught_exceptions()
            ? std::cout << id << ".~Foo() called normally\n"
            : std::cout << id << ".~Foo() called during stack unwinding\n";
    }
};
 
int main()
{
    Foo f{'f'};
 
    try
    {
        Foo g{'g'};
        std::cout << "Exception thrown\n";
        throw std::runtime_error("test exception");
    }
    catch (const std::exception& e)
    {
        std::cout << "Exception caught: " << e.what() << '\n';
    }
}

実行結果の例

Exception thrown
g.~Foo() called during stack unwinding
Exception caught: test exception
f.~Foo() called normally

不具合報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 70	C++98	uncaught_exception() の例外仕様が欠落していた	throw() として指定された

関連項目

terminate	例外処理が失敗した際に呼び出される関数 (関数)
exception_ptr (C++11)	例外オブジェクトを扱うための共有ポインタ型 (typedef)
current_exception (C++11)	現在の例外を std::exception_ptr にキャプチャする (関数)

外部リンク

1.	GOTW issue 47: Uncaught Exceptions
2.	std::uncaught_exceptions のための理由 (N4125)