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) |
拥有独有对象所有权语义的智能指针 (类模板) |