条款05:了解C++默默编写并调用了哪些函数
@(EffectiveCpp)
- 如果你自己没声明,编译器就会为它声明(编译器版本的)一个
copy构造函数
,一个copy assignment
操作符和一个析构函数。如果没有声明任何构造函数,编译器也会声明一个default构造函数
。
因此:
class Empty{};
等同于:
class Empty{
public:
Empty(){...}//default构造函数
Empty(const Empty& rhs){...}//copy构造函数
~Empty(){...}//析构函数
Empty& operator=(const Empty& rhs){...}//copy assignment 操作符
}
只有当这些函数被需要时,它们才会被编译器创建出来:
Empty e1;//default构造函数
Empty e2(e1);//copy构造函数
e2 = e1;//copy assignment操作符
- 如果类中声明了一个构造函数,编译器便不会再为它创建
default构造函数
。至于copy构造函数
和copy assignment操作符
,编译器创建的版本只是单纯将来源对象的每一个non-static
成员变量拷贝到目标对象。
编译器所创建的
copy assignment操作符
,其行为基本上和copy构造函数
一致,但一般而言,只有当创建的代码合法且有适当机会证明它有意义时,才会被创建出来。
- 如果class内含
reference 成员
,那便需要自己编写copy assignment成员
- 如果某个
base classes
将copy assignment操作符
声明为private
,编译器将拒绝为其derived classes
生成一个copy assignment操作符
。
毕竟编译器为
derived classes
所创建的copy assignment操作符
想象中可以处理base class
成分,但它们无法调用derived class
无权调用的成员函数。