std::experimental::unique_resource
< cpp | experimental
|
在标头
<experimental/scope> 定义 |
||
|
template< class R, class D >
class unique_resource; |
(库基础 TS v3) | |
unique_resource 是通用的资源句柄 RAII 包装器，它通过句柄占有并管理资源，并在 unique_resource 销毁时释放该资源。
在以下任一情况发生时，用 D 类型删除器处置资源：
- 销毁管理的
unique_resource对象 - 经由 operator= 或 reset() 赋另一资源给管理的
unique_resource对象。
若 R 为对象类型则令 RS 为 R，否则为 std::reference_wrapper<std::remove_reference_t<R>>：
unique_resource等效地保有包装或作为资源句柄的RS类型的子对象、D类型的删除器及指示包装是否占有资源的 bool 标志。- 为解释目的，称
RS为存储的资源句柄，存储（若R为对象类型）或包装（若R为引用类型）的R为底层资源句柄。LFTS 不使用此二用语。
模板形参
| R | - | 资源句柄类型 |
| D | - | 删除器类型 |
| 类型要求 | ||
-
R 应当为对象类型或到对象的左值引用类型。令 UnrefR 为 std::remove_reference_t<R>，则 UnrefR 应当为可移动构造 (MoveConstructible) ，而若 UnrefR 非可复制构造 (CopyConstructible) ，则 std::is_nothrow_move_constructible_v<UnrefR> 应当为 true。 |
||
-
D 应当为可析构 (Destructible) 且可移动构造 (MoveConstructible) 的函数对象 (FunctionObject) 类型，而若 D 非可复制构造 (CopyConstructible) ，则 std::is_nothrow_move_constructible_v<R> 应当为 true。给定 D 类型的左值 d 与 UnrefR 类型的左值 r，表达式 d(r) 应当为良构。 |
||
成员函数
构造新的 unique_resource(公开成员函数) |
|
| 释放被管理资源，若它存在 (公开成员函数) |
|
赋值 unique_resource(公开成员函数) |
|
修改器 |
|
| 放弃所有权 (公开成员函数) |
|
| 释放或替换被管理的资源 (公开成员函数) |
|
观察器 |
|
| 访问底层资源句柄 (公开成员函数) |
|
| 访问用于释放被管理资源的删除器 (公开成员函数) |
|
| 访问被指向者，若资源句柄为指针 (公开成员函数) |
|
非成员函数
创建 unique_resource，检查无效值(函数模板) |
推导指引
注解
满足可空指针 (NullablePointer) 的资源句柄类型亦能由 std::unique_ptr 管理。不同于 unique_ptr，unique_resource 不要求可空指针 (NullablePointer) 。
示例
| 本节未完成 原因：暂无示例 |
参阅
|
(C++11)
|
拥有独有对象所有权语义的智能指针 (类模板) |