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

来自cppreference.com
< cpp‎ | memory‎ | out ptr t
 
 
工具库
语言支持
类型支持(基本类型、RTTI)
库功能特性测试宏 (C++20)
动态内存管理
程序工具
协程支持 (C++20)
变参数函数
调试支持
(C++26)
三路比较
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(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 前)



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

以修改的 Pointer 对象(或若调用了 operator void**() 则为 void* 对象)的值捕获的实参重设适配的 Smart 对象。

  • 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

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

if (p) s.reset(static_cast<SP>(p), std::forward<Args>(args)...);

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

if (p) s = Smart(static_cast<SP>(p), std::forward<Args>(args)...);

否则程序非良构。

注解

Smartstd::shared_ptr 的特化,则实现可以在构造时分配重设新的控制块的存储,以将不抛出的工作留给析构函数。

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