由于存在默认成员初始化程序，因此类类型很简单 要求A：可复制的[已实现] 要求B：琐碎或已删除的默认构造函数[未实现] 要求C：存在默认构造函数[已实现]

如何解决由于存在默认成员初始化程序，因此类类型很简单 要求A：可复制的[已实现] 要求B：琐碎或已删除的默认构造函数[未实现] 要求C：存在默认构造函数[已实现]

_{以下所有标准参考文献均引用N4659: March 2017 post-Kona working draft/C++17 DIS。}

---

正如人们期望的那样，对非静态数据成员使用默认成员初始化器会使类变得不平凡：

// Well-formed according to both GCC and Clang (-std=c++17).
#include <type_traits>

struct Trivial { int a; int b; };
struct NotTrivial { int a; int b{0}; };

static_assert(std::is_trivial_v<Trivial>,"");
static_assert(!std::is_trivial_v<NotTrivial>,"");

int main() {}

（C ++ 17）标准的哪一段规定了NotTrivial是一个非平凡的类？

解决方法

_{以下所有标准参考文献均引用N4659: March 2017 post-Kona working draft/C++17 DIS。}

---

[class]/6控制什么是平凡的类 [提取]：

[...]一个平凡的类是一个可以简单复制的类，具有一个或多个默认构造函数，所有这些构造函数都是平凡的或已删除的，并且至少有一个未删除。 [...]

让我们表示简单类的要求，如下所示：

• （A）该类是可复制的，并且
• （B）该类的所有默认构造函数都是平凡的或已删除的，并且
• （C）该类至少具有一个未删除的默认构造函数。

如下所示，NonTrivial满足（A）和（C）的要求，但没有满足（B）的要求>，因此并不简单。

---

要求（A）：可复制的[已实现]

要求（A）受[class]/6约束：

一个可简单复制的类是一个类：

• （6.1），其中每个副本构造函数，移动构造函数，副本赋值运算符和移动赋值运算符（[class.copy]， [over.ass]）被删除或不重要
• （6.2）至少具有一个未删除的副本构造函数，move构造函数，副本赋值运算符或move赋值运算符， 和
• （6.3）具有一个普通的，未删除的析构函数。

其中涵盖构造函数和赋值运算符的琐事的第一个子需求（6.1）分别由[class.copy.ctor]/11和[class.copy.assign]/9控制：

[class.copy.ctor] / 11

如果类X不是一个复制/移动构造函数，则它是微不足道的 用户提供的，如果：

• （11.1）类X没有虚拟函数，也没有虚拟基类，并且
• （11.2）选择用于复制/移动每个直接基类子对象的构造函数很简单，并且
• （11.3）对于X的类类型（或其数组）的每个非静态数据成员，选择构造函数来复制/移动该成员 很简单；

否则，复制/移动构造函数很简单。

[class.copy.assign] / 9

如果类X的复制/移动赋值运算符不是很简单， 用户提供的，如果：

• （9.1）类X没有虚函数，也没有虚拟基类，并且
• （9.2）选择用于复制/移动每个直接基类子对象的赋值运算符很简单，并且
• （9.3）对于X的每个类类型（或其数组）的非静态数据成员，分配操作符均选择复制/移动 成员微不足道；

否则，复制/移动赋值运算符是平凡的。

全部由NonTrivial完成。

第二个子要求（6.2）涉及构造函数和赋值运算符的存在，仅限于隐式声明的特殊函数（原样）此示例的情况）分别受[class.copy.ctor]/6和[class.copy.assign]/2约束：

[class.copy.ctor] / 6

如果类定义未明确声明副本 构造函数，一个非显式的被隐式声明。如果上课 定义声明移动构造函数或移动赋值运算符， 隐式声明的副本构造函数被定义为delete； 否则，将其定义为默认值。 [...]

[class.copy.assign] / 2

如果类定义未明确声明副本分配 运算符，隐式声明。如果类定义 声明移动构造函数或移动赋值运算符， 隐式声明的副本分配运算符定义为已删除； 否则，将其定义为默认值。 [...]

因此，将为NonTrivial隐式声明一个拷贝构造函数和一个拷贝赋值运算符。从[class.copy.ctor]/8和[class.copy.assign]/4 4开始，分别对move构造函数和move赋值运算符保持相同。因此，NonTrivial满足子要求（6.2）。

第三个子要求（6.3）受[class.dtor]/6约束：

如果析构函数不是由用户提供的，并且满足以下条件，则它是微不足道的：

• （6.1）析构函数不是虚拟的，
• （6.2）此类中的所有直接基类均具有琐碎的析构函数，并且
• （6.3）对于该类的所有非静态数据成员，这些成员都是类类型（或其数组），每个此类都具有一个琐碎的 破坏者。

否则，析构函数是不平凡的。

由NonTrivial满足，因此要求（A）适用于NonTrivial。

---

要求（B）：琐碎或已删除的默认构造函数[未实现]

受[class.ctor]/4的约束[摘录]：

[...]如果类X没有用户声明的构造函数，则将不带参数的非显式构造函数隐式声明为默认值（[dcl.fct.def]）。

将为NonTrivial类隐式声明一个默认构造函数。但是，受[class.ctor]/6（尤其是[class.ctor]/6.2）的约束，此隐式声明的默认构造函数并非无关紧要：

如果不是用户提供的默认构造函数为简单，并且：

• [...]
• （6.2）此类的非静态数据成员没有默认的成员初始化程序（[class.mem]），并且[...]

因此，NonTrivial类无法满足要求（B），因此并不琐碎。

我们可能会注意到，[class.ctor] /6.2子句源自非静态数据成员初始化程序N2628的原始提议，该提议提议添加

该类的任何非静态数据成员都没有 assignment-initializer ，并且

作为[class.ctor]的附加琐碎要求。

---

要求（C）：存在默认构造函数[已实现]

为完整起见，我们可能会注意到NonTrivial类符合[class.ctor]/4（在上一节中引用）的要求（C）。