Term05: Know what functions C++ silently writes and calls.
如果类定义中未写明,以下四种函数会由编译器自动生成:
1)缺省构造函数(default constructor)
2)拷贝构造函数(copy constructor)
3)析构函数(desctructor)
4)拷贝赋值操作符(copy assignment operator)
例外情况就是,如果编译器自动生成某个函数会导致语法错误,则编译器会拒绝生成。
举一个例子,类定义了const或引用类型的数据成员,则拷贝赋值操作符不会由编译器自动生成。因为这种情况下赋值操作会导致对const或引用类型的数据成员的赋值,是语法错误。当然如果自定义的拷贝赋值操作符改成了避免出现const或引用类型的数据成员的赋值,则编译器会接受程序员的定义。
还有一种情况,如果基类的拷贝赋值操作符被声明为了私有类型,则派生类就无法由编译器自动生成拷贝赋值操作符。因为编译器会尝试在调用派生类的拷贝赋值操作符时先调用基类的操作符以完成基类成员的拷贝,这也是不行的。
Term06: Explicitly disallow the use of compiler-generated functions you do not want.
条款5告诉我们,即使我们没写上面说的4种函数,依然可以使用它们,因为编译器会自动生成。有时候我们需要屏蔽掉对这些函数的使用,就需要屏蔽掉编译器的自动生成。有两种方式:
1. 将这些函数的定义使用private约束
2. 写一个没有任何实现的基类,其中定义了想要屏蔽掉的这几个函数,使用private约束。任何想屏蔽这几个函数的类都可以通过继承自这个类来实现。其实这个方式正是条款5中最后说到的那种情况。