《Effective C++》第二章：构造/析构/赋值运算

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

一般情况下，编译器会默默编写一个default 构造函数、default 析构函数、拷贝构造函数、赋值函数，这个问题在《深入探索C++对象模型》的时候也说过，编译器只有当这些函数被编译器需要的时候，才会被创建调用。

关于赋值函数，我们需要注意一点，如果你打算在一个“内含reference成员或者const成员”的class内支持赋值操作，你必须自己定义赋值函数。因为更改reference或者const是不合法的。

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

方法一：将函数申明为私有，只申明不定义，这样在编译器期间会报错，比如Uncopyable的实现：

class Uncopyable
{
 protected:
    Uncopyable(){}     //允许子类构造
    ~Uncopyable(){}
private:
    Uncopyable(const Uncopyable&);
    Uncopyable& operator=(const Uncopyable&);
};

想要阻止拷贝的，直接私有继承即可。

方法二：C++11标准有了delete关键字，利用这个关键字可以明确拒绝自动生成的函数：

class Uncopyable
{
protected:
    Uncopyable() = default;
    ~Uncopyable() = default;
    Uncopyable(const Uncopyable&) = delete;
    Uncopyable& operator=(const Uncopyable&) = delete;
};

条款7：为多态基类声明virtual析构函数

C++明确指出，在多态的应用中，当derived class 对象经由一个base指针被删除，而该base class带着一个non-virtual析构函数，则其结果未定义——实际执行时通常发生的是对象的derived成分没有被销毁。如果class不含virtual函数，通常表示它并不意图作为一个base class，当class不企图被当做base class，令其析构函数为virtual往往是个馊主意，因为这会增加编译器的负担——引入的虚函数表。

另外在抽象基类中，可以令析构函数为纯虚函数，但是你必须为其提供一份定义。

条款8：别让异常逃离析构函数

这一章节比较重要，面试常常会问到。这里有一篇文章讲的挺好，C++ 异常 与 ”为什么析构函数不能抛出异常“ ，我们进行总结一下：

1、当对象抛出异常的时候，系统会自动调用析构函数，如果此时析构函数再抛出异常，两个同时作用的异常对C++来说太多，会导致未定义行为

2、解决方法是析构函数自己吃掉异常

3、关于构造函数抛出异常，因为通知对象的构造失败唯一方法是在构造函数中抛出异常，所以构造函数可以抛出异常，会调用构造函数里已经创建对象的析构函数，但是不会调用自己的析构函数。对于资源的释放，可以在cache中操作或者使用智能指针管理

条款9：绝不在构造和析构过程中调用virtual函数

这个比较好理解。首先构造的时候，派生类还没有建立，也就是说虚函数需要的资源不一定构造完全，并且base class成分会在derived class自身成分之构造之前被构造，所以在不会引发多态。相同的道理也适用于析构函数。一旦derived class析构函数开始执行，对象内的derived class成员变量便呈现未定义值，因为先调用自身析构，后调用基类析构，所以也不会引发多态行为。

条款10：令operator=返回一个refernece to *this

这是一个协议.....可以实现连锁形式：x=y=z=15;

条款11：在operator=中处理自我赋值

下面我们来看一份代码：

foo & foo::operator=(const foo& rhs)
{
    delete vaule;
    value = new string(*rhs.value);
    return *this;
}

如果出现自我赋值，则立马会爆炸，因为delete value已经销毁了value，而后面又对其进行解引用。我们可以在销毁之前加一个证同测试，像下面这样，在销毁之前，先记住原来的value，如果缺少string *temp = value;这一行，将会导致内存泄漏。

foo& foo::operator(const foo& rhs)
{
    if(this != &rhs)
    {
        string * temp = value;
        value = new string(*rhs.value);
        delete temp;
    }
}

条款12：复制对象时勿忘其每一个成分

主要是在一个派生体系中，不要忘记调用所有base classe内的适当copying函数。

OVER.