<exception> 関数

  • [アーティクル]

current_exception

現在の例外へのスマート ポインターを取得します。

exception_ptr current_exception();

戻り値

現在の例外を指す exception_ptr オブジェクト。

解説

catch ブロックで current_exception 関数を呼び出します。 例外が処理中で、catch ブロックで例外をキャッチできる場合、current_exception 関数は、例外を参照する exception_ptr オブジェクトを返します。 それ以外の場合、関数は null exception_ptr オブジェクトを返します。

current_exception 関数は、catch ステートメントが例外宣言ステートメントを指定しているかどうかに関係なく、処理中の例外をキャプチャします。

現在の例外のデストラクターは、例外を再スローしない場合、catch ブロックの最後に呼び出されます。 ただし、デストラクターで current_exception 関数を呼び出しても、その関数は現在の例外を参照する exception_ptr オブジェクトを返します。

current_exception 関数を連続して呼び出すと、現在の例外のさまざまなコピーを参照する exception_ptr オブジェクトが返されます。 その結果、オブジェクトは、異なるコピーを参照しているため、コピーが同じバイナリ値を持っている場合でも、比較においては等しくないと評価されます。

make_exception_ptr

例外のコピーを保持する exception_ptr オブジェクトを作成します。

template <class E>
    exception_ptr make_exception_ptr(E Except);

パラメーター

Except
コピーする例外を持つクラス。 通常は、例外クラス オブジェクトを make_exception_ptr 関数への引数として指定しますが、任意のクラスのオブジェクトを引数に使用できます。

戻り値

Except に関する現在の例外のコピーを指す exception_ptr オブジェクト。

解説

make_exception_ptr 関数を呼び出すことは、C++ 例外をスローし、その例外を catch ブロック内でキャッチしてから、current_exception 関数を呼び出し、例外を参照する exception_ptr オブジェクトを返すことと同じです。 make_exception_ptr 関数の Microsoft 実装は、例外のスローとキャッチよりも効果的です。

通常、アプリケーションは make_exception_ptr 関数を必要とせず、使用は推奨されていません。

rethrow_exception

パラメーターとして渡された例外をスローします。

void rethrow_exception(exception_ptr P);

パラメーター

P
再スローするためにキャッチされる例外。 P が null の exception_ptr である場合、関数は std::bad_exception をスローします。

解説

キャッチした例外を exception_ptr オブジェクトに保存すると、プライマリ スレッドはオブジェクトを処理できます。 プライマリ スレッドで、引数として rethrow_exception オブジェクトを指定して exception_ptr 関数を呼び出します。 rethrow_exception 関数は exception_ptr オブジェクトから例外を抽出し、プライマリ スレッドのコンテキストで例外をスローします。

get_terminate

現在の terminate_handler 関数を取得します。

terminate_handler get_terminate();

set_terminate

プログラムの終了時に呼び出される新しい terminate_handler を設定します。

terminate_handler set_terminate(terminate_handler fnew) throw();

パラメーター

fnew
終了時に呼び出される関数。

戻り値

終了時に呼び出されていた、以前の関数のアドレス。

解説

この関数は、新しい terminate_handler を関数 * fnew として確立します。 したがって、fnew を Null ポインターにすることはできません。 この関数は、以前の終了ハンドラーのアドレスを返します。

例

// exception_set_terminate.cpp
// compile with: /EHsc
#include <exception>
#include <iostream>

using namespace std;

void termfunction()
{
    cout << "My terminate function called." << endl;
    abort();
}

int main()
{
    terminate_handler oldHandler = set_terminate(termfunction);

    // Throwing an unhandled exception would also terminate the program
    // or we could explicitly call terminate();

    //throw bad_alloc();
    terminate();
}

get_unexpected

現在の unexpected_handler 関数を取得します。

unexpected_handler get_unexpected();

rethrow_if_nested

template <class E>
    void rethrow_if_nested(const E& e);

解説

ポリモーフィック クラス型でない場合、または nested_exception にアクセスできないかあいまいな場合、効果はありません。 それ以外の場合、動的キャストを実行します。

set_unexpected

予期しない例外が発生したときに新しい unexpected_handler が存在するように設定します。

unexpected_handler set_unexpected(unexpected_handler fnew) throw();

パラメーター

fnew
予期しない例外が発生したときに呼び出される関数。

戻り値

以前の unexpected_handler のアドレス。

解説

fnew を Null ポインターにすることはできません。

C++ 標準では、関数が throw のリストにない例外をスローした場合に、unexpected を呼び出す必要があります。 現在の実装では、これをサポートしていません。 次の例では、unexpected を直接呼び出し、その後で unexpected_handler を呼び出します。

例

// exception_set_unexpected.cpp
// compile with: /EHsc
#include <exception>
#include <iostream>

using namespace std;

void uefunction()
{
    cout << "My unhandled exception function called." << endl;
    terminate(); // this is what unexpected() calls by default
}

int main()
{
    unexpected_handler oldHandler = set_unexpected(uefunction);

    unexpected(); // library function to force calling the
                  // current unexpected handler
}

terminate

終了ハンドラーを呼び出します。

void terminate();

解説

この関数は、void 型の関数である終了ハンドラーを呼び出します。 terminate がプログラムによって直接呼び出される場合、終了ハンドラーは、set_terminate の呼び出しによって最も新しく設定されたものとなります。 terminate がスロー式の評価中に他のいくつかの理由のいずれかによって呼び出された場合、終端のハンドラーはスロー式の評価直後に有効になったものとなります。

終了ハンドラーは、呼び出し元に戻らない場合があります。 プログラムの起動時、終了ハンドラーは abort を呼び出す関数です。

例

terminate の使用例については、「set_unexpected」を参照してください。

throw_with_nested

template <class T> [[noreturn]]
    void throw_with_nested(T&& t);

解説

入れ子になった例外を含む例外をスローします。

uncaught_exception

スローされた例外が現在処理されている場合にのみ true を返します。

bool uncaught_exception();

戻り値

スロー式の評価が完了してから、一致するハンドラー内の例外宣言の初期化が完了するまで、またはスロー式の結果として unexpected を呼び出すまでは、true を返します。 具体的には、uncaught_exception は、例外のアンワインド中に呼び出されるデストラクターから呼び出された場合に、true を返します。 デバイス上で、uncaught_exception は Windows CE 5.00 以降のバージョン (Windows Mobile 2005 プラットフォームを含む) でのみサポートされます。

例

// exception_uncaught_exception.cpp
// compile with: /EHsc
#include <exception>
#include <iostream>
#include <string>

class Test
{
public:
   Test( std::string msg ) : m_msg( msg )
   {
      std::cout << "In Test::Test(\"" << m_msg << "\")" << std::endl;
   }
   ~Test( )
   {
      std::cout << "In Test::~Test(\"" << m_msg << "\")" << std::endl
         << "        std::uncaught_exception( ) = "
         << std::uncaught_exception( )
         << std::endl;
   }
private:
    std::string m_msg;
};

// uncaught_exception will be true in the destructor
// for the object created inside the try block because
// the destructor is being called as part of the unwind.

int main( void )
   {
      Test t1( "outside try block" );
      try
      {
         Test t2( "inside try block" );
         throw 1;
      }
      catch (...) {
   }
}

In Test::Test("outside try block")
In Test::Test("inside try block")
In Test::~Test("inside try block")
        std::uncaught_exception( ) = 1
In Test::~Test("outside try block")
        std::uncaught_exception( ) = 0

予期しない

予期しないハンドラーを呼び出します。

void unexpected();

解説

C++ 標準では、関数が throw のリストにない例外をスローした場合に、unexpected を呼び出す必要があります。 現在の実装では、これをサポートしていません。 次の例では、予期しないハンドラーを呼び出す unexpected を直接呼び出します。

この関数は、void 型の関数である予期しないハンドラーを呼び出します。 unexpected がプログラムによって直接呼び出される場合、予期しないハンドラーは、set_unexpected の呼び出しによって最も新しく設定されたものとなります。

予期しないハンドラーは、呼び出し元に戻らない場合があります。 次の処理を行って実行を終了する場合があります。

  • 例外指定内にリストされた型のオブジェクトをスローする。予期しないハンドラーがプログラムから直接呼び出される場合は任意の型のオブジェクトをスローする。

  • bad_exception 型のオブジェクトをスローする。

  • terminate、abort、または exit を呼び出します。

プログラムの起動時に、予期しないハンドラーは、terminate を呼び出す関数となります。

例

unexpected の使用例については、「set_unexpected」を参照してください。