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

来自cppreference.com
 
C++
 
实验性
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
实验性非 TS 功能特性
模式匹配
线性代数
std::execution
契约
2D 图形
 
库基础 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()。
构造后，当且仅当 other 在构造前占有资源，构造的 unique_resource 占有资源，并设置 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> 的公开成员函数)
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/experimental/unique_resource/unique_resource&oldid=83420”