@(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无权调用的成员函数。
