std::experimental::scope_fail

 

C++

編譯器支援

獨立式與託管式

語言

標準函式庫

標準函式庫標頭檔

具名要求

特性測試巨集 (C++20)

語言支援函式庫

概念函式庫 (C++20)

診斷函式庫

記憶體管理函式庫

元編程函式庫 (C++11)

通用公用程式函式庫

容器函式庫

疊代器函式庫

Ranges 函式庫 (C++20)

演算法函式庫

字串函式庫

文本處理函式庫

數值函式庫

日期與時間函式庫

輸入/輸出函式庫

檔案系統函式庫 (C++17)

並行支援函式庫 (C++11)

執行控制函式庫 (C++26)

技術規範

符號索引

外部函式庫

 

實驗性

技術規範

檔案系統函式庫 (filesystem TS)

函式庫基礎 (library fundamentals TS)

函式庫基礎 2 (library fundamentals TS v2)

函式庫基礎 3 (library fundamentals TS v3)

平行化擴充 (parallelism TS)

平行化擴充 2 (parallelism TS v2)

並行化擴充 (concurrency TS)

並行化擴充 2 (concurrency TS v2)

概念 (concepts TS)

範圍 (ranges TS)

反射 (reflection TS)

數學特殊函數 (special functions TR)

實驗性非 TS

模式匹配

線性代數

std::execution

合約

2D 圖形

 

Library fundamentals v3 (函式庫基礎 TS v3)

experimental::scope_exit

experimental::scope_fail

experimental::scope_success

experimental::unique_resource

 

std::experimental::scope_fail

成員函式

scope_fail::scope_fail

scope_fail::~scope_fail

修改器

scope_fail::release

推導指引

 

定義於標頭檔 <experimental/scope>
template< class EF > class scope_fail;		(library fundamentals TS v3)

類別模板 scope_fail 是一種通用的作用域防護（scope guard），旨在當作用域因異常而退出時呼叫其離開函數（exit function）。

scope_fail 不具備 CopyConstructible（可複製建構）、CopyAssignable（可複製賦值）或 MoveAssignable（可移動賦值）特性。然而，若 EF 符合特定要求，它可以是 MoveConstructible（可移動建構），這允許將 scope_fail 封裝至另一個物件中。

scope_fail 可以是「啟用」狀態（即在解構時呼叫其離開函數）或「停用」狀態（即在解構時不做任何事）。scope_fail 在由離開函數建構後即處於啟用狀態。

透過手動呼叫 release() 或自動（透過移動建構子）呼叫，scope_fail 可以變為停用狀態。使用另一個已停用的 scope_fail 進行初始化亦可獲得已停用的 scope_fail。一旦 scope_fail 變為停用狀態，它便無法再次變回啟用狀態。

一個 scope_fail 實際上持有一個 EF 和一個用來指示其是否啟用的 bool 旗標，以及一個用於檢測解構子是否在堆疊展開（stack unwinding）期間被呼叫的未捕獲異常計數器。

模板參數

EF	-	所儲存的結束函式類型
類型要求
- EF 必須是下列其中之一： 一個 可解構 (Destructible) 的 函式物件 (FunctionObject) 類型， 指向 函式物件 的左值參照， 指向函式的左值參照。
- 以無參數形式呼叫 std::remove_reference_t<EF> 的左值必須是良構（well-formed）的。

成員函式

(建構子)	建構一個新的 scope_fail (公開成員函式)
(解構函式)	若 scope_fail 處於啟用狀態，則在作用域因異常而退出時呼叫離開函數，隨後銷毀該 scope_fail (公開成員函式)
operator= [已刪除]	scope_fail 不可賦值 (公開成員函式)
修改器
release	使 scope_fail 變為停用狀態 (公開成員函式)

附註

建構具有動態儲存期的 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";
}
 
// Randomly throw an exception (50% chance)
void maybe_throw() {
    if (std::rand() >= RAND_MAX / 2)
        throw std::exception{};
}
 
int main() {
  bool exit_status{false}, did_throw{false};
 
  // Manual handling at "end of scope"
  try {
    maybe_throw();
    exit_status = true; 
  } catch (...) { did_throw = true; }
  print_exit_status("Manual handling", exit_status, did_throw);
 
  // Using scope_exit: runs on scope exit (success or exception)
  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);
 
  // Using scope_fail: runs only if an exception occurs
  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);
 
  // Using scope_success: runs only if no exception occurs
  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

參見

scope_exit	封裝一個函式物件，並在退出作用域時呼叫它 (類別模板)
scope_success	封裝一個函數物件，並在正常離開作用域時呼叫它 (類別模板)
default_delete (C++11)	unique_ptr 的預設刪除器 (類別範本)