std::inout_ptr_t

定义于头文件 `<memory>`
template< class Smart, class Pointer, class... Args > class inout_ptr_t;		(C++23 起)

inout_ptr_t 用于适配智能指针等类型，使其能够与通过 Pointer*（通常是某些对象类型 T 的 T**）或 void** 参数重置所有权的外部函数协同工作。

inout_ptr_t 在构造时捕获额外参数，为上述外部函数访问的结果提供存储，释放被适配的 Smart 对象所持有的所有权，最后在销毁时用结果和捕获的参数重置被适配的 Smart 对象。

inout_ptr_t 的行为就像它持有以下非静态数据成员：

如果 Smart 不是指针类型，则在被适配的对象上最多调用一次 release()。如果 Pointer 的值不为空，实现可以在构造函数中或在析构函数中重置之前调用 release()。

用户可以通过在 Args... 中分别指定对象类型或引用类型来控制每个重置参数是以复制还是以引用方式捕获。

Smart	-	要适配的对象的类型（通常是智能指针）
指针	-	外部函数访问的对象的类型（通常是原始指针），用于重置所有权
Args...	-	用于重置被适配对象的捕获参数的类型
类型要求
- `Pointer` 必须满足 NullablePointer 的要求。
- 如果 `Smart` 是 std::shared_ptr 特化，则程序是非良构的。

与标准库中的大多数类模板不同，依赖于至少一个程序定义类型的 inout_ptr_t 程序定义特化无需满足主模板的要求。

此许可允许程序定义特化将存储在非标准智能指针中的原始指针暴露给外部函数。

(构造函数) (C++23)	构造一个 `inout_ptr_t` (公开成员函数)
operator= [已删除](C++23)	`inout_ptr_t` 不可赋值 (公开成员函数)
(析构函数) (C++23)	释放所有权后重置被适配的智能指针 (公开成员函数)
operator Pointeroperator void* (C++23)	将 `inout_ptr_t` 转换为输出存储的地址 (公开成员函数)

(C++23)

创建一个带有关联智能指针和重置参数的 inout_ptr_t
(函数模板) [edit]

inout_ptr_t 期望外部函数释放由所指向的 Pointer 的值所代表的所有权，然后重新初始化它。由于此操作需要唯一所有权，因此禁止与 std::shared_ptr 一起使用。

inout_ptr_t 的典型用法是通过 std::inout_ptr 创建其临时对象，它会立即重置被适配的智能指针。例如，给定一个设置函数和声明为 int foreign_resetter(T**); 和 std::unique_ptr<T, D> up; 的相应智能指针，

if (int ec = foreign_resetter(std::inout_ptr(up)))
    return ec;

大致等同于

T *raw_p = up.get();
up.release();
int ec = foreign_resetter(&raw_p);
up.reset(raw_p);
if (ec != 0)
    return ec;

不建议创建具有自动存储期以外存储期的 inout_ptr_t 对象，因为此类代码很可能产生悬空引用并在销毁时导致未定义行为。

捕获的参数通常被打包到 std::tuple<Args...> 中。实现可以使用不同的机制来提供它们需要持有的 Pointer 或 void* 对象。

特性测试宏	值	标准	特性
`__cpp_lib_out_ptr`	`202106L`	(C++23)	`std::out_ptr`, std::inout_ptr
`__cpp_lib_out_ptr`	`202311L`	(C++26)	独立的 `std::out_ptr` 和 std::inout_ptr

out_ptr_t (C++23)	与外部指针设置器交互，并在销毁时重置智能指针 (类模板) [edit]
unique_ptr (C++11)	具有唯一对象所有权语义的智能指针 (类模板) [edit]
shared_ptr (C++11)	具有共享对象所有权语义的智能指针 (类模板) [edit]

目录