C++ 具名要求：可默认构造 (DefaultConstructible)
来自cppreference.com
指定该类型的对象可以默认构造 。
要求
以下情况下，类型 T 满足可默认构造 (DefaultConstructible) ：
给定
- 任意标识符
u，
下列表达式必须合法且拥有其指定的效果
| 表达式 | 后条件 |
|---|---|
| T u | 对象 u 被默认初始化。
|
| T u{} | 对象 u 被值初始化或聚合初始化。
|
| T()
T{} |
一个 T 类型的临时对象被值初始化或聚合初始化。
|
注解
对于非聚合类类型的对象，必须定义公开的默认构造函数（用户定义或隐式定义），以满足可默认构造 (DefaultConstructible) 。
非类对象类型的非 const 对象始终为可默认构造 (DefaultConstructible) 。
const 的非类类型非可默认构造 (DefaultConstructible) 。
const 的聚合类型，若其任何成员是非类类型对象，则非可默认构造 (DefaultConstructible) 。
非对象类型（函数类型，引用类型，以及（可能 cv 限定的）void 类型）和 const 的非对象类型始终非可默认构造 (DefaultConstructible) 。
参阅
| 检查类型是否有默认构造函数 (类模板) | |
| (C++20) |
指定能默认构造一个类型的对象 (概念) |