Namespaces
Variants

std::polymorphic<T, Allocator>:: polymorphic

From cppreference.net
C++
Memory management library
( exposition only* )
Allocators
Uninitialized memory algorithms
Constrained uninitialized memory algorithms
Memory resources
Uninitialized storage (until C++20)
( until C++20* )
( until C++20* )
( until C++20* )

Garbage collector support (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
std::polymorphic
constexpr explicit polymorphic ( ) ;
(1) (C++26以降)
constexpr explicit polymorphic ( std:: allocator_arg_t , const Allocator & a ) ;
(2) (C++26以降)
template < class U = T >
constexpr explicit polymorphic ( U && v ) ;
(3) (C++26以降)
template < class U = T >

constexpr explicit polymorphic ( std:: allocator_arg_t , const Allocator & a,

U && v ) ;
(4) (C++26以降)
template < class U, class ... Args >
constexpr explicit polymorphic ( std:: in_place_type_t < U > , Args && ... args ) ;
(5) (C++26以降)
template < class U, class ... Args >

constexpr explicit polymorphic ( std:: allocator_arg_t , const Allocator & a,

std:: in_place_type_t < U > , Args && ... args ) ;
(6) (C++26以降)
template < class U, class I, class ... Args >

constexpr explicit polymorphic ( std:: in_place_type_t < U > ,
std:: initializer_list < I > ilist,

Args && ... args ) ;
(7) (C++26以降)
template < class U, class I, class ... Args >

constexpr explicit polymorphic ( std:: allocator_arg_t , const Allocator & a,
std:: in_place_type_t < U > ,
std:: initializer_list < I > ilist,

Args && ... args ) ;
(8) (C++26以降)
constexpr polymorphic ( const polymorphic & other ) ;
(9) (C++26以降)
constexpr polymorphic ( std:: allocator_arg_t , const Allocator & a,
const polymorphic & other ) ;
(10) (C++26以降)
constexpr polymorphic ( polymorphic && other ) noexcept ;
(11) (C++26以降)
constexpr polymorphic ( std:: allocator_arg_t , const Allocator & a,
polymorphic && other ) noexcept ( /* see below */ ) ;
(12) (C++26以降)

新しい polymorphic オブジェクトを構築します。

目次

パラメータ

a - 関連付けるアロケータ
v - 所有する値を初期化するための値
args - 所有する値を初期化するための引数
il - 所有する値を初期化するための初期化子リスト
other - 所有する値（存在する場合）がコピーされる別の polymorphic オブジェクト

効果

新しい polymorphic オブジェクトの構築は、以下の手順で構成されます:

1) 関連付けられたアロケータ alloc を構築する :
2) 所有オブジェクトを構築します：
  • オーバーロード ( 1-8 ) の場合： std:: allocator_traits < Allocator > :: construct ( alloc  , p, args... ) を呼び出します。ここで
    • p は型 U* のポインタであり、構築される所有オブジェクトに適したストレージを指し、
    • args... は初期化引数を含む式パックです。
  • オーバーロード ( 9-12 ) の場合：
    • other が値を持たない場合、所有オブジェクトは構築されず、構築後の * this も値を持ちません。
    • それ以外の場合、 other が右辺値参照であり、かつ alloc が other. alloc と等しい場合、 * this は other の所有オブジェクトの所有権を取得します。
    • それ以外の場合、所有オブジェクトは上記のように alloc を使用して構築されます。ここで p の型は other が所有するオブジェクトの型によって決定されます。
オーバーロード 初期化子... 所有オブジェクトの型 valueless_after_move()
構築後
alloc 所有オブジェクト
( 1 ) (空) (空) T false
( 2 ) a
( 3 ) (空) std:: forward < U > ( v ) U
( 4 ) a
( 5 ) (空) std:: forward < Args > ( args )
( 6 ) a
( 7 ) (空) ilist,
std:: forward < Args > ( args )
( 8 ) a
( 9 ) 以下を参照 * other
( other が値を所有している場合のみ) 		other が所有するオブジェクトの型 true ( other がvaluelessの場合のみ)
( 10 ) a
( 11 ) std :: move 
( other. alloc  ) 		所有権を取得
( other が値を所有している場合のみ)
( 12 ) a 以下を参照
9) alloc は std:: allocator_traits < Allocator > ::
select_on_container_copy_construction ( other. alloc  ) で直接非リスト初期化されます。
12) 所有オブジェクトは以下のように構築されます:
  • other が値を持たない場合、 * this も値を持ちません。
  • それ以外の場合、 alloc == other. alloc が true の場合、 * this は other の所有オブジェクトの所有権を取得します。
  • それ以外の場合、 alloc を使用して * std :: move ( other ) で所有オブジェクトを構築します。

制約条件と補足情報

1,2) 以下のいずれかの値が false の場合、プログラムは不適格となる：

1) このオーバーロードは、 std:: is_default_constructible_v < Allocator > が true の場合にのみ、オーバーロード解決に参加します。

3-8) これらのオーバーロードは、以下の値がすべて true である場合にのみ、オーバーロード解決に参加します:
3,4) U
5,6) Args...
7,8) std:: initializer_list < I > & , Args...

3,5,7) これらのオーバーロードは、 std:: is_default_constructible_v < Allocator > が true の場合にのみ、オーバーロード解決に参加します。
3,4) これらのオーバーロードは、以下の全ての条件が満たされる場合にのみオーバーロード解決に参加します:
5-8) これらのオーバーロードは、以下の条件が満たされる場合にのみオーバーロード解決に参加します： std:: is_same_v < std:: remove_cvref_t < U > , U > が true である場合。

例外

std:: allocator_traits < Allocator > :: allocate または std:: allocator_traits < Allocator > :: construct が例外を送出しない限り、何も送出しません。

12)
noexcept 指定:
noexcept ( std:: allocator_traits < Allocator > :: is_always_equal :: value )

例

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

関連項目

(C++11)
アロケータ対応コンストラクタのオーバーロードを選択するために使用されるタグ型
(クラス)
(C++17)
インプレース構築タグ
(タグ)