move_constructible.md

move_constructible

• concepts[meta header]
• std[meta namespace]
• concept[meta id-type]
• cpp20[meta cpp]

概要

move_constructibleは、任意の型Tがムーブ構築可能であることを表す要件である。

要件

以下の式が可能であること：

T u = rv;

• rvは、型Tの右辺値オブジェクト
• 上述した式を実行した結果として、uはこの式を実行する前のrvと等価になること
• 上述した式を実行したあとのrvの状態は未規定とし、各ライブラリもしくは実装がその動作を規定する

さらに、以下の式が可能であること：

T(rv)

• rvは、型Tの右辺値オブジェクト
• T(rv)を実行した結果のオブジェクトは、その式を実行する前のrvと等価になること
• 上述した式を実行したあとのrvの状態は未規定とし、各ライブラリもしくは実装がその動作を規定する

関連項目

• is_move_constructible