std::polymorphic

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

内存管理库

voidify (仅用于阐述*) 分配器 allocator allocator_traits (C++11) allocation_result (C++23) scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20) 未初始化内存算法 uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) construct_at (C++20) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) destroy_at (C++17) 受约束的未初始化内存算法 ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::uninitialized_copy_n (C++20)  ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::construct_at (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::destroy (C++20) ranges::uninitialized_default_construct_n (C++20)  ranges::uninitialized_value_construct_n (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) 内存资源 pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::pool_options (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17) pmr::monotonic_buffer_resource (C++17) 显式生存期管理 start_lifetime_as (C++23) start_lifetime_as_array (C++23) 用于复合类设计的类型 indirect (C++26) polymorphic (C++26) 未初始化存储(C++20 前) raw_storage_iterator (C++17 弃用) get_temporary_buffer (C++17 弃用) return_temporary_buffer (C++17 弃用) 垃圾收集器支持(C++23 前) declare_reachable (C++11)(C++23 前) declare_no_pointers (C++11)(C++23 前) pointer_safety (C++11)(C++23 前) undeclare_reachable (C++11)(C++23 前) undeclare_no_pointers (C++11)(C++23 前) get_pointer_safety (C++11)(C++23 前)

低层内存管理 operator newoperator new[] operator deleteoperator delete[] nothrow_t nothrow new_handler set_new_handler get_new_handler (C++11) bad_alloc bad_array_new_length (C++11) align_val_t (C++17) destroying_delete_t (C++20) launder (C++17) 智能指针 unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (C++17 前*) owner_less (C++11) owner_less<void> (C++17) owner_hash (C++26) owner_equal (C++26) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) out_ptr_t (C++23) inout_ptr_t (C++23) 杂项 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) is_sufficiently_aligned (C++26) C 库 malloc calloc realloc free aligned_alloc (C++17)

 

std::polymorphic

成员函数

polymorphic::polymorphic

polymorphic::~polymorphic

polymorphic::operator=

观察器

polymorphic::operator->polymorphic::operator*

polymorphic::valueless_after_move

polymorphic::get_allocator

修改器

polymorphic::swap

非成员函数

swap(std::polymorphic)

 

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

1)std::polymorphic 是包含动态分配的对象的具有类值语义的包装器。

2)std::pmr::polymorphic 是使用多态分配器的模板别名。

std::polymorphic 对象管理拥有的对象的生存期。拥有的对象具有 T 类型或任何从 T（公开且无歧义地）派生的类型。std::polymorphic 对象只有在被移动后才会不拥有对象，此时该 std::polymorphic 对象无值。

每个 std::polymorphic<T, Allocator> 类型对象都会使用一个 Allocator 对象来分配和释放拥有的对象所需的存储。

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

模板形参

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

嵌套类型

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

数据成员

成员	描述
Allocatoralloc	关联的分配器 (仅用于阐述的成员对象*)

成员函数

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

非成员函数

std::swap(std::polymorphic) (C++26)

特化 std::swap 算法 (函数模板)

注解

功能特性测试宏	值	标准	功能特性
__cpp_lib_polymorphic	202502L	(C++26)	std::polymorphic

参阅

indirect (C++26)

包含动态分配对象的具有类似值语义的包装器 (类模板)