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以降)

std::polymorphic オブジェクトは、所有するオブジェクトの 生存期間 を管理します。所有されるオブジェクトの型は T または T から（公開かつ明確に）派生した任意の型です。 std::polymorphic オブジェクトは、ムーブされた後にのみ所有オブジェクトを持たない状態になり、この場合 無効状態 となります。

std::polymorphic<T, Allocator> 型のすべてのオブジェクトは、必要に応じて所有するオブジェクトのストレージを割り当ておよび解放するために、 Allocator 型のオブジェクトを使用します。

プログラムが std::polymorphic の明示的特殊化または部分特殊化を宣言する場合、動作は未定義です。

目次 1 テンプレートパラメータ 2 ネストされた型 3 データメンバ 4 メンバ関数 4.1 オブザーバ 4.2 モディファイア 5 非メンバ関数 6 注記 7 例 8 関連項目

テンプレートパラメータ

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	typename std:: allocator_traits < Allocator > :: pointer
const_pointer	typename std:: allocator_traits < Allocator > :: const_pointer

データメンバ

メンバー	説明
Allocator alloc	関連付けられたアロケータ ( 説明専用メンバーオブジェクト* )

メンバー関数

(constructor)	polymorphic オブジェクトを構築する (public member function)
(destructor)	所有する値がある場合は破棄する (public member function)
operator=	内容を代入する (public member function)
Observers
operator-> operator*	所有する値にアクセスする (public member function)
valueless_after_move	polymorphic が値を持たないかどうかをチェックする (public member function)
get_allocator	関連付けられたアロケータを返す (public member function)
Modifiers
swap	内容を交換する (public member function)

非メンバー関数

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

std::swap アルゴリズムを特殊化 (関数テンプレート)

注記

機能テスト マクロ	値	標準	機能
__cpp_lib_polymorphic	202502L	(C++26)	std::polymorphic

例

このセクションは不完全です 理由: 例がありません

関連項目

indirect (C++26)

値のようなセマンティクスを持つ動的に割り当てられたオブジェクトを含むラッパー (クラステンプレート)