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::element_type*，如果 Smart::element_type 有效并表示类型，否则，
- std::pointer_traits<Smart>::element_type*，如果 std::pointer_traits<Smart>::element_type 有效并表示类型，否则，
- Pointer,
/*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++ 标准。

DR	应用于	已发布行为	正确行为
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