Effective C++学习笔记（二）

构造/析构/复制运算

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

一个empty class，如果自己没有声明，C++编译器就会为它声明（编译器版本的）一个copy构造函数、一个copy assignment操作符和一个析构函数。此外如果你没有声明任何构造函数，编译器也会为你声明一个default构造函数。所有这些函数都是public且inline。

注意：一般而言只有当生成的代码合法并且有适当机会证明它有意义，否则编译器会拒绝为class生出operator=。

template<class T>
class NamedObject {
public:
// this ctor no longer takes a const name, because nameValue
// is now a reference-to-non-const string. The char* constructor 
// is gone, because we must have a string to refer to.
NamedObject(std::string& name, const T& value);
... // as above, assume no operator= is declared
private:
std::string&  nameValue; // this is now a reference
const T objectValue; // this is now const
};

如上的例子，class自己没有定义拷贝赋值操作符，现在考虑如下的操作是否正确：

std::string newDog("Persephone");
std::string oldDog("Satch");
NamedObject<int> p(newDog, 2);
NamedObject<int> s(oldDog, 36); 
p = s;  // what should happen to the data members in p?

由于C++不允许“让reference改指不同对象”。所以p=s这个赋值语句会被编译器拒绝。

如果你打算在一个“内含reference成员”的class内支持赋值操作，你必须自己定义copy assignment操作符。面对“内涵const成员”的class，编译器反应也一样。最后含有一种情况：如果某个base class将copy assignment操作符声明为private，编译器将拒绝为其derived class生成一个copy assignment操作符（因为编译器为derived class所生的copy assignment操作符还要可以处理base class成分）。

条款06：若不想使用编译器自动生成的函数，就该明确拒绝

对于copy构造函数和copy assignment操作符，如果你不声明它们，它们还是会被编译器产出，所以如果想阻止这些函数被创建出来，你可以将他们声明出来，令这些函数为private，而不去实现这些函数。这样可以成功阻止它们被调用，即使被member函数和friend函数不慎调用，也只会获得一个连接错误。

如果想把这种连接期错误移至编译期，可以专门设计一个base class，并把其copy构造函数和copy assignment操作符声明为private，然后让我们设计的类继承这个基类。那么任何人（甚至是member函数或friend函数）尝试拷贝该类的对象，编译器就会试着生成一个copy构造函数和一个copy assignment操作符，而这些会被拒绝，因为“编译器生成版”会尝试调用base class的对应兄弟，而其拷贝函数却是private。
条款07：为多态基类声明virtual析构函数

class TimeKeeper {
public:
TimeKeeper();
~TimeKeeper();
...
};
class AtomicClock: public TimeKeeper { ... };
class WaterClock: public TimeKeeper { ... };
class WristWatch: public TimeKeeper { ... };

如上的记录时间的类，如果客户只想在程序中使用时间，不想操心时间如何计算等细节，这时候可以设计 factory函数，返回指针指向一个计时对象。 factory函数会“返回一个base class指针，指向新生成的derived class对象”：

TimeKeeper* getTimeKeeper();

为遵守factory函数的规矩，被getTimeKeeper()返回的对象必须位于heap。因此为了避免泄漏内存和其他资源，将factory函数返回的每一个对象适当地delete掉很重要。

这里有个问题：getTimeKeeper()返回的指针指向一个derived class对象，而那个对象却经由一个base class指针被删除，而目前的base class有个non-virtual析构函数。

C++明确指出：当derived class对象经由一个base class指针被删除，而该base class带有一个non-virtual析构函数，其结果未有定义——实际执行时通常发生的是对象的derived成分没被销毁。

于是这就造成了一个诡异的“局部销毁”对象，这可能是造成资源泄漏、败坏之数据结构、在调试器上浪费许多时间。

消除这个问题的做法很简单：给base class一个virtual析构函数。这样当删除derived class对象时就会销毁整个对象，包括所有derived class成分。这是因为通过将基类的析构函数定义成虚函数，可以通过动态绑定，确保执行的是正确的析构函数。

小结：

（1）polymorphic（带多态性质的）base class应该声明一个virtual析构函数。如果class带有任何virtual函数，它就应该拥有一个virtual析构函数。

（1）class的设计目的如果不是作为base class使用，或不是为了具备多态性，就不应该声明virtual析构函数。