名前空間
変種
操作

std::MoveConstructible

提供: cppreference.com
< cpp‎ | concepts
ヘッダ <concepts> で定義
template< class T >
concept MoveConstructible = std::Constructible<T, T> && std::ConvertibleTo<T, T>;
(C++20以上)

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

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

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

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

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

[編集] 関連項目

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