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