条款05:了解C++默默编写并调用了哪些函数

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