- concepts[meta header]
- std[meta namespace]
- concept[meta id-type]
- cpp20[meta cpp]
default_constructibleは、任意の型Tがデフォルト構築可能であること表す要件である。
以下の式が可能であること:
T t;- この式を実行した結果として、
tはデフォルト初期化されること
さらに、以下の式が可能であること:
T u{};- この式を実行した結果として、
uは値初期化されること
さらに、以下の式が可能であること:
T()
T{}- これらの式を実行した結果として、
T型の一時オブジェクトは値初期化されること