笔记：Effective C++

03.const

1.const的修饰，mutable可以释放变量的const属性

记住就近原则

另外：

void f1(const Widget *pw);

void f2(Widget const *pw);

以上两者是等价的。

2.迭代器是以指针为根据塑造出来的，所以迭代器的作用就像个T*指针。声明迭代器为const就像声明指针为const一样(T* const)，表示迭代器本身不能被修改，即不能指向不同的东西，但它指向的值是可以改动的。如果你希望迭代器所指的东西不可被修改，那就需要使用const_iterator;

（1）const std::vector<int>::iterator iter = vec.begin()，这是T* const，指针不可以变，指向的内容可以变

（2）std::vector<int>::const_iterator cIter = vec.begin();这是const T*，指向的内容不可以改变

3.两个成员函数如果只是常量性不同，可以被重载。

4.函数后面加const

编译器会自动给每一个函数加一个this指针。在一个类的函数后面加上const后，就表明这个函数是不能改变类的成员变量的（加了mutable修饰的除外.实际上，也就是对这个this指针加上了const修饰。

04.确定对象被使用前先初始化

读取未初始化的值会导致不明确的行为，为此，永远在使用对象之前对其初始化。

内置类型（c part of c++）需要手动初始化，如：int x = 0;因为c++不保证初始化它们，对于(non-C parts of c++)会被进行默认的初始化

内置类型以为的，都是构造函数对其初始化。

C++规定，对象的成员变量的初始化动作发生在进入构造函数本体之前。因此如果构造函数在函数体内进行赋值，之此前，已经调用了default构造函数进行初始化，这是多余的。

更加高效的做法是：成员初始化列表(member initialization list)来替代赋值操作。

c++有着十分固定的“成员初始化次序”: base classes 更早于其drived classes被初始化，而class的成员变量总是以其声明的次序被初始化，与初始化列表中成员的次序无关。

staic对象与stack和heap-based对象不同，它应当是在数据区。被声明为static的对象。直到程序结束时才被销毁。

为避免“跨编译单元之初始化次序”问题，最好以local static（定义在函数内static 对象）来替代non-local static对象，因为不保证他们初始化的次序

05：了解c++默默编写并调用哪些函数

一个class,如果你自己没有声明，编译器会为它声明一个copy构造函数，一个copy assignment操作符和一个析构函数。所以这些函数都是public且inline,如果你没有声明任何构造函数，编译器也会为你声明一个default构造函数，注意：编译器产生的析构函数是个no-virtual函数，如果class的base class声明了virtual析构函数，才会被声明为virtual

class Empty {};
//等价如下
class Empty{
public:
Empty() {...}
Empty(const Empty & rhs){...}
~Empty(){...}
Empty& operator=(const Empty& rhs){....}
}

一旦你声明了一个构造函数，编译器就不会再为它创建default构造函数。

引用(reference)为对象起了另外一个名字，引用必须初始化，初始化时，引用和它的初始值绑定在一起，而不是将初始值拷贝给引用。一旦初始化完成，引用将和它的初始值绑定，引用无法再绑定到另外一个对象，因此必须初始化。

因此当编译器面对“内含const成员”和“内含reference成员”时，将不会为其够找copy assignment，你必须自己定义copy assignment

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

如果你不想使用编译器自动产生的copy构造函数和copy assignment操作，那么最好的方法就是“将成员函数声明为private且故意不实现它们”，编译器生成的是public函数，因此对象可以直接调用，声明为private，将无法调用，另外，由于你以及声明了自己的版本，编译器将不会在为你构造

07：为多态基类声明virtual析构函数

当drived class 对象经由一个base class指针被删除，而该base class带着non-virtual 析构函数，其结果未定义——实际调用的是base class的析构函数，只销毁base class部分，对象的derived成分没有被销毁。

解决的方法：任何class只要带有virtual函数都几乎确定应该有一个virtual析构函数。

但是：如果class不含有virtual函数，令其析构函数为virtual往往会带来额外的问题

class Point{
public:
    Point(int xCoord, int yCoord);
    ～Point();
private:
    int x, y;
};

没有带vitual，那么该clas Point可以被认为是一个64bits的对象。但如果Point的析构函数是virtual，那么就不再是64bits

为了实现virtual函数，对象必须携带某些信息，主要用来在运行期决定哪个virtual函数该被调用。由vptr(virtual table pointer)指针指出。vptr指向一个由函数指针构成的数据(vtbl:virtual table)；每一个带有virtual函数的class都有一个相应的vtbl。

因此，内含virtual函数的class，其对象的体积会增加。这样Point对象不再能够塞入一个64bit的缓冲器。

结论：只有当class内含有至少 virtual函数，才为它声明virtual析构函数

class AWOV {
public:
    virtual ~AWOV() = 0;
};

这个class有一个pure virtual函数，所以它是个抽象class，又由于它有个virtual析构函数，因此不用担心上述的析构函数问题。但注意： 必须为这个pure virtual析构函数提供一份定义：

AWOV::~AWOV(){}//pure virtual析构函数的定义

析构函数被调用的次序与构造函数被调用的次序刚好相反，析构函数：最深层次的派生(most drived)的那个class其析构函数最先被调用，然后是其每一个base class的析构函数被调用。

08:别让异常逃离析构函数

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

base class构造期间virtual函数绝不会下降到derived classes阶层。取而代之的是，对象的作为就像录属base类型一样。在base class构造期间，virtual函数不是virtual函数。

理由：base class的构造函数的执行更早于derived class构造函数，如果此时下降到derived class，derived class中的成员变量还没有别构造，显然是错误的。

10：令operator=返回一个reference to *this

Widget& operator=(const Widget& rhs){
   ...
   return *this;
}

这是一个协议，不仅适合=，也适合+=, -=, *=等等

11：在operator=中处理“自我赋值”

指针，引用，常常会为一个对象带来一个别名，“有一个以上的方法指称某对象”，有时base class的reference或指针可以指向一个derived class对象，这也有可能是别名

那么赋值x=y就有可能是自我赋值。自我复制会带来一些不安全的操作，比如先释放x,然后为其赋值，明显错误。

<pre name="code" class="cpp">Widget& Widget::operator=(const Widget& rhs){
 Bitmap *pOrig = pb;
 pb = new Bitmap(*rhs.pb);
 delete pOrig;
 return *this;
}

先检测是否为自我赋值操作，但更好的方式如上述

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

如果你不使用编译器提供的copying函数，自己提供copying函数，那么当你的copying函数有明显的错误时，编译器也不会报错。

因此，如果你为class添加一个成员变量，你必须同时修改copying函数。

每当“为derived class 撰写copying函数”时，必须小心地复制其base class成分。那部分往往是private，应该让derived class的copying函数调用相应的base class函数。因此编写coying函数：

（1）复制所有local成员变量

（2）调用所有base classes内的适当的copying函数

13：以对象管理资源

把资源放进对象内，我们便可依赖C++的“析构函数自动调用机制”确保资源被释放.

auto_ptr是个“类指针对象”即“智能指针”，其析构函数自动对其所指对象调用delete。

void f() {
    std::auto_ptr<Inverstment> pInv(createIverstment());

    std::auto_ptr<Inverstment> pInv2(pInv1);//pInv2指向对象，pInv1被设为null

    pInv1 = pInv2;//pInv1指向对象，pInv2被设为null
}

auto_ptr被销毁时会自动删除它所指之物，所以一定要注意别让多个auto_ptr同时指向同一个对象。

注意：若通过copy构造函数或copy assignment操作符复制它们，它们会变成NULL，而复制所得的指针将取得资源的唯一拥有权。

tr1::shared_ptr是RCSP，所谓RCSP也是智能指针，持续追踪共有多少对象指向某笔资源，并在无人指向它时自动删除该资源。tr1::shared_ptr不会像auto_ptr那样出想copy的异常反应。

14:在资源管理类中小心copying行为

16：成对使用new和delete时要采取相同形式
当你使用new(动态生成一个对象时)，有两件事情发生。第一，内存被分配出来。第二，针对次内存会有一个（或更多）构造函数被调用。

当使用delete时，也有两件事情会发生，第一，针对次内存会有一个（或者多个）析构函数被调用，然后内存才被释放。

数组所用的内存通常还包括“数组大小”的记录，以便需要知道调用多少次析构函数，单一的内存则没有这笔记录。

如果你new时调用了[ ]，那么你在delete时，也要使用[ ]，告诉编译器，它是一个数组，需要多次调用析构函数。如果new不使用[ ]，delete也不应该使用

18：让接口容易被正确使用，不易被误用

除非有好的理由，否则应该尽量令你的types的行为与内置types一致。