简单来说,一个“琐碎”的特殊成员函数就意味着一个以非常直接的方式完成其工作的成员函数。 “直接方式”对于不同种类的特殊成员函数意味着不同的事物。
对于默认构造函数和析构函数是“琐碎”意味着字面上“什么都不做”。对于拷贝构造函数和拷贝赋值运算符,“简单”意味着字面上“等同于简单的原始内存拷贝”(类似于使用memcpy拷贝)。
如果你自己定义一个构造函数,它被认为是不平凡的,即使它不做任何事情,所以一个微不足道的构造函数必须由编译器隐式定义。
为了使特殊成员函数满足上述要求,类必须具有非常简单的结构,当创建或销毁对象时不必要求任何隐藏的初始化,或者当复制对象时,不需要任何隐藏的附加内部操作。
例如,如果类有虚函数,当创建这个类的对象(初始化虚方法表等)时,将需要一些额外的隐藏初始化,所以这个类的构造函数不会被认为是微不足道的。
另一个例子,如果一个类有虚拟基类,这个类的每个对象可能包含指向同一个对象的其他部分的隐藏指针。这样的自引用对象不能通过简单的原始内存复制例程(如memcpy)复制。需要额外的操作来正确地重新初始化副本中的隐藏指针。因为这个原因,这个类的拷贝构造函数和拷贝赋值运算符不会被认为是微不足道的。
由于显而易见的原因,这个需求是递归的:类的所有子对象(基本和非静态成员)也必须有微不足道的构造函数。