std::move_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 move_constructible = std::constructible_from<T, T> && std::convertible_to<T, T>;		(C++20以上)

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

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

• T 型の右辺値 rv
• rv と等しい T 型の別のオブジェクト u2

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

• 定義 T u = rv; の後、 u は u2 と等しい。
• T(rv) は u2 と等しい。
• T が const 修飾されていなければ、 (上の項目のいずれかの定義または式が評価された後の) rv の結果の状態は有効だけれども未規定である。 そうでなければ、それは変更されない。

関連項目

is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)

型が右辺値参照から構築できるかどうか調べます (クラステンプレート)