std::experimental:: scope_exit

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

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

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

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

A scope_exit は実質的に EF と、アクティブかどうかを示す bool フラグを保持します。

テンプレートパラメータ

メンバー関数

推論ガイド

注記

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

scope_exit オブジェクトに格納された EF が、例えば参照によって変数をキャプチャするラムダのように、それが定義された関数のローカル変数を参照している場合、かつその変数がその関数のreturnオペランドとして使用されている場合、 scope_exit のデストラクタが実行され終了関数を呼び出す時点では、その変数はすでに返却されている可能性があります。これは予期しない動作を引き起こす可能性があります。

例

#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

関連項目