Effective C++读书笔记

--By Nathan.Yu 2007-11-13--

2 构造/析构/赋值运算(之一)

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

如果你自己没声明，编译器就会为类声明一个copy构造函数、一个copy assignment操作符和一个析构函数。此外如果你没声明任何构造函数，编译器也会为你声明一个default构造函数。只有当这些函数被需要（被调用），它们才被编译器创建出来。

注意：编译器产出的析构函数是non-virtual的，除非这个class的base class声明有virtual析构函数。

编译器何时拒绝生出operator=？

一般而言只有当生出的代码合法且有适当机会证明它有意义，编译器生成的copy assignment操作符其行为与copy构造函数如出一辙。万一两个条件有一个不符合，编译器就拒绝为class生产operator=。

       情况1：当类含reference成员时，编译器将拒绝为其生成copy assignment操作符。

       情况2：当类含const成员时，编译器将拒绝为其生成copy assignment操作符。

       情况3：如果某类的base classes将copy assignment操作符声明为private，编译器将拒绝为其derived classes生成copy assignment操作符。

【要点摘录】C++不允许“让referenct改指向不同的对象”。

请记住：

编译器可以暗自为class创建default构造函数、copy构造函数、copy assignment操作符，以及析构函数。