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& 引用，在构造时绑定到被适配的对象，
对 Args... 中的每个 T 有一个 T 类型成员，它是在构造时捕获并在析构时用于重设的实参，以及
适合在它之内存储 Pointer 以及提供 void* 对象的成员子对象，其中 Pointer 或 void* 对象通常会暴露给用于重初始化的外来函数。

如果 Smart 不是指针类型，那么在适配的对象上至多调用一次 release()。实现可以在构造函数内或调用 release()，或在析构函数内 Pointer 值非空的情况下在重设前调用。

用户能通过在 Args... 中分别指定对象类型或引用类型，控制每个参数是按复制还是按引用捕获。

Smart	-	要适配的对象（通常是智能指针）的类型
Pointer	-	外来函数写入它的结果所用的对象（通常是裸指针）的类型
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
(函数模板)

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