std::experimental::unique_resource<R, D>::unique_resource

 
C++
 
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
概念 (概念 TS)
范围 (范围 TS)
数学特殊函数 (特殊函数 TR)
 
库基础 v3
 
std::experimental::unique_resource
 
unique_resource();
 (1) (库基础 TS v3)
template <class RR, class DD>
unique_resource( RR&& r, DD&& d ) noexcept(/*see below*/)
 (2) (库基础 TS v3)
unique_resource( unique_resource&& other );
 (3) (库基础 TS v3)

为解释目的使用下列项目：

  • RS 为存储的资源柄的类型。
  • 表达式 res_ 指代底层资源柄。
  • del_ 指代删除器对象。
1) 默认构造函数。值初始化存储的资源柄与删除器。构造的的 unique_resource 不拥有资源。
此重载仅若 std::is_default_constructible_v<R> 与 std::is_default_constructible_v<D> 均为 true 才参与重载决议。
2) 若 std::is_nothrow_constructible_v<RS, RR> 为 true 则以 std::forward<RR>(r) ，否则以 r 初始化存储的资源柄。若存储的资源柄的初始化抛异常，则调用 d(r) 。
然后，若 std::is_nothrow_constructible_v<D, DD> 为 true 则以 std::forward<DD>(d) ，否则以 d 初始化删除器。若删除器的初始化跑一次，则调用 d(res_) 。
构造的 unique_resource 占有资源。
此重载仅若 std::is_constructible_v<RS, RR> 、 std::is_constructible_v<D , DD> 、 std::is_nothrow_constructible_v<RS, RR> || std::is_constructible_v<RS, RR&> 和 std::is_nothrow_constructible_v<D, DD> || std::is_constructible_v<D, DD&> 都为 true 才参与重载决议。
若表达式 d(r) 、 d(res_) 与 del_(res_) 的任一者为谬构，则程序为谬构。
若表达式 d(r) 、 d(res_) 与 del_(res_) 的任一者导致未定义行为或抛异常，则行为未定义。
3) 移动构造函数。用 other 的存储的资源柄初始化存储的资源柄，若 std::is_nothrow_move_constructible_v<RS> 为 true 则使用 std::move 。若底层资源柄的初始化抛异常，则不修改 other 。
然后，用 other 的删除器初始化删除器，若 std::is_nothrow_move_constructible_v<D> 为 true 则使用 std::move 。若删除器的初始化抛异常且 std::is_nothrow_move_constructible_v<RS> 为 true 而 other 占有资源，则以 res_ 调用 other 的删除器释放资源，然后调用 other.release() 。
构造后，构造的 unique_resource 占有资源当且仅当 other 在构造前占有资源，并设置 other 为不占有资源。

参数

r - 资源柄
d - 用于释放资源的删除器
other - 要获得其所有权的 unique_resource

异常

任何初始化存储的资源柄或删除器时抛出的异常。

2)
noexcept 规定：  
noexcept((

    std::is_nothrow_constructible_v<RS, RR> || std::is_nothrow_constructible_v<RS, RR&>
) &&
(
    std::is_nothrow_constructible_v<D, DD> || std::is_nothrow_constructible_v<D, DD&>

))
3)
noexcept 规定：  
noexcept(

    std::is_nothrow_move_constructible_v<R1> && std::is_nothrow_move_constructible_v<D>

)

注解

这些构造函数的机制确保无资源泄漏。

示例

本节未完成
原因：暂无示例

参阅

 构造新的unique_ptr
(std::unique_ptr<T,Deleter> 的公开成员函数)