std::experimental:: scope_fail

クラステンプレート scope_fail は、例外によってスコープが終了した際に終了関数を呼び出すことを目的とした、汎用スコープガードです。

scope_fail は CopyConstructible 、 CopyAssignable 、または MoveAssignable ではありません。ただし、 EF が特定の要件を満たす場合、 MoveConstructible である可能性があり、これにより scope_fail を別のオブジェクトでラップすることが可能になります。

A scope_fail は、破棄時に終了関数を呼び出すアクティブ状態、または破棄時に何も行わない非アクティブ状態のいずれかとなります。 scope_fail は終了関数から構築された後、アクティブ状態になります。

scope_fail は、 release() を手動または自動的に（ムーブコンストラクタによって）呼び出すことで非アクティブになります。非アクティブな scope_fail は、別の非アクティブな scope_fail で初期化することによっても取得できます。 scope_fail が一度非アクティブになると、再度アクティブにすることはできません。

A scope_fail は事実上、1つの EF と、それがアクティブかどうかを示す bool フラグ、そしてデストラクタがスタック巻き戻し中に呼び出されたかどうかを検出するために使用される未捕捉例外のカウンタを保持します。

テンプレートパラメータ

メンバー関数

推論ガイド

注記

動的ストレージ期間を持つ scope_fail の構築は、予期せぬ動作を引き起こす可能性があります。

別のスレッドで作成された scope_fail から scope_fail を構築すると、破棄時に異なるスレッドで取得された未捕捉例外のカウントが比較される可能性があるため、予期しない動作を引き起こす可能性もあります。

例

#include <iostream>
#include <cstdlib>
#include <string_view>
#include <experimental/scope>
void print_exit_status(std::string_view name, bool exit_status, bool did_throw) {
  std::cout << name << ":\n";
  std::cout << "  Throwed exception  " << (did_throw ? "yes" : "no") << "\n";
  std::cout << "  Exit status        " << (exit_status ? "finished" : "pending") << "\n\n";
}
// ランダムに例外をスロー（50%の確率）
void maybe_throw() {
    if (std::rand() >= RAND_MAX / 2)
        throw std::exception{};
}
int main() {
  bool exit_status{false}, did_throw{false};
  // 「スコープ終了時」の手動処理
  try {
    maybe_throw();
    exit_status = true; 
  } catch (...) { did_throw = true; }
  print_exit_status("Manual handling", exit_status, did_throw);
  // scope_exitの使用：スコープ終了時（成功時または例外発生時）に実行
  exit_status = did_throw = false;
  try {
    auto guard = std::experimental::scope_exit{[&]{ exit_status = true; } };
    maybe_throw();
  } catch (...) { did_throw = true; }
  print_exit_status("scope_exit", exit_status, did_throw);
  // scope_failの使用：例外発生時のみ実行
  exit_status = did_throw = false;
  try {
    auto guard = std::experimental::scope_fail{[&]{ exit_status = true; } };
    maybe_throw();
  } catch (...) { did_throw = true; }
  print_exit_status("scope_fail", exit_status, did_throw);
  // scope_successの使用：例外が発生しなかった場合のみ実行
  exit_status = did_throw = false;
  try {
    auto guard = std::experimental::scope_success{[&]{ exit_status = true; } };
    maybe_throw();
  } catch (...) { did_throw = true; }
  print_exit_status("scope_success", exit_status, did_throw);
}

Manual handling:
  Throwed exception  yes
  Exit status        pending
scope_exit:
  Throwed exception  no
  Exit status        finished
scope_fail:
  Throwed exception  yes
  Exit status        finished
scope_success:
  Throwed exception  yes
  Exit status        pending

関連項目