std::copy_constructible

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

コンセプトライブラリ

コア言語のコンセプト same_as derived_from convertible_to common_reference_with common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from

比較のコンセプト equality_comparableequality_comparable_with totally_orderedtotally_ordered_with オブジェクトのコンセプト movable copyable semiregular regular 呼び出し可能のコンセプト invocableregular_invocable predicate relation equivalence_relation strict_weak_order

 

ヘッダ <concepts> で定義
template<class T> concept copy_constructible =   std::move_constructible<T>&&   std::constructible_from<T, T&>&& std::convertible_to<T&, T>&&   std::constructible_from<T, const T&>&& std::convertible_to<const T&, T>&&   std::constructible_from<T, const T>&& std::convertible_to<const T, T>;		(C++20以上)

コンセプト copy_constructible は、 T が左辺値参照型の場合、またはその型のオブジェクトが通常のセマンティクスを用いた直接初期化およびコピー初期化の文脈においてその型の (const かもしれない) 左辺値または const 右辺値から構築可能な move_constructible オブジェクト型である場合に、満たされます。

より正確には、 T がオブジェクト型であれば、 copy_constructible<T> は、以下の内容を満たす場合にのみ、満たされます。

• (const かもしれない) T 型の左辺値または const T 型の右辺値 v

が与えられたとき、以下が真である。

• 定義 T u = v; の後、 u は v と等しい。
• T(v) は v と等しい。

関連項目

is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)

型がコピーコンストラクタを持っているかどうか調べます (クラステンプレート)