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