std::inout_ptr_t<Smart,Pointer,Args...>::~inout_ptr_t

~inout_ptr_t();		(C++23 起)

通过修改后的 Pointer 对象（如果调用了 operator void**()，则为 void* 对象）的值和捕获的参数来重置被适配的 Smart 对象。如果构造函数没有调用 release()，则可以在被适配的 Smart 对象上调用 release()。

令

s 表示被适配的 Smart 对象，
args... 表示捕获的参数，
p 表示存储的 Pointer 的值，如果调用了 operator void**，则为 static_cast<Pointer>(*operator void**())，
SP 是
- 如果 Smart::pointer 有效并表示一个类型，则为 Smart::pointer，否则
- Smart::element_type*，如果 Smart::element_type 有效且表示一个类型，否则，
- std::pointer_traits<Smart>::element_type*，如果 std::pointer_traits<Smart>::element_type 有效且表示一个类型，否则，
- 指针,
/*do-release*/ 表示 s.release()，如果构造函数没有调用 release()，否则为空。

如果 Smart 是指针类型，析构函数执行

s = static_cast<Smart>(p);，如果 sizeof...(Args) > 0，则程序格式错误；

否则，如果 s.reset(static_cast<SP>(p), std::forward<Args>(args)...) 格式良好，析构函数执行

/*do-release*/; if (p) { s.reset(static_cast<SP>(p), std::forward<Args>(args)...); };

否则，如果 std::is_constructible_v<Smart, SP, Args...> 为 true，析构函数执行

/*do-release*/; if (p) { s = Smart(static_cast<SP>(p), std::forward<Args>(args)...); };

否则，程序格式错误。

实现可以在构造时为 Smart 所需的数据结构（例如控制块）分配存储空间，以便将不抛出异常的工作留给析构函数。

按值捕获的参数在重置后被销毁。

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
LWG 3897	C++23	析构函数未将原始指针更新为 null 值	它做了

成员函数
inout_ptr_t::inout_ptr_t
inout_ptr_t::~inout_ptr_t
inout_ptr_t::operator Pointerinout_ptr_t::operator void*
非成员函数
inout_ptr