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++ 标准。
缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 724 | C++98 | 缺失了 可默认构造 (DefaultConstructible) 的要求 | 已补充 |
参阅
检查类型是否有默认构造函数 (类模板) | |
(C++20) |
指定一个类型的对象能默认构造 (概念) |