std::uncaught_exception, std::uncaught_exceptions

bool uncaught_exception() throw();

bool uncaught_exception() noexcept;

int uncaught_exceptions() noexcept;

例外がスローされていても、場合によっては例外をスローしても安全です std::uncaught_exception() == true(C++17 まで) std::uncaught_exceptions() > 0(C++17 から)。例えば、スタックの巻き戻し が原因でオブジェクトが破棄される場合、そのオブジェクトのデストラクタは、例外がデストラクタを脱出する前にいずれかの catch ブロックで捕捉される限り、例外をスローするコードを実行できます。

戻り値

ノート

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

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

例

#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++ 標準に遡って適用されました。

関連項目

外部リンク