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

来自cppreference.com
< cpp‎ | memory‎ | inout ptr t
 
 
工具库
通用工具
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)

初等字符串转换
(C++17)
(C++17)
栈踪
 
动态内存管理
智能指针
(C++11)
(C++11)
(C++11)
(C++17 前)
(C++11)
(C++23)
分配器
内存资源
未初始化存储
未初始化内存算法
受约束的未初始化内存算法
垃圾收集支持
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
杂项
(C++20)
(C++11)
(C++11)
C 库
低层内存管理
 
std::inout_ptr_t
成员函数
inout_ptr_t::~inout_ptr_t
(C++23)
非成员函数
(C++23)
 
~inout_ptr_t();
(C++23 起)

以修改的 Pointer 对象(或若调用了 operator void**() 则为 void* 对象)的值捕获的实参重设适配的 Smart 对象。可能在适配的 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 为指针类型,则析构函数进行

if (p) s = static_cast<Smart>(p); ,而若 sizeof...(Args) > 0 则程序非良构,

否则,若 s.reset(static_cast<SP>(p), std::forward<Args>(args)...) 为良构,则析构函数进行

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

否则,若 std::is_constructible_v<Smart, SP, Args...>true ,则析构函数进行

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

否则程序非良构。

注解

实现可能在构造时分配 Smart 所需的数据结构(例如控制块)的存储,以将不抛出的工作留给析构函数。

在重设后销毁按值捕获的实参。