std::experimental::scope_success<EF>::scope_success

template <class Fn> explicit scope_success( Fn&& fn ) noexcept(/see below/);	(1)	(库基础 TS v3)
scope_success( scope_success&& other ) noexcept(/see below/);	(2)	(库基础 TS v3)
scope_success( const scope_success& ) = delete;	(3)	(库基础 TS v3)

从函数、函数对象或另一 scope_success 创建 scope_success 。

1) 以函数或函数对象初始化退出函数，并如同以 std::uncaught_exceptions() 初始化未捕捉异常计数。构造的 scope_success 为活跃。

若 Fn 不是左值引用类型且 std::is_nothrow_constructible_v<EF, Fn> 为 true ，则以 std::forward<Fn>(fn) ，否则以 fn 初始化存储的 EF 。

此重载仅若 std::is_same_v<std::remove_cvref_t<Fn>, scope_success> 为 false 且 std::is_constructible_v<EF, Fn> 为 true 才参与重载决议。

若函数调用表达式 fn() 为谬构，则程序为谬构。

若调用 fn() 导致未定义行为，则行为未定义，即使未调用 fn 。

2) 移动构造函数。以 other 的存储的 EF 初始化存储的 EF ，并以 other 的未捕捉异常计数初始化未捕捉异常计数。构造的 scope_success 为活跃当且仅当 other 在构造前活跃。

若 std::is_nothrow_move_constructible_v<EF> 为 true ，则以 std::forward<EF>(other.exitfun) ，否则以 other.exitfun 初始化存储的 EF （以 exitfun 代表）。

在成功移动构造后调用 other.release() 而 other 变为不活跃。

此重载仅若 std::is_nothrow_move_constructible_v<EF> 为 true 或 std::is_copy_constructible_v<EF> 为 true 才参与重载决议。

若有下列情况则行为未定义

fn	-	用于初始化存储的 `EF` 的函数或函数对象
other	-	要移动的 `scope_success`

初始化存储的 EF 期间抛出的任何异常。

1)

noexcept 说明：

2)

noexcept 说明：

uncaught_exceptionuncaught_exceptions (C++20 中移除)(C++17)	检查当前是否正在进行异常处理 (函数)
release	使 `scope_success` 不活跃 (公开成员函数)

experimental::scope_exit
experimental::scope_fail
experimental::scope_success
experimental::unique_resource