copy_constructible.md

copy_constructible

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

概要

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

要件

MoveConstructibleの要件に加えて、以下の式が可能であること：

T u = v;

• vは、型Tの左辺値オブジェクト(constであってもよい)
• 上述した式を実行した結果として、vの状態は変わらず、uはvと等価になること

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

T(v)

• vは、型Tの左辺値オブジェクト(constであってもよい)
• 上述した式を実行した結果として、vの状態は変わらず、T(v)の結果となるオブジェクトはvと等価になること

関連項目

• is_copy_constructible