C++ 具名要求:可默认构造 (DefaultConstructible)

< cpp‎ | named req
 
 
 

指定该类型的对象可以默认构造 。

要求

以下情况下,类型 T 满足可默认构造 (DefaultConstructible)

给定

  • 任意标识符 u

下列表达式必须合法且拥有其指定的效果

表达式 后条件
T u 对象 u默认初始化
T u{} 对象 u值初始化聚合初始化
T()

T{}

一个 T 类型的临时对象被值初始化聚合初始化

注解

对于非聚合类类型的对象,必须定义公开的默认构造函数(用户定义或隐式定义),以满足可默认构造 (DefaultConstructible)

非类对象类型的非 const 对象始终为可默认构造 (DefaultConstructible)

const 的非类类型非可默认构造 (DefaultConstructible)

const 的聚合类型,若其任何成员是非类类型对象,则非可默认构造 (DefaultConstructible)

非对象类型(函数类型,引用类型,以及(可能 cv 限定的)void 类型)和 const 的非对象类型始终非可默认构造 (DefaultConstructible)

参阅

检查类型是否有默认构造函数
(类模板)