std:: indirect

定义于头文件 <memory>
template < class T, class Allocator = std:: allocator < T > > class indirect ;	(1)	(C++26 起)
namespace pmr { template < class T > using indirect = std :: indirect < T, std:: pmr :: polymorphic_allocator < T >> ; }	(2)	(C++26 起)

一个 std::indirect 对象管理其所拥有对象的 生命周期 。只有在被移动后， std::indirect 对象才可能不拥有任何对象，此时它处于 无值状态 。

每个 std::indirect<T, Allocator> 类型的对象都会使用一个 Allocator 类型的对象，根据需要为所拥有的对象分配和释放存储空间。

如果程序声明了 std::indirect 的显式特化或部分特化，则行为是未定义的。

目录 1 模板参数 2 嵌套类型 3 数据成员 4 成员函数 4.1 观察器 4.2 修改器 5 非成员函数 6 辅助类 7 推导指引 8 备注 9 示例 10 参见

模板参数

T	-	所拥有对象的类型
Allocator	-	关联分配器的类型
类型要求
- T 可以是 不完整类型 。
- 若 T 为下列类型之一，则程序非良构： 非 对象类型 数组类型 std::in_place_t std::in_place_type_t 的特化 cv 限定类型
- 若 Allocator 不满足 分配器 要求，则程序非良构。
- 若 std:: allocator_traits < Allocator > :: value_type 与 T 不是同一类型，则程序非良构。

嵌套类型

类型	定义
value_type	T
allocator_type	Allocator
pointer	typename std:: allocator_traits < Allocator > :: pointer
const_pointer	typename std:: allocator_traits < Allocator > :: const_pointer

数据成员

成员	描述
pointer p	指向被拥有值的指针 ( 仅用于说明的成员对象* )
Allocator alloc	关联的分配器 ( 仅用于说明的成员对象* )

成员函数

(constructor)	构造 indirect 对象 (公开成员函数)
(destructor)	销毁拥有的值（如果存在） (公开成员函数)
operator=	赋值内容 (公开成员函数)
观察器
operator-> operator*	访问拥有的值 (公开成员函数)
valueless_after_move	检查 indirect 是否无值 (公开成员函数)
get_allocator	返回关联的分配器 (公开成员函数)
修改器
swap	交换内容 (公开成员函数)

非成员函数

operator== operator<=> (C++26) (C++26)	比较 indirect 对象 (函数模板)
std::swap (std::indirect) (C++26)	特化 std::swap 算法 (函数模板)

辅助类

std::hash <std::indirect> (C++26)

std::indirect 的哈希支持 (类模板特化)

推导指引

注释

功能测试 宏	值	标准	功能
__cpp_lib_indirect	202502L	(C++26)	std::indirect

示例

本节内容不完整 原因：缺少示例

另请参阅

polymorphic (C++26)	包含具有值语义的动态分配对象的多态包装器 (类模板)
unique_ptr (C++11)	具有唯一对象所有权语义的智能指针 (类模板)