Note Of Effective C++ And More Effective C++

这个文件包含了三本书的详细知识点，想要快速过一下的话可以看这个文件

Effective C++

一、让自己习惯C++ (Accustoming Yourself to C++ 11)

1. 视C++ 为一个语言联邦 11（View C++ as a federation of languages 11)

主要是因为C++是从四个语言发展出来的：
C的代码块({}), 语句，数据类型等，
object-C的class，封装继承多态，virtual动态绑定等，
template C++的泛型
STL：容器，迭代器，算法，函数对象等

因此当这四个子语言相互切换的时候，可以更多地考虑高效编程，例如pass-by-value和pass-by-reference在不同语言中效率不同

总结：

C++高效编程守则视状况而变化，取决于使用哪个子语言

2. 尽量以const, enum, inline替换#define（Prefer consts,enums, and inlines to #defines)

实际是：应该让编译器代替预处理器定义，因为预处理器定义的变量并没有进入到symbol table里面。编译器有时候会看不到预处理器定义

所以用

const double Ratio = 1.653;

来代替

#define Ratio 1.653

实际上在这个转换中还要考虑到指针，例如需要把指针写成const char* const authorName = "name";而不是只用一个const

以及在class类里面的常量，为了防止被多次拷贝，需要定义成类的成员（添加static）例如

class GamePlayer{
    static const int numT = 5;
}

对于类似函数的宏，最好改用inline函数代替，例如：

#define CALL_WITH_MAX(a, b) f((a) > (b) ? (a) : (b))
template<typename T>
inline void callWithMax(const T& a, const T& b){
    f(a > b ? a : b);
}

总结：

对于单纯的常量，最好用const和enums替换#define，对于形似函数的宏，最好改用inline函数替换#define

3. 尽可能使用const（Use const whenever possible.)

const 出现在星号左边，表示被指物是常量，如果出现在星号右边，表示指针本身是常量，如果出现在星号两边，表示被指物和指针都是常量

const最强的用法是在函数声明时，如果将返回值设置成const，或者返回指针设置成const，可以避免很多用户错误造成的意外。

概念上的const：

考虑这样一段代码
class CTextBlock{
    public:
        char& operator[](std::size_t position)const{
            return pText[position];
        }
    private:
        char *pText;
}
const CTextBlock cctb("Hello");
char *pc = &cctb[0];
*pc = 'J'
这种情况下不会报错，但是一方面声明的时候说了是const，一方面还修改了值。这种逻辑虽然有问题但是编译器并不会报错

但是const使用过程中会出现想要修改某个变量的情况，而另外一部分代码确实不需要修改。这个时候最先想到的方法就是重载一个非const版本。但是还有其他的方法，例如将非const版本的代码调用const的代码

总结：

将某些东西声明为const可以帮助编译器检查出错误。
编译器强制实施bitwise constneww，但是编写程序的时候应该使用概念上的常量性。
当const和非const版本有着实质等价的实现时，让非const版本调用const版本可以避免代码重复

4. 确定对象被使用前已先被初始化（Make sure that objects are initialized before they're used)

对于C++中的C语言来说，初始化变量有可能会导致runtime的效率变低，但是C++部分应该手动保证初始化，否则会出现很多问题。

初始化的函数通常在构造函数上（注意区分初始化和赋值的关系，初始化的效率高，赋值的效率低，而且这些初始化是有次序的，base classes更早于他们的派生类（参看C++ primer 二刷笔记

除了这些以外，如果我们有两个文件A和B，需要分别编译，A构造函数中用到了B中的对象，那么初始化A和B的顺序就很重要了，这些变量称为（non-local static对象）

解决方法是：将每个non-local static对象搬到自己专属的函数内，并且该对象被声明为static，然后这些函数返回一个reference指向他所含的对象，用户调用这些函数，而不直接涉及这些对象（Singleton模式手法）：

原代码：
"A.h"
class FileSystem{
    public:
        std::size_t numDisks() const;
};
extern FileSystem tfs;
"B.h"
class Directory{
    public:
        Directory(params){
            std::size_t disks = tfs.numDisks(); //使用tfs
        }
}
Director tempDir(params);
修改后：
"A.h"
class FileSystem{...}    //同前
FileSystem& tfs(){       //这个函数用来替换tfs对象，他在FileSystem class 中可能是一个static，            
    static FileSystem fs;//定义并初始化一个local static对象，返回一个reference
    return fs;
}
"B.h"
class Directory{...}     // 同前
Directory::Directory(params){
    std::size_t disks = tfs().numDisks();
}
Directotry& tempDir(){   //这个函数用来替换tempDir对象，他在Directory class中可能是一个static，
    static Directory td; //定义并初始化local static对象，返回一个reference指向上述对象
    return td;
}

这样做的原理在于C++对于函数内的local static对象会在“该函数被调用期间，且首次遇到的时候”被初始化。当然我们需要避免“A受制于B，B也受制于A”

总结：

为内置型对象进行手工初始化，因为C++不保证初始化他们
构造函数最好使用初始化列初始化而不是复制，并且他们初始化时有顺序的
为了免除跨文件编译的初始化次序问题，应该以local static对象替换non-local static对象

二、构造/析构/赋值运算 (Constructors, Destructors, and Assignment Operators)

5. 了解C++ 那些自动生成和调用的函数（Know what functions C++ silently writes and calls)

总结：

编译器可以自动为class生成default构造函数，拷贝构造函数，拷贝赋值操作符，以及析构函数

6. 若不想使用编译器自动生成的函数，就该明确拒绝（Explicitly disallow the use of compiler-generated functions you do not want)

这一条主要是针对类设计者而言的，有一些类可能从需求上不允许两个相同的类，例如某一个类表示某一个独一无二的交易记录，那么编译器自动生成的拷贝和复制函数就是无用的，而且是不想要的

总结：

可以将不需要的默认自动生成函数设置成delete的或者弄一个private的父类并且继承下来

7. 为多态基类声明virtual析构函数（Declare destructors virtual in polymorphic base classes)

其主要原因是如果基类没有virtual析构函数，那么派生类在析构的时候，如果是delete 了一个base基类的指针，那么派生的对象就会没有被销毁，引起内存泄漏。例如：

class TimeKeeper{
    public:
    TimeKeeper();
    ~TimeKeeper();
    virtual getTimeKeeper();
}
class AtomicClock:public TimeKeeper{...}
TimeKeeper *ptk = getTimeKeeper();
delete ptk;

除析构函数以外还有很多其他的函数，如果有一个函数拥有virtual 关键字，那么他的析构函数也就必须要是virtual的，但是如果class不含virtual函数,析构函数就不要加virtual了，因为一旦实现了virtual函数，那么对象必须携带一个叫做vptr(virtual table pointer)的指针，这个指针指向一个由函数指针构成的数组，成为vtbl（virtual table），这样对象的体积就会变大，例如：

class Point{
    public://析构和构造函数
    private:
    int x, y
}

本来上面那个代码只占用64bits(假设一个int是32bits)，存放一个vptr就变成了96bits，因此在64位计算机中无法塞到一个64-bits缓存器中，也就无法移植到其他语言写的代码里面了。

总结：

如果一个函数是多态性质的基类，应该有virtual 析构函数
如果一个class带有任何virtual函数，他就应该有一个virtual的析构函数
如果一个class不是多态基类，也没有virtual函数，就不应该有virtual析构函数

8. 别让异常逃离析构函数（Prevent exceptions from leaving destructors)

这里主要是因为如果循环析构10个Widgets，如果每一个Widgets都在析构的时候抛出异常，就会出现多个异常同时存在的情况，这里如果把每个异常控制在析构的话就可以解决这个问题：解决方法为：

原代码：

class DBConn{
public:
    ~DBConn(){
        db.close();
    }
private:
    DBConnection db;
}

修改后的代码：

class DBConn{
public:
    void close(){
        db.close();
        closed = true;
    }

    ~DBConn(){
        if(!closed){
            try{
                db.close();
            }
            catch(...){
                std::abort();
            }
        }
    }
private:
    bool closed;
    DBConnection db;
}

这种做法就可以一方面将close的的方法交给用户，另一方面在用户忽略的时候还能够做“强迫结束程序”或者“吞下异常”的操作。相比较而言，交给用户是最好的选择，因为用户有机会根据实际情况操作异常。

总结：

析构函数不要抛出异常，因该在内部捕捉异常
如果客户需要对某个操作抛出的异常做出反应，应该将这个操作放到普通函数（而不是析构函数）里面

9. 绝不在构造和析构过程中调用virtual函数（Never call virtual functions during construction or destruction)

主要是因为有继承的时候会调用错误版本的函数，例如

原代码：

class Transaction{
public:
    Transaction(){
        logTransaction();
    }
    Virtual void logTransaction const() = 0;
};
class BuyTransaction:public Transaction{
    public:
        virtual void logTransaction() const;
};
BuyTransaction b;

或者有一个更难发现的版本：

class Transaction{
public:
    Transaction(){init();}
    virtual void logTransaction() const = 0;
private:
    void init(){
        logTransaction();
    }
};

这个时候代码会调用 Transaction 版本的logTransaction，因为在构造函数里面是先调用了父类的构造函数，所以会先调用父类的logTransaction版本，解决方案是不在构造函数里面调用，或者将需要调用的virtual弄成non-virtual的

修改以后：

class Transaction{
public:
    explicit Transaction(const std::string& logInfo);
    void logTransaction(const std::string& logInfo) const; //non-virtual 函数
}
Transaction::Transaction(const std::string& logInfo){
    logTransaction(logInfo); //non-virtual函数
}
class BuyTransaction: public Transaction{
public:
    BuyTransaction(parameters):Transaction(createLogString(parameters)){...} //将log信息传递给base class 构造函数
private:
    static std::string createLogString(parameters); //注意这个函数是用来给上面那个函数初始化数据的，这个辅助函数的方法
}

总结：

在构造和析构期间不要调用virtual函数，因为这类调用从不下降至派生类的版本

**10. 令operator= 返回一个reference to this （Have assignment operators return a reference to this)

主要是为了支持连读和连写，例如：

class Widget{
public:
    Widget& operator=(int rhs){return *this;}
}
a = b = c;

11. 在operator= 中处理“自我赋值” （Handle assignment to self in operator=)

主要是要处理 a[i] = a[j] 或者 *px = *py这样的自我赋值。有可能会出现一场安全性问题，或者在使用之前就销毁了原来的对象，例如

原代码：

class Bitmap{...}
class Widget{
private:
    Bitmap *pb;
};
Widget& Widget::operator=(const Widget& rhs){
    delete pb; // 当this和rhs是同一个对象的时候，就相当于直接把rhs的bitmap也销毁掉了
    pb = new Bitmap(*rhs.pb);
    return *this;
}

修改后的代码

class Widget{
    void swap(Widget& rhs);    //交换this和rhs的数据
};
Widget& Widget::operator=(const Widget& rhs){
    Widget temp(rhs)           //为rhs数据制作一个副本
    swap(temp);                //将this数据和上述副本数据交换
    return *this;
}//出了作用域，原来的副本销毁

或者有一个效率不太高的版本： Widget& Widget::operator=(const Widget& rhs){ Bitmap *pOrig = pb; //记住原先的pb pb = new Bitmap(*rhs.pb); //令pb指向 *pb的一个副本 delete pOrig; //删除原先的pb return *this; }

总结：

确保当对象自我赋值的时候operator=有比较良好的行为，包括两个对象的地址，语句顺序，以及copy-and-swap
确定任何函数如果操作一个以上的对象，而其中多个对象可能指向同一个对象时，仍然正确

12. 复制对象时勿忘其每一个成分（Copy all parts of an object)

总结：

当编写一个copy或者拷贝构造函数，应该确保复制成员里面的所有变量，以及所有基类的成员
不要尝试用一个拷贝构造函数调用另一个拷贝构造函数，如果想要精简代码的话，应该把所有的功能机能放到第三个函数里面，并且由两个拷贝构造函数共同调用
当新增加一个变量或者继承一个类的时候，很容易出现忘记拷贝构造的情况，所以每增加一个变量都需要在拷贝构造里面修改对应的方法

三、资源管理 (Resource Management)

13. 以对象管理资源（Use objects to manage resources)

主要是为了防止在delete语句执行前return，所以需要用对象来管理这些资源。这样当控制流离开f以后，该对象的析构函数会自动释放那些资源。例如shared_ptr就是这样的一个管理资源的对象。他是在自己的析构函数里面做delete操作。所以如果自己需要管理资源的时候，也要在类内进行delete，通过对象来管理资源

总结：

建议使用shared_ptr
如果需要自定义shared_ptr，请通过定义自己的资源管理类来对资源进行管理

14. 在资源管理类中小心copying行为（Think carefully about copying behavior in resource-managing classes)

在资源管理类里面，如果出现了拷贝复制行为的话，需要注意这个复制具体的含义，从而保证和我们想要的效果一样

思考下面代码在复制中会发生什么：

class Lock{
public:
    explicit Lock(Mutex *pm):mutexPtr(pm){
        lock(mutexPtr);//获得资源锁
    }
    ~Lock(){unlock(mutexPtr);}//释放资源锁
private:
    Mutex *mutexPtr;
}
Lock m1(&m)//锁定m
Lock m2(m1);//好像是锁定m1这个锁。。而我们想要的是除了复制资源管理对象以外，还想复制它所包括的资源（deep copy）。通过使用shared_ptr可以有效避免这种情况。

需要注意的是：copy函数有可能是编译器自动创建出来的，所以在使用的时候，一定要注意自动生成的函数是否符合我们的期望

总结;

复制RAII对象（Resource Acquisition Is Initialization）必须一并复制他所管理的资源（deep copy）
普通的RAII做法是：禁止拷贝，使用引用计数方法

15. 在资源管理类中提供对原始资源的访问（Provide access to raw resources in resource-managing classes)

例如：shared_ptr<>.get()这样的方法，或者->和*方法来进行取值。但是这样的方法可能稍微有些麻烦，有些人会使用一个隐式转换，但是经常会出错：

class Font; class FontHandle;
void changeFontSize(FontHandle f, int newSize){    }//需要调用的API

Font f(getFont());
int newFontSize = 3;
changeFontSize(f.get(), newFontSize);//显式的将Font转换成FontHandle

class Font{
    operator FontHandle()const { return f; }//隐式转换定义
}
changeFontSize(f, newFontSize)//隐式的将Font转换成FontHandle
但是容易出错，例如
Font f1(getFont());
FontHandle f2 = f1;就会把Font对象换成了FontHandle才能复制

总结：

每一个资源管理类RAII都应该有一个直接获得资源的方法
隐式转换对客户比较方便，显式转换比较安全，具体看需求

16. 成对使用new和delete时要采取相同形式（Use the same form in corresponding uses of new and delete)

总结：

即：使用new[]的时候要使用delete[], 使用new的时候一定不要使用delete[]

17. 以独立语句将new的对象置入智能指针（Store newed objects in smart pointers in standalone statements)

主要是会造成内存泄漏，考虑下面的代码：

int priority();
void processWidget(shared_ptr<Widget> pw, int priority);
processWidget(new Widget, priority());// 错误，这里函数是explicit的，不允许隐式转换（shared_ptr需要给他一个普通的原始指针
processWidget(shared_ptr<Widget>(new Widget), priority()) // 可能会造成内存泄漏

内存泄漏的原因为：先执行new Widget，再调用priority， 最后执行shared_ptr构造函数，那么当priority的调用发生异常的时候，new Widget返回的指针就会丢失了。当然不同编译器对上面这个代码的执行顺序不一样。所以安全的做法是：

shared_ptr<Widget> pw(new Widget)
processWidget(pw, priority())

总结：

凡是有new语句的，尽量放在单独的语句当中，特别是当使用new出来的对象放到智能指针里面的时候

四、设计与声明 (Designs and Declarations)

18. 让接口容易被正确使用，不易被误用（Make interfaces easy to use correctly and hard to use incorrectly)

要思考用户有可能做出什么样子的错误，考虑下面的代码：

Date(int month, int day, int year);
这一段代码可以有很多问题，例如用户将day和month顺序写反（因为三个参数都是int类型的），可以修改成：
Date(const Month &m, const Day &d, const Year &y);//注意这里将每一个类型的数据单独设计成一个类，同时加上const限定符
为了让接口更加易用，可以对month加以限制，只有12个月份
class Month{
    public:
    static Month Jan(){return Month(1);}//这里用函数代替对象，主要是方式第四条：non-local static对象的初始化顺序问题
}

而对于一些返回指针的问题函数，例如：
Investment *createInvestment();//智能指针可以防止用户忘记delete返回的指针或者delete两次指针，但是可能存在用户忘记使用智能指针的情况，那么方法：
std::shared_ptr<Investment> createInvestment();就可以强制用户使用智能指针，或者更好的方法是另外设计一个函数：
std::shared_ptr<Investment>pInv(0, get)

总结：

“促进正确使用”的办法包括接口的一致性，以及与内置类型的行为兼容
“阻止误用”的办法包括建立新类型、限制类型上的操作，束缚对象值，以及消除客户的资源管理责任
shared_ptr支持定制删除器，从而防范dll问题，可以用来解除互斥锁等

19. 设计class犹如设计type （Treat class design as type design)

如何设计class：

新的class对象应该被如何创建和构造
对象的初始化和赋值应该有什么样的差别（不同的函数调用，构造函数和赋值操作符）
新的class如果被pass by value（以值传递），意味着什么（copy构造函数）
什么是新type的“合法值”（成员变量通常只有某些数值是有效的，这些值决定了class必须维护的约束条件）
新的class需要配合某个继承图系么（会受到继承类的约束）
新的class需要什么样的转换（和其他类型的类型变换）
什么样的操作符和函数对于此type而言是合理的（决定声明哪些函数，哪些是成员函数）
什么样的函数必须为private的
新的class是否还有相似的其他class，如果是的话就应该定义一个class template
你真的需要一个新type么？如果只是定义新的derived class或者为原来的class添加功能，说不定定义non-member函数或者templates更好

20. 以pass-by-reference-to-const替换pass-by-value （Prefer pass-by-reference-to-const to pass-by-value)

主要是可以提高效率，同时可以避免基类和子类的参数切割问题

bool validateStudent(const Student &s);//省了很多构造析构拷贝赋值操作
bool validateStudent(s);

subStudent s;
validateStudent(s);//调用后,则在validateStudent函数内部实际上是一个student类型，如果有重载操作的话会出现问题

对于STL等内置类型，还是以值传递好一些

21. 必须返回对象时，别妄想返回其reference （Don't try to return a reference when you must return an object)

主要是很容易返回一个已经销毁的局部变量，如果想要在堆上用new创建的话，则用户无法delete，如果想要在全局空间用static的话，也会出现大量问题,所以正确的写法是：

inline const Rational operator * (const Rational &lhs, const Rational &rhs){
    return Rational(lhs.n * rhs.n, lhs.d * rhs.d);
}

当然这样写的代价就是成本太高，效率会比较低

22. 将成员变量声明为private （Declare data members private)

应该将成员变量弄成private，然后用过public的成员函数来访问他们，这种方法的好处在于可以更精准的控制成员变量，包括控制读写，只读访问等。

同时，如果public的变量发生了改变，如果这个变量在代码中广泛使用，那么将会有很多代码遭到了破坏，需要重新写

另外protected 并不比public更具有封装性，因为protected的变量，在发生改变的时候，他的子类代码也会受到破坏

23. 以non-member、non-friend替换member函数（Prefer non-member non-friend functions to member functions)

区别如下：

class WebBrowser{
    public:
    void clearCache();
    void clearHistory();
    void removeCookies();
}

member 函数：
class WebBrowser{
    public:
    ......
    void clearEverything(){ clearCache(); clearHistory();removeCookies();}
}

non-member non-friend函数：
void clearBrowser(WebBrowser& wb){
    wb.clearCache();
    wb.clearHistory();
    wb.removeCookies();
}

这里的原因是：member可以访问class的private函数，enums，typedefs等，但是non-member函数则无法访问上面这些东西，所以non-member non-friend函数更好

这里还提到了namespace的用法，namespace可以用来对某些便利函数进行分割，将同一个命名空间中的不同类型的方法放到不同文件中(这也是C++标准库的组织方式，例如：

"webbrowser.h"
namespace WebBrowserStuff{
    class WebBrowser{...};
    //所有用户需要的non-member函数
}

"webbrowserbookmarks.h"
namespace WebBrowserStuff{
    //所有与书签相关的便利函数
}

24. 若所有参数皆需类型转换，请为此采用non-member函数（Declare non-member functions when type conversions should apply to all parameters)

例如想要将一个int类型变量和Rational变量做乘法，如果是成员函数的话，发生隐式转换的时候会因为不存在int到Rational的类型变换而出错：

class Rational{
    public:
    const Rational operator* (const Rational& rhs)const;
}
Rational oneHalf;
result = oneHalf * 2;
result = 2 * oneHalf;//出错，因为没有int转Rational函数

non-member函数
class Rational{}
const Rational operator*(const Rational& lhs, const Rational& rhs){}

25. 考虑写出一个不抛异常的swap函数（Consider support for a non-throwing swap)

写出一个高效、不容易发生误会、拥有一致性的swap是比较困难的，下面是对比代码：

修改前代码：
class Widget{
    public:
    Widget& operator=(const Widget& rhs){
        *pImpl = *(rhs.pImpl);//低效
    }
    private:
    WidgetImpl* pImpl;
}

修改后代码：
namespace WidgetStuff{
    template<typename T>
    class Widget{
        void swap(Widget& other){
            using std::swap;      //此声明是std::swap的一个特例化，
            swap(pImpl, other.pImpl);
        }
    };
    ...
    template<typename T>           //non-member swap函数
    void swap(Widget<T>& a, Widget<T>& b){//这里并不属于 std命名空间
        a.swap(b);
    }    
}

总结：

当std::swap对我们的类型效率不高的时候，应该提供一个swap成员函数，且保证这个函数不抛出异常（因为swap是要帮助class提供强烈的异常安全性的）
如果提供了一个member swap，也应该提供一个non-member swap调用前者，对于classes（而不是templates），需要特例化一个std::swap
调用swap时应该针对std::swap使用using std::swap声明，然后调用swap并且不带任何命名空间修饰符
不要再std内加对于std而言是全新的东西（不符合C++标准）

五、实现 (Implementations)

26. 尽可能延后变量定义式的出现时间（Postpone variable definitions as long as possible)

主要是防止变量在定义以后没有使用，影响效率，应该在用到的时候再定义，同时通过default构造而不是赋值来初始化

27. 尽量不要进行强制类型转换（Minimize casting)

主要是因为：

1.从int转向double容易出现精度错误

2.将一个类转换成他的父类也容易出现问题

总结：

尽量避免转型，特别是在注重效率的代码中避免dynamic_cast，试着用无需转型的替代设计
如果转型是必要的，试着将他封装到韩束背后，让用户调用该函数，而不需要在自己的代码里面转型
如果需要转型，使用新式的static_cast等转型，比原来的（int）好很多（更明显，分工更精确）

28. 避免返回handles指向对象内部成分（Avoid returning "handles" to object internals)

主要是为了防止用户误操作返回的值：

修改前代码：
class Rectangle{
    public:
    Point& upperLeft() const { return pData->ulhc; }
    Point& lowerRight() const { return pData->lrhc; }
}
如果修改成：
class Rectangle{
    public:
    const Point& upperLeft() const { return pData->ulhc; }
    const Point& lowerRight() const { return pData->lrhc; }
}
则仍然会出现悬吊的变量，例如：
const Point* pUpperLeft = &(boundingBox(*pgo).upperLeft());

boundingBox会返回一个temp的新的，暂时的Rectangle对象，在这一整行语句执行完以后，temp就变成空的了，就成了悬吊的变量

总结：

尽量不要返回指向private变量的指针引用等
如果真的要用，尽量使用const进行限制，同时尽量避免悬吊的可能性

29. 为“异常安全”而努力是值得的（Strive for exception-safe code)

异常安全函数具有以下三个特征之一：

如果异常被抛出，程序内的任何事物仍然保持在有效状态下，没有任何对象或者数据结构被损坏，前后一致。在任何情况下都不泄露资源，在任何情况下都不允许破坏数据，一个比较典型的反例：
如果异常被抛出，则程序的状态不被改变，程序会回到调用函数前的状态
承诺绝不抛出异常

原函数： class PrettyMenu{ public: void changeBackground(std::istream& imgSrc); //改变背景图像 private: Mutex mutex; // 互斥器 };

void changeBackground(std::istream& imgSrc){ lock(&mutex); //取得互斥器 delete bgImage; //摆脱旧的背景图像 ++imageChanges; //修改图像的变更次数 bgImage = new Image(imgSrc);//安装新的背景图像 unlock(&mutex); //释放互斥器 } 当异常抛出的时候，这个函数就存在很大的问题：
不泄露任何资源：当new Image(imgSrc)发生异常的时候，对unlock的调用就绝不会执行，于是互斥器就永远被把持住了
不允许数据破坏：如果new Image(imgSrc)发生异常，bgImage就是空的，而且imageChanges也已经加上了

修改后代码： void PrettyMenu::changeBackground(std::istream& imgSrc){ Lock ml(&mutex); //Lock是第13条中提到的用对象管理资源的类 bgImage.reset(new Image(imgSrc)); ++imageChanges; //放在后面 }

总结：

异常安全函数的三个特征
第二个特征往往能够通过copy-and-swap实现出来，但是并非对所有函数都可实现或具备现实意义
函数提供的异常安全保证，通常最高只等于其所调用各个函数的“异常安全保证”中最弱的那个。即函数的异常安全保证具有连带性

30. 透彻了解inlining （Understand the ins and outs of inlining)

inline 函数的过度使用会让程序的体积变大，内存占用过高

而编译器是可以拒绝将函数inline的，不过当编译器不知道该调用哪个函数的时候，会报一个warning

尽量不要为template或者构造函数设置成inline的，因为template inline以后有可能为每一个模板都生成对应的函数，从而让代码过于臃肿同样的道理，构造函数在实际的过程中也会产生很多的代码，例如下面的：

class Derived : public Base{
    public:
    Derived(){} // 看起来是空白的构造函数
}
实际上：
Derived::Derived{
    //100行异常处理代码
}

31. 将文件间的编译依存关系降至最低（Minimize compilation dependencies between files)

这个关系其实指的是一个文件包含另外一个文件的类定义等

那么如何实现解耦呢,通常是将实现定义到另外一个类里面，如下：

原代码：
class Person{
private
    Dates m_data;
    Addresses m_addr;
}

添加一个Person的实现类，定义为PersonImpl，修改后的代码：
class PersonImpl;
class Person{
    private:
    shared_ptr<PersonImpl> pImpl;
}

在上面的设计下,就实现了解耦，即“实现和接口分离”

与此相似的接口类还可以使用全虚函数

class Person{
    public:
    virtual ~Person();
    virtual std::string name() const = 0;
    virtual std::string birthDate() const = 0;
}

然后通过继承的子类来实现相关的方法

这种情况下这些virtual函数通常被成为factory工厂函数

总结：

应该让文件依赖于声明而不依赖于定义，可以通过上面两种方法实现
程序头文件应该有且仅有声明

六、继承与面向对象设计 (Inheritance and Object-Oriented Design)

32. 确定你的public继承塑模出is-a关系（Make sure public inheritance models "is-a.")

public类继承指的是单向的更一般化的，例如：

class Student : public Person{...};

其意义指的是student是一个person，但是person不一定是一个student。

这里经常会出的错误是，将父类可能不存在的功能实现出来，例如：

class Bird{
    virtual void fly();
}
class Penguin:public Bird{...};//企鹅是不会飞的

这个时候就需要通过设计来排除这种错误，例如通过定义一个FlyBird

总结：

public继承中，意味着每一个Base class的东西一定适用于他的derived class

33. 避免遮掩继承而来的名称（Avoid hiding inherited names)

举例： class Base{ public: virtual void mf1() = 0; virtual void mf1(int); virtual void mf2(); void mf3(); void mf3(double); } class Derived:public Base{ public: virtual void mf1(); void mf3(); }

这种问题可以通过

using Base::mf1;
或者
virtual void mf1(){//转交函数
    Base::mf1();
}
来解决，但是尽量不要出现这种遮蔽的行为

总结：

derived class 会遮蔽Base class的名称
可以通过using 或者转交函数来解决

34. 区分接口继承和实现继承（Differentiate between inheritance of interface and inheritance of implementation)

pure virtual 函数式提供了一个接口继承，当一个函数式pure virtual的时候，意味着所有的实现都在子类里面实现。不过pure virtual也是可以有实现的，调用他的实现的方法是在调用前加上基类的名称：

class Shape{
    virtual void draw() const = 0;
}
ps->Shape::draw();

总结：

接口继承和实现继承不同，在public继承下，derived classes总是继承base的接口
pure virtual函数只具体指定接口继承
简朴的（非纯）impure virtual函数具体指定接口继承以及缺省实现继承
non-virtual函数具体指定接口继承以及强制性的实现继承

35. 考虑virtual函数以外的其他选择（Consider alternatives to virtual functions)

NVI手法：通过public non-virtual成员函数间接调用private virtual函数，即所谓的template method设计模式：

class GameCharacter{
public:
    int healthValue() const{
        //做一些事前工作
        int retVal = doHealthValue();
        //做一些事后工作
        return retVal;
    }
private:
    virtual int doHealthValue() const{
        ...                   //缺省算法，计算健康函数
    }
}

这种方法的优点在于事前工作和事后工作，这些工作能够保证virtual函数在真正工作之前之后被单独调用

但是这种方法只是一种替代方法，另外的方法还有：函数指针（strategy设计模式

class GameCharacter; // 前置声明
int defaultHealthCalc(const GameCharacter& gc);
class GameCharacter{
public:
    typedef int (*HealthCalcFunc)(const GameCharacter&);//函数指针
    explicit GameCHaracter(HealthCalcFunc hcf = defaultHealthCalc):healthFunc(hcf){}//可以换一个函数的
    int healthValue()const{return healthFunc(*this);}
private:
    HealthCalcFunc healthFunc;
}

如果将函数指针换成函数对象的话，会有更具有弹性的效果：

typedef std::tr1::function<int (const GameCharacter&)> HealthCalcFunc;
在这种情况下，HealthCalcFunc是一个typedef，他的行为更像一个函数指针，表示“接受一个reference指向const GameCharacter，并且返回int*”，

总结：这一节表示当我们为了解决问题而寻找某个特定设计方法时，不妨考虑virtual函数的替代方案

使用NVI手法，他是用public non-virtual成员函数包裹较低访问性（private和protected）的virtual函数
将virtual函数替换成“函数指针成员变量”，这是strategy设计模式的一种表现形式
以tr1::function成员变量替换virtual函数，因而允许使用任何可调用物（callable entity）搭配一个兼容与需求的签名式
将继承体系内的virtual函数替换成另一个继承体系内的virtual函数
将机能从成员函数移到class外部函数，带来的一个缺点是：非成员函数无法访问class的non-public成员
tr1::function对象就像一般函数指针，这样的对象可接纳“与给定之目标签名式兼容”的所有可调用物（callable entities）

36. 绝不重新定义继承而来的non-virtual函数（Never redefine an inherited non-virtual function)

主要是考虑一下的代码： class B{ public: void mf(); } class D : public B{ public: void mf(); };

D x;

B *pB = &x; pB->mf(); //调用B版本的mf
D *pD = &x; pD->mf(); // 调用D版本的mf

即使不考虑这种代码层的差异，如果这样重定义的话，也不符合之前的“每一个D都是一个B”的定义

37. 绝不重新定义继承而来的缺省参数值（Never redefine a function's inherited default parameter value)

原代码：

class Shape{
public:
    enum ShapeColor {Red, Green, Blue};
    virtual void draw(ShapeColor color=Red)const = 0;
};
class Rectangle : public Shape{
public:
    virtual void draw(ShapeColor color=Green)const;//和父类的默认参数不同
}
Shape* pr = new Rectangle; // 注意此时pr的静态类型是Shape，但是他的动态类型是Rectangle
pr->draw(); //virtual函数是动态绑定，而缺省参数值是静态绑定，所以会调用Red

38. 通过复合塑模出has-a或"根据某物实现出" （Model "has-a" or "is-implemented-in-terms-of" through composition)

复合：一个类里面有另外一个类的成员，那么这两个类的成员关系就叫做复合（或称聚合，内嵌，内含等）。我们认为复合的关系是“has a”的概念，

例如：set并不是一个list，但是set可以has a list：

template<class T>
class Set{
public: 
    void insert();
    //.......
private:
    std::list<T> rep;
}

总结：

复合（composition）的意义和public继承完全不同
在应用域（application domain），复合意味着has a，在实现域（implementation domain），复合意味着 is implemented-in-terms-of

39. 明智而审慎地使用private继承（Use private inheritance judiciously)

因为private继承并不是is-a的关系，即有一部分父类的private成员是子类无法访问的，而且经过private继承以后，子类的所有成员都是private的，意思是is implemented in terms of（根据某物实现出），有点像38条的复合。所以大部分时间都可以用复合代替private继承。

当我们需要两个并不存在“is a”关系的类，同时一个类需要访问另一个类的protected成员的时候，我们可以使用private继承

总结：

private 继承意味着is implemented in terms of，通常比复合的级别低，但是当derived class 需要访问protect base class 的成员，或者需要重新定义继承而来的virtual函数时，这么设计是合理的。
和复合不同，private继承可以造成empty base最优化，这对致力于“对象尺寸最小化”的程序库开发者而言，可能很重要

40. 明智而审慎地使用多重继承（Use multiple inheritance judiciously)

多重继承很容易造成名字冲突：

class BorrowableItem{
    public:
    void checkOut();
};
class ElectronicGadget{
    bool checkOut()const;
};
class MP3Player:public BorrowableItem, public ElectronicGadget{...};
MP3Player mp;
mp.checkOut();//歧义，到底是哪个类的函数
只能使用：
mp.BorrowableItem::checkOut();

在实际应用中, 经常会出现两个类继承与同一个父类，然后再有一个类多继承这两个类：

class Parent{...};
class First : public Parent(...);
class Second : public Parent{...};
class last:public First, public Second{...};

当然，多重继承也有他合理的用途，例如一个类刚好继承自两个类的实现。

总结：

多重继承容易产生歧义
virtual继承会增加大小、速度、初始化复杂度等成本，如果virtual base class不带任何数据，将是最具使用价值的情况
多重继承的使用情况：当一个类是“public 继承某个interface class”和“private 继承某个协助实现的class”两个相结合的时候。

七、模板与泛型编程 (Templates and Generic Programming)

41. 了解隐式接口和编译期多态（Understand implicit interfaces and compile-time polymorphism)

对于面向对象编程：以显式接口（explicit interfaces）和运行期多态（runtime polymorphism）解决问题：

class Widget {
public:
    Widget();
    virtual ~Widget();
    virtual std::size_t size() const;
    void swap(Widget& other); //第25条
}

void doProcessing(Widget& w){
    if(w.size()>10){...}
}

在上面这段代码中，由于w的类型被声明为Widget，所以w必须支持Widget接口，我们可以在源码中找出这个接口，看看他是什么样子（explicit interface），也就是他在源码中清晰可见
由于Widget的某些成员函数是virtual，w对于那些函数的调用将表现运行期多态，也就是运行期间根据w的动态类型决定调用哪一个函数

在templete编程中：隐式接口（implicit interface）和编译器多态（compile-time polymorphism）更重要：

template<typename T>
void doProcessing(T& w)
{
    if(w.size()>10){...}
}

在上面这段代码中，w必须支持哪一种接口，由template中执行于w身上的操作来决定，例如T必须支持size等函数。这叫做隐式接口
凡涉及到w的任何函数调用，例如operator>，都有可能造成template具现化，使得调用成功，根据不同的T调用具现化出来不同的函数，这叫做编译期多态

42. 了解typename的双重意义（Understand the two meanings of typename)

下面一段代码：

template<typename C>
void print2nd(const C& container){
    if(container.size() >=2)
        typename C::const_iterator iter(container.begin());//这里的typename表示C::const_iterator是一个类型名称，
                                                           //因为有可能会出现C这个类型里面没有const_iterator这个类型
                                                           //或者C这个类型里面有一个名为const_iterator的变量
}

所以，在任何时候想要在template中指定一个嵌套从属类型名称（dependent names，依赖于C的类型名称），前面必须添加typename

声明template参数时，前缀关键字class和typename是可以互换的
需要使用typename标识嵌套从属类型名称，但不能在base class lists（基类列）或者member initialization list（成员初始列）内以它作为base class修饰符

template class Derived : public typename Base ::Nested{}//错误的！！！！！

43. 学习处理模板化基类内的名称（Know how to access names in templatized base classes)

原代码：

class CompanyA{
public:
    void sendCleartext(const std::string& msg);
    ....
}
class CompanyB{....}

template <typename Company>
class MsgSender{
public:
    void sendClear(const MsgInfo& info){
        std::string msg;
        Company c;
        c.sendCleartext(msg);
    }
}
template<typename Company>//想要在发送消息的时候同时写入log，因此有了这个类
class LoggingMsgSender:public MsgSender<Company>{
    public:
    void sendClearMsg(const MsgInfo& info){
        //记录log
        sendClear(info);//无法通过编译，因为找不到一个特例化的MsgSender<company>
    }
}

解决方法1（认为不是特别好）：

template <> // 生成一个全特例化的模板
class MsgSender<CompanyZ>{  //和一般的template，但是没有sendClear,当Company==CompanyZ的时候就没有sendClear了
public:
    void sendSecret(const MsgInfo& info){....}
}

解决方法2（使用this）：

template<typename Company>
class LoggingMsgSender:public MsgSender<Company>{
    public:
    void sendClearMsg(const MsgInfo& info){
        //记录log
        this->sendClear(info);//假设sendClear将被继承
    }
}

解决方法3（使用using）：

template<typename Company>
class LoggingMsgSender:public MsgSender<Company>{
    public:

    using MsgSender<Company>::sendClear; //告诉编译器，请他假设sendClear位于base class里面

    void sendClearMsg(const MsgInfo& info){
        //记录log
        sendClear(info);//假设sendClear将被继承
    }
}

解决方法4（指明位置）：

template<typename Company>
class LoggingMsgSender:public MsgSender<Company>{
    public:
    void sendClearMsg(const MsgInfo& info){
        //记录log
        MsgSender<Company>::sendClear(info);//假设sendClear将被继承
    }
}

上面那些做法都是对编译器说：base class template的任何特例化版本都支持其一般版本所提供的接口

44. 将与参数无关的代码抽离templates （Factor parameter-independent code out of templates)

主要是会让编译器编译出很长的臃肿的二进制码，所以要把参数抽离，看以下代码：

template<typename T, std::size_t n>
class SquareMatrix{
    public:
    void invert();    //求逆矩阵
}

SquareMatrix<double, 5> sm1;
SquareMatrix<double, 10> sm2;
sm1.invert(); 
sm2.invert(); //会具现出两个invert并且基本完全相同

修改后的代码：

template<typename T>
class SquareMatrixBase{
    protected:
    void invert(std::size_t matrixSize);
}

template<typename T, std::size_t n>
class SquareMatrix:private SquareMatrixBase<T>{
    private:
    using SquareMatrixBase<T>::invert;  //避免遮掩base版的invert
    public:
    void invert(){ this->invert(n); }   //一个inline调用，调用base class版的invert
}

当然因为矩阵数据可能会不一样，例如5x5的矩阵和10x10的矩阵计算方式会不一样，输入的矩阵数据也会不一样，采用指针指向矩阵数据的方法会比较好：

template<typename T, std::size_t n>
class SquareMatrix:: private SquareMatrixBase<T>{
    public:
    SquareMatrix():SquareMatrixBase<T>(n, 0), pData(new T[n*n]){
        this->setDataPtr(pData.get());
    }
    private:
    boost::scoped_array<T> pData; //存在heap里面
};

总结：

templates生成多个classes和多个函数，所以任何template代码都不该与某个造成膨胀的template参数产生依赖关系
因非类型模板参数（non-type template parameters）而造成的代码膨胀，往往可以消除，做法是以函数参数后者class成员变量替换template参数
因类型参数（type parameters）而造成的代码膨胀，往往可以降低，做法是让带有完全相同的二进制表述的具现类型，共享实现码

45. 运用成员函数模板接受所有兼容类型（Use member function templates to accept "all compatible types.")

Top* pt2 = new Bottom; //将Bottom*转换为Top*是很容易的
template<typename T>
class SmartPtr{
    public:
    explicit SmartPtr(T* realPtr);
};
SmartPtr<Top> pt2 = SmartPtr<Bottom>(new Bottom);//将SmartPtr<Bottom>转换成SmartPtr<Top>是有些麻烦的

但是我们只是希望SmartPtr转换成SmartPtr，而不希望SmartPtr转换成SmartPtr 这种需求可以通过构造模板来实现：

template<typename T>
class SmartPtr{
public:
    template<typename U>
    SmartPtr(const SmartPtr<U>& other)  //为了生成copy构造函数
        :heldPtr(other.get()){....}
    T* get() const { return heldPtr; }
private:
    T* heldPtr;                        //这个SmartPtr持有的内置原始指针
};

总结:

使用成员函数模板生成“可接受所有兼容类型”的函数
如果还想泛化copy构造函数、操作符重载等，同样需要在前面加上template

46. 需要类型转换时请为模板定义非成员函数（Define non-member functions inside templates when type conversions are desired)

像第24条一样，当我们进行混合类型算术运算的时候，会出现编译通过不了的情况

template<typename T>
const Rational<T> operator* (const Rational<T>& lhs, const Rational<T>& rhs){....}

Rational<int> oneHalf(1, 2);
Rational<int> result = oneHalf * 2; //错误，无法通过编译

解决方法：使用friend声明一个函数,进行混合式调用

template<typename T>
class Rational{
    public:
    friend const Rational operator*(const Rational& lhs, const Rational& rhs){
        return Rational(lhs.numerator()*rhs.numerator(), lhs.denominator() * rhs.denominator());
    }
};
template<typename T>
const Rational<T> operator*(const Rational<T>& lhs, const Rational<T>&rhs){....}

总结：

当我们编写一个class template，而他所提供的“与此template相关的”函数支持所有参数隐形类型转换时，请将那些函数定义为classtemplate内部的friend函数

47. 请使用traits classes表现类型信息（Use traits classes for information about types)

traits是一种允许你在编译期间取得某些类型信息的技术，或者受是一种协议。这个技术的要求之一是：他对内置类型和用户自定义类型的表现必须是一样的。

template<typename T>
struct iterator_traits;  //迭代器分类的相关信息
                         //iterator_traits的运作方式是，针对某一个类型IterT，在struct iterator_traits<IterT>内一定声明//某个typedef名为iterator_category。这个typedef 用来确认IterT的迭代器分类
一个针对deque迭代器而设计的class大概是这样的
template<....>
class deque{
    public:
    class iterator{
        public:
        typedef random_access_iterator_tag iterator_category;
    }
}
对于用户自定义的iterator_traits，就是有一种“IterT说它自己是什么”的意思
template<typename IterT>
struct iterator_traits{
    typedef typename IterT::iterator_category iterator_category;
}
//iterator_traits为指针指定的迭代器类型是：
template<typename IterT>
struct iterator_traits<IterT*>{
    typedef random_access_iterator_tag iterator_category;
}

综上所述，设计并实现一个traits class：

确认若干你希望将来可取得的类型相关信息，例如对迭代器而言，我们希望将来可取得其分类
为该信息选择一个名称（例如iterator_category）
提供一个template和一组特化版本（例如iterator_traits)，内含你希望支持的类型相关信息

在设计实现一个traits class以后，我们就需要使用这个traits class：

template<typename IterT, typename DistT>
void doAdvance(IterT& iter, DistT d, std::random_access_iterator_tag){ iter += d; }//用于实现random access迭代器
template<typename IterT, typename DistT>
void doAdvance(IterT& iter, DistT d, std::bidirectional_iterator_tag){ //用于实现bidirectional迭代器
    if(d >=0){
        while(d--)
            ++iter;
    }
    else{
        while(d++)
            --iter;
    }
}

template<typename IterT, typename DistT>
void advance(IterT& iter, DistT d){
    doAdvance(iter, d, typename std::iterator_traits<IterT>::iterator_category());
}

使用一个traits class:

建立一组重载函数（像劳工）或者函数模板（例如doAdvance），彼此间的差异只在于各自的traits参数，令每个函数实现码与其接受traits信息相应
建立一个控制函数（像工头）或者函数模板（例如advance），用于调用上述重载函数并且传递traits class所提供的信息

48. 认识template元编程（Be aware of template metaprogramming)

Template metaprogramming是编写执行于编译期间的程序，因为这些代码运行于编译器而不是运行期，所以效率会很高，同时一些运行期容易出现的问题也容易暴露出来

template<unsigned n>
struct Factorial{
    enum{
        value = n * Factorial<n-1>::value
    };
};
template<>
struct Factorial<0>{
    enum{ value = 1 };
};                       //这就是一个计算阶乘的元编程

八、定制new和delete (Customizing new and delete)

49. 了解new-handler的行为（Understand the behavior of the new-handler)

当new无法申请到新的内存的时候，会不断的调用new-handler，直到找到足够的内存,new_handler是一个错误处理函数： namespace std{ typedef void(*new_handler)(); new_handler set_new_handler(new_handler p) throw(); }

一个设计良好的new-handler要做下面的事情：

让更多内存可以被使用
安装另一个new-handler，如果目前这个new-handler无法取得更多可用内存，或许他知道另外哪个new-handler有这个能力，然后用那个new-handler替换自己
卸除new-handler
抛出bad_alloc的异常
不返回，调用abort或者exit

new-handler无法给每个class进行定制，但是可以重写new运算符，设计出自己的new-handler 此时这个new应该类似于下面的实现方式：

void* Widget::operator new(std::size_t size) throw(std::bad_alloc){
    NewHandlerHolder h(std::set_new_handler(currentHandler));      // 安装Widget的new-handler
    return ::operator new(size);                                   //分配内存或者抛出异常，恢复global new-handler
}

总结：

set_new_handler允许客户制定一个函数，在内存分配无法获得满足时被调用
Nothrow new是一个没什么用的东西

50. 了解new和delete的合理替换时机（Understand when it makes sense to replace new and delete)

用来检测运用上的错误，如果new的内存delete的时候失败掉了就会导致内存泄漏，定制的时候可以进行检测和定位对应的失败位置
为了强化效率（传统的new是为了适应各种不同需求而制作的，所以效率上就很中庸）
可以收集使用上的统计数据
为了增加分配和归还内存的速度
为了降低缺省内存管理器带来的空间额外开销
为了弥补缺省分配器中的非最佳对齐位
为了将相关对象成簇集中起来

51. 编写new和delete时需固守常规（Adhere to convention when writing new and delete)

重写new的时候要保证49条的情况，要能够处理0bytes内存申请等所有意外情况
重写delete的时候，要保证删除null指针永远是安全的

52. 写了placement new也要写placement delete（Write placement delete if you write placement new)

如果operator new接受的参数除了一定会有的size_t之外还有其他的参数，这个就是所谓的palcement new

void* operator new(std::size_t, void* pMemory) throw(); //placement new static void operator delete(void* pMemory) throw(); //palcement delete，此时要注意名称遮掩问题

杂项讨论 (Miscellany)

53. 不要轻忽编译器的警告（Pay attention to compiler warnings)

严肃对待编译器发出的warning，努力在编译器最高警告级别下无warning
同时不要过度依赖编译器的警告，因为不同的编译器对待事情的态度可能并不相同，换一个编译器警告信息可能就没有了

54. 让自己熟悉包括TR1在内的标准程序库（Familiarize yourself with the standard library, including TR1)

其实感觉这一条已经有些过时了，不过虽然过时，但是很多地方还是有用的

smart pointers
tr1::function ：表示任何callable entity（可调用物，只任何函数或者函数对象）
tr1::bind是一种stl绑定器
Hash tables例如set，multisets， maps等
正则表达式
tuples变量组
tr1::array：本质是一个STL化的数组
tr1::mem_fn:语句构造上与程艳函数指针一样的东西
tr1::reference_wrapper：一个让references的行为更像对象的东西
随机数生成工具
type traits

55. 让自己熟悉Boost （Familiarize yourself with Boost)

主要是因为boost是一个C++开发者贡献的程序库，代码相对比较好

More Effective C++

一、基础议题

1. 区分指针和引用

引用必须指向一个对象，而不是空值，下面是一个危险的例子：

char* pc = 0;  //设置指针为空值
char& rc = *pc;//让引用指向空值，很危险！！！

下面的情况下使用指针：

存在不指向任何对象的可能
需要能够在不同的时刻指向不同的对象其他情况应该使用引用

2. 优先考虑C++风格的类型转换

上本书说过了，第27条

3. 决不要把多态用于数组

主要是考虑以下写法：

class BST{...}
class BalancedBST : public BST{...}

void printBSTArray(const BST array[]){
    for(auto i : array){
        std::cout << *i;
    }
}

BalancedBST bBSTArray[10];
printBSTArray(bBSTArray);

由于我们之前说的，这种情况下编译器是毫无警告的，而对象在传递过程中是按照声明的大小来传递的，所以每一个元素的间隔是sizeof(BST)此时指针就指向了错误的地方

4. 避免不必要的默认构造函数

这里主要是为了防止出现有了对象但是却没有必要的数据，例如：没有id的人但是主要还是在关键词 不必要 上面，必要的默认构造函数，不会造成数据出现遗漏的话，还是可以用的当然，如果不提供缺省构造函数的话，例如：

class EP{
public:
    EP(int ID);
}

这样的代码会让使用者在某些时候非常的难受，特别是当EP类是虚类的时候。

这时可以通过让用户使用

EP bestP[] = {
    EP(ID1),
    EP(ID2),
    ......
}

函数数组的方法，或者是指针：

typedef EP* PEP;
PEP bestPieces[10];
PEP *bestPieces = new PEP[10];然后使用的时候再重新new来进行初始化

二、运算符

5. 小心用户自定义的转换函数

因为可能会出现一些无法理解的并且也是无能为力的运算，而且在不需要这些类型转换函数的时候，仍然可能会调用这些转换，例如下面的代码：

// 有理数类
class Rational{
public:
    Rational(int numerator = 0, int denominator = 1)
    operator double() const;
}

Rational r(1, 2);
double d = 0.5 * r; //将r转换成了double进行计算

cout << r; //会调用最接近的类型转换函数double，将r转换成double打印出来，而不是想要的1/2，

上面问题的解决方法是，把double变成

double asDouble() const;这样就可以直接用了

但是即使这样做还有可能会出现隐式转换的现象：

template<class T>
class Array{
public:
    Array(int size);
    T& operator[](int index);
};

bool operator==(const Array<int> &lhs, const Array<int> & rhs);
Array<int> a(10), b(10);
if(a == b[3]) //想要写 a[3] == b[3]，但是这时候编译器并不会报错，解决方法是使用explicit关键字

explicit Array(int size); 
if(a == b[3]) // 错误，无法进行隐式转换

其实还有一种很*的操作：

class Array { 
public:  
    class ArraySize {                    // 这个类是新的 
        public: 
        ArraySize(int numElements):theSize(numElements){}
        int size() const { return theSize;}
    private: 
        int theSize;
    };
    Array(int lowBound, int highBound); 
    Array(ArraySize size);                  // 注意新的声明
    ... 
};

这样写的代码在Array a(10);的时候，编译器会先通过类型转换转换成ArraySize，然后再进行构造，虽然麻烦很多，效率也低了很多，但是在一定程度上可以避免隐式转换带来的问题

6. 区分自增运算符和自减运算符的前缀形式与后缀形式

这一点主要是要知道前缀和后缀的重载形式是不同的，以及重载的时候不要进行连续重载例如i++++; 因为连续的+号会导致创建很多临时对象，效率会变低

7. 不要重载"&&"、"||"和","

主要是因为上面三个符号，大部分的程序员都已经达成共识，先运算前面的一串表达式，再判断后面的一串表达式： if(expression1 && expression2){} 就会先运算第一个表达式，然后再运算第二个表达式

比较特殊的是逗号操作符：“,“，例如最常见的for循环：

for(int i = 0, j = strlen(s)-1; i < j; i++, j--){}

在这个for循环里面，因为最后一个部分职能使用一个表达式，分开表达式来改变i和j的值是不合法的，用逗号表达式就会先计算出来左边的i++，然后计算出逗号右边的j--

8. 理解new和delete在不同情形下的含义

两种new: new 操作符（new operator）和new操作（operator new）的区别

string *ps = new string("Memory Management"); //使用的是new操作符，这个操作符像sizeof一样是内置的，无法改变

void* operator new(size_t size); // new操作，可以重写这个函数来改变如何分配内存

一般不会直接调用operator new，但是可以像调用其他函数一样调用他：

void* rawMemory = operator new(sizeof(String));

placement new : placement new 是有一些已经被分配但是没有被处理的内存，需要在这个内存里面构造一个对象，使用placement new 可以实现这个需求，实现方法：

class Widget{
    public:
        Widget(int widgetSize);
    ....
};

Widget* constructWidgetInBuffer(void *buffer, int widgetSize){
    return new(buffer) Widget(widgetSize);
}

这样就返回一个指针，指向一个Widget对象，对象在传递给函数的buffer里面分配

同样的道理： delete buffer; //指的是先调用buffer的析构函数，然后再释放内存 operator delete(buffer); //指的是只释放内存，但是不调用析构函数

而placement new 出来的内存，就不应该直接使用delete操作符，因为delete操作符使用operator delete来释放内存，但是包含对象的内存最初不是被operator new分配的，而应该显示调用析构函数来消除构造函数的影响

new[]和delete[]就相当于对每一个数组元素调用构造和析构函数

三、异常

9. 使用析构函数防止资源泄漏

原代码：

void processAdoptions(istream& dataSource){
    while(dataSource){
        ALA *pa = readALA(dataSource);
    }
    try{
        pa->processAdoption();
    }
    catch(...){
        delete pa; //在抛出异常的时候避免泄露
        throw;
    }
    delete pa;     //在不抛出异常的时候避免泄露
}

因为这种情况会需要删除两次pa，代码维护很麻烦，所以需要进行优化：

template class auto_ptr{ public: auto_ptr(T *p=0):ptr(p){} //保存ptr，指向对象 ~auto_ptr(){delete prt;} private: T *ptr;
}

void processAdoptions(istream& dataSource){ while(dataSource){ auto_ptr pa(readALA(dataSource)); pa->processAdoption(); } }

auto_ptr后面隐藏的**是：使用一个对象来存储需要被自动释放的资源，然后依靠对象的析构函数来释放资源。事实上WindowHandle就是这样一个东西

那么这样就引出一个非常重要的规则：资源应该被封装在一个对象里面

10. 防止构造函数里的资源泄漏

这一条主要是防止在构造函数中出现异常导致资源泄露：

BookEntry::BookEntry(){
    theImage     = new Image(imageFileName);
    theAudioClip = new AudioClip(audioClipFileName);
}
BookEntry::~BookEntry(){
    delete theImage;
}

如果在构造函数new AudioClip里面出现异常的话，那么~BookEntry析构函数就不会执行，那么NewImage就永远不会被删除，而且因为new BookEntry失败，导致delete BookEntry也无法释放theImage，那么只能在构造函数里面使用异常来避免这个问题

BookEntry::BookEntry(){
    try{
        theImage     = new Image(imageFileName);
        theAudioClip = new AudioClip(audioClipFileName);
    }
    catch(...){
        delete theImage;
        delete theAudioClip;
        //上面一段代码和析构函数里面的一样，所以可以直接封装成一个成员函数cleanup：
        cleanup();
        throw;
    }
}

更好的做法是将theImage和theAudioClip做成成员来进行封装：

class BookEntry{
public:......
private:
    const auto_ptr<Image> theImage;
    const auto_ptr<AudioClip> theAudioClip;
}

11. 阻止异常传递到析构函数以外

如果析构函数抛出异常的话，会导致程序直接调用terminate函数，中止程序而不释放对象，所以不应该让异常传递到析构函数外面，而是应该在析构函数里面直接catch并且处理掉

另外，如果析构函数抛出异常的话，那么析构函数就不会完全运行，就无法完成希望做的一些其他事情例如：

Session::~Session(){
    logDestruction(this);
    endTransaction(); //结束database transaction,如果上面一句失败的话，下面这句就没办法正确执行了
}

12. 理解“抛出异常”，“传递参数”和“调用虚函数”之间的不同

传递参数的函数：

void f1(Widget w);

catch子句：

catch(widget w)...

上面两行代码的相同点：传递函数参数与异常的途径可以是传值、传递引用或者传递指针

上面两行代码的不同点：系统所需要完成操作的过程是完全不同的。调用函数时程序的控制权还会返回到函数的调用处，但是抛出一个异常时，控制权永远都不会回到抛出异常的地方三种捕获异常的方法：

catch(Widget w);
catch(Widget& w);
catch(const Widget& w);

一个被抛出的对象可以通过普通的引用捕获，它不需要通过指向const对象的引用捕获，但是在函数调用中不允许传递一个临时对象到一个非const引用类型的参数里面同时异常抛出的时候实际上是抛出对象创建的临时对象的拷贝，

另外一个区别就是在try语句块里面，抛出的异常不会进行类型转换（除了继承类和基类之间的类型转换，和类型化指针转变成无类型指针的变换），例如：

void f(int value){
    try{
        throw value; //value可以是int也可以是double等其他类型的值
    }
    catch(double d){
        ....         //这里只处理double类型的异常，如果遇到int或者其他类型的异常则不予理会
    }
}

最后一个区别就是，异常catch的时候是按照顺序来的，即如果两个catch并且存在的话，会优先进入到第一个catch里面，但是函数则是匹配最优的

13. 通过引用捕获异常

使用指针方式捕获异常：不需要拷贝对象，是最快的,但是，程序员很容易忘记写static，如果忘记写static的话，会导致异常在抛出后，因为离开了作用域而失效：

void someFunction(){
    static exception ex;
    throw &ex;
}
void doSomething(){
    try{
        someFunction();
    }
    catch(exception *ex){...}
}

创建堆对象抛出异常：new exception 不会出现异常失效的问题，但是会出现在捕捉以后是否应该删除他们接受的指针，在哪一个层级删除指针的问题通过值捕获异常：不会出现上述问题，但是会在被抛出时系统将异常对象拷贝两次，而且会出现派生类和基类的slicing problem，即派生类的异常对象被作为基类异常对象捕获时，会把派生类的一部分切掉，例如：

class exception{
public:
    virtual const char *what() throw();
};
class runtime_error : public exception{...};
void someFunction(){
    if(true){
        throw runtime_error();
    }
}
void doSomething(){
    try{
        someFunction();
    }
    catch(exception ex){
        cerr << ex.what(); //这个时候调用的就是基类的what而不是runtime_error里面的what了，而这个并不是我们想要的
    }
}

通过引用捕获异常：可以避免上面所有的问题，异常对象也只会被拷贝一次：

void someFunction(){...} //和上面一样
void doSomething(){
    try{...}             //和上面一样
    catch(exception& ex){
        cerr << ex.what(); //这个时候就是调用的runtime_error而不是基类的exception::what()了，其他和上面其实是一样的
    }
}

14. 审慎地使用异常规格（exception specifications）

异常规格指的是函数指定只能抛出异常的类型：

extern void f1();    //f1可以抛出任意类型的异常
void f2() throw(int);//f2只能抛出int类型的异常
void f2() throw(int){ 
     f1();           //编译器会因为f1和f2的异常规格不同而在发出异常的时候调用unexpected
}

在用模板的时候，会让这种情况更为明显：

template<class T>
bool operator==(const T& lhs, const T&rhs) throw(){
    return &lhs == &rhs;
}

这个模板为所有的类型定义了一个操作符函数operator==对于任意一对相同类型的对象，如果有一样的地址，则返回true，否则返回false，单单这么一个函数可能不会抛出异常，但是如果有operator&重载时，operator&可能会抛出异常，这样就违反了异常规则，让程序跳转到unexpected

阻止程序跳转到unexpected的三种方法：将所有的unexpected异常都替换成UnexpectedException对象：

class UnexpectedException{}; //所有的unexpected异常对象都被替换成这种对象
void convertUnexpected(){       //如果一个unexpected异常被抛出，这个函数就会被调用
    throw UnexpectedException();
}
set_unexpected(convertUnexpected);

替换unexpected函数：

void convertUnexpected(){ //如果一个unexpected异常被抛出，这个函数被调用
    throw;                //只是重新抛出当前的异常
}
set_unexpected(convertUnexpected);//安装convertUnexpected作为unexpected的替代品，此方法应该在所有的异常规格里面包含bad_exception

总结：异常规格应该在加入之前谨慎的考虑它带来的行为是否是我们所希望的

15. 理解异常处理所付出的代价

编译器带来的开销（很难消除，因为所有的编译器都是支持异常的 try块语句的开销：大概会降低5%-10%的速度和增加相应的代码尺寸

四、效率

16. 记住80-20准则

分别有20%的代码耗用了80%的程序资源，运行时间，内存，磁盘，有80%的维护投入到20%的代码上用profiler工具来对程序进行分析

17. 考虑使用延迟计算

一个延迟计算的例子：

class String{....}
String s1 = "Hello";
String s2 = s1;  //在正常的情况下，这一句需要调用new操作符分配堆内存，然后调用strcpy将s1内的数据拷贝到s2里面。但是我们此时s2并没有被使用，所以我们不需要s2，这个时候如果让s2和s1共享一个值，就可以减小这些开销

使用延迟计算进行读操作和写操作：

String s = "Homer's Iliad";
cout << s[3];
s[3] = 'x';

首先调用operator[] 用来读取string的部分值，但是第二次调用该函数式为了完成写操作。读取效率较高，写入因为需要拷贝，所以效率较低，这个时候可以推迟作出是读操作还是写操作的决定。

延迟策略进行数据库操作：有点类似之前写web 的时候，把数据放在内存和数据库两份，更新的时候只更新内存，然后隔一段时间（或者等到使用的时候）去更新数据库。在effective c++里面，则是更加专业的将这个操作封装成了一个类，然后把是否更新数据库弄成一个flag。以及使用了mutable关键字，来修改数据

延迟表达式：

Matrix<int> m1(1000, 1000), m2(1000, 1000);
m3 = m1 + m2;
因为矩阵的加法计算量太大（1000*1000）次计算，所以可以先用表达式表示m3是m1和m2的和，然后真正需要计算出值的时候再真的进行计算（甚至计算的时候也只计算m3[3][2]这样某一个位置的值）

18. 分期摊还预期的计算开销（提前计算法）

例如对于max， min函数，如果被频繁调用的话，就可以专门将min和max缓存城一个m_min成员或者mmax成员，这样就在每次调用的时候直接返回就行了，不需要每次调用的时候就重新计算，这个方法叫做cache

prefetching是另一种方法，例如从磁盘读取数据的时候，一次读取一整块或者整个扇区的数据，因为一次读取一大块要比不同时间读取几个小块要快

19. 了解临时对象的来源

通常意义的临时对象指的是 temp = a; a = b; b = temp;中的temp 但是在C++中的临时对象指的是那些看不见的东西，例如：

size_t countChar(const string& str, char ch);
char buffer[MAX_STRING_LEN];
cout << countChar(buffer, c);

对于countChar的调用来说，buffer是一个char的数据，但是其形参是const string，那么就需要建立一个string类型的临时对象，然后用buffer作为参数对这个临时对象进行初始化

另外再如operator+重载函数中，函数的返回值是临时的，因为它没有被命名。

所以在任何时候只要见到函数中的常量引用参数，就存在建立临时对象的可能性

20. 协助编译器实现返回值优化

一个返回一整个对象的函数，效率是很低的，因为需要调用对象的析构和构造函数。但是有时候编译器会帮助优化我们的实现：

inline const Rational operator*(const Rational& lhs, const Rational& rhs{
    return Rational(lhs.numerator() * rhs.numerator(), lhs.denominator() * rhs.denominator());
}

上面这个操作实在是太*了，初看起来好像是会创建一个Rational的临时对象，但是实际上编译器会把这个临时对象给优化掉，所以就免除了析构和构造的开销，而inline还可以减少函数的调用开销

21. 通过函数重载避免隐式类型转换

改代码之前：

class UPInt{
    public:
    UPInt();
    UPInt(int value);
}
const UPInt operator+(const UPInt& lhs, const UPInt& rhs);
upi3 = upi1 + upi2;
upi3 = 10 + upi1;  // 会产生隐式类型转换，转换过程中会出现临时对象
upi3 = upi1 + 10;

改代码之后：

const UPInt operator+(const UPInt& lhs, const UPInt& rhs);
const UPInt operator+(const UPInt& lhs, int rhs);
const UPInt operator+(int lhs, const UPInt& rhs);

22. 考虑使用op=来取代单独的op运算符

operator+ 和operator+=是不一样的，所以如果想要重载+号，就最好重载+=，那么一个比较好的方法就是把+号用+=来实现，当然如果可以的话，可以使用模板编写：

template<class T>
const T operator+(const T& lhs, const T& rhs)
{
    return T(lhs) += rhs;
}
template<class T>
const T operator-(const T& lhs, const T& rhs){
    return T(lhs) -= rhs; 
}

23. 考虑使用其他等价的程序库

例如stdio和iostream两个程序库都有输入输出的功能，但是stdio库则速度更快，iostream则写起来更安全。需要合理的选择应用的替代库

24. 理解虚函数、多重继承、虚基类以及RTTI所带来的开销

C++的特性和编译器会很大程度上影响程序的效率，所以我们有必要知道编译器在一个C++特性后面做了些什么事情。

例如虚函数，指向对象的指针或者引用的类型是不重要的，大多数编译器使用的是virtual table(vtbl)和virtual table pointers(vptr)来进行实现

vtbl:

class C1{
public:
    C1();
    virtual ~C1();
    virtual void f1();
    virtual int f2(char c)const;
    virtual void f3(const string& s);
    void f4()const
}

vtbl的虚拟表类似于下面这样,只有虚函数在里面，非虚函数的f4不在里面：

 ___
|___| → ~C1()
|___| → f1()
|___| → f2()
|___| → f3()

如果按照上面的这种，每一个虚函数都需要一个地址空间的话，那么如果拥有大量虚函数的类，就会需要大量的地址存储这些东西，这个vtbl放在哪里根据编译器的不同而不同

vptr：

 __________
|__________| → 存放类的数据
|__________| → 存放vptr

每一个对象都只存储一个指针，但是在对象很小的时候，多于的vptr将会看起来非常占地方。在使用vptr的时候，编译器会先通过vptr找到对应的vtbl，然后通过vtbl开始找到指向的函数事实上对于函数：

pC1->f1();

他的本质是：

(*pC1->vptr[i])(pC1);

在使用多继承的时候，vptr会占用很大的地方，并且非常恶心，所以不要用多继承

RTTI：能够让我们在runtime找到对象的类信息，那么就肯定有一个地方存储了这些信息，这个特性也可以使用vtbl实现，把每一个对象，都添加一个隐形的数据成员type_info，来存储这些东西，从而占用很大的空间

五、技巧

25. 使构造函数和非成员函数具有虚函数的行为

class NewsLetter{
private:
    static NLComponent *readComponent(istream& str);
    virtual NLComponent *clone() const = 0;
};
NewsLetter::NewsLetter(istream& str){
    while(str){
        components.push_back(readComponent(str));
    }
}
class TextBlock: public NLComponent{
public:
    virtual TextBlock*clone()const{
        return new TextBlock(*this);
    }
}

在上面那段代码当中，readComponent就是一个具有构造函数行为（因为能够创建出新的对象）的函数，我们叫做虚拟构造函数

clone() 叫做虚拟拷贝构造函数,相当于拷贝一个新的对象

通过这种方法，我们上面的NewsLetter构造函数就可以这样：

NewsLetter::NewsLetter(const NewsLetter& rhs){
    while(str){
        for(list<NLComponent*>::const_iterator it=rhs.component.begin(); it!=rhs.component.end();it++){
            components.push_back((*it)->clone());
        }
    }
}

这样每一个TextBlock都可以调用他自己的clone，其他的子类也可以调用他们自己对应的clone()

26. 限制类对象的个数

比如某个类只应该有一个对象，那么最简单的限制这个个数的方法就是把构造函数放在private域里面，这样每个人都没有权力创建对象

或者做一个约束，每次创建的时候都返回static的对象：

class Printer{
public:
    friend Printer& thePrinter();或者static Printer& thePrinter();
private:
    Printer();
    Printer(const Printer& rhs);
};
Printer& thePrinter(){
    static Printer p;
    return p;
}

上面这段代码中，Printer类的构造函数是private，可以阻止建立对象，全局函数thePrinter被声明为类的友元，让thePrinter避免私有构造函数引起的限制

创建对象的环境：当然还有一个直观的方法来限制对象的个数，就是添加一个名为numObjects的static变量，来记录对象的个数，当然这种方法在出现继承的时候会出现问题（一个Printer和一个继承自Printer的colorPrinter同时存在的时候，就会超出numObjects个数，这个时候就需要限制继承

允许对象来去自由：如果使用伪构造函数的话，会导致对象销毁后，无法创建新的对象，解决方法就是一起使用上面的伪构造函数和计数器。

一个具有对象计数功能的基类：如果拥有大量像Printer这样的类需要进行计数，那么较好的方法就是一次性封装所有的计数功能,需要确保每个进行实例计数的类都有一个相互隔离的计数器，所以模板会比较好:

template <class BeingCounted>
class Counted{
public:
    class TooManyObjects{};
    static int objectCount(){return numObjects;}
protected:
    Counted();
    Counted(const Counted& rhs);
    ~Counted(){ --numObjects; }
private:
    static int numObjects;
    static const size_t maxObjects;
    void init();                 //避免构造函数的代码重复
};

template<class BeingCounted>
Counted<BeingCounted>::Counted(){init();}

template<class BeingCounted>
Counted<BeingCounted>::Counted(const Counted<BeingCounted>&){init();}

template<class BeingCounted>
void Counted<BeingCounted>::init(){
    if(numObjects >= maxObjects)throw TooManyObjects();
    ++numObjects;
}

class Printer:private Counted<Printer>{
public:
    static Printer* makePrinter(); // 伪构造函数
    using Counted<Printer>::objectCount;
    using Counted<Printer>::TooManyObjects;
}

27. 要求或禁止对象分配在堆上

必须在堆中建立对象（程序有自我管理对象的需求）：禁用隐式的构造函数和析构函数，例如声明成private，或者仅仅让析构函数成为private（副作用小一些），然后创建一个public的destory()方法来调用析构。遇到继承析构的问题的话(现在的做法无法继承)，也可以将析构函数声明成protected的

判断一个对象是否在堆中：在构造函数中无法区分是否在堆中，但是在new里面可以做些事情：

class UPNumber{
public:
    class HeapConstraintViolation{};
    static void* operator new(size_t size);
    UPNumber();
private:
    static bool onTheHeap;
};

实际上上面这段代码是跑不了的，因为如果使用new[]创造数组的话就没有办法用了

另一种方法是判断变量所在的地址，因为stack是从高位地址向下的，heap是从地位地址向上的：

bool onHeap(const void *address) { 
    char onTheStack; // 局部栈变量，因为他是新的变量，所以比他小的都在堆或者静态空间里面，比他大的都在栈里面
    return address < &onTheStack; 
}

禁止堆对象：重写operator new就行了，例如弄成private

28. 智能(smart)指针

auto_ptr：会把值给传出去，原来的指针作废掉实现dereference（取出指针所指东西的内容）： template T& SmartPtr::operaotr*()const{ return *pointee; }

template<class T>
T* SmartPtr<T>::operator->()const{
    return pointee;
}

测试smart pointer是否是NULL：如果直接使用下面的代码是错误的：

SmartPtr<TreeNode> ptn;
if(ptn == 0)... //error
if(ptn)... //error
if(!ptn)... //error

所以需要进行隐式类型转换操作符，才能够进行上面的操作

template<class T>
class SmartPtr{
public:
    operator void*();
};
SmartPtr<TreeNode> ptn;
if(ptn == 0) //现在正确
if(ptn) //现在正确
if(!ptn) //现在正确

smart pointer 和继承类/基类的类型转换:

class MusicProduct{....};
class Cassette:public MusicProduct{....};
class CD:public MusicProduct{....};
displayAndPlay(const SmartPtr<MusicProduct>& pmp, int numTimes);

SmartPtr<Cassette> funMusic(new Cassette("1234"));
SmartPtr<CD> nightmareMusic(new CD("143"));
displayAndPlay(funMusic, 10); // 错误!
displayAndPlay(nightmareMusic, 0); // 错误!

我们可以看到的是，如果没有隐式转换操作符的话，是没有办法进行转换的，那么解决方法就是添加一个操作符,：

class SmartPtr<Cassette>{//或者用模板来代替
public:
    operator SmartPtr<MusicProduct>(){
        return SmartPtr<MusicProduct>(pointee);
    }
};

smart pointer 和 const：

SmartPtr<CD> p; //non-const 对象 non-const 指针
SmartPtr<const CD> p; //const 对象 non-const 指针
const SmartPtr<CD> p = &goodCD; //non-const 对象 const 指针
const SmartPtr<const CD> p = &goodCD; //const 对象 const 指针

template<class T>      // 指向const对象的
class SmartPtrToConst{ //灵巧指针
    ...                // 灵巧指针通常的成员函数
protected:
    union {
        const T* constPointee; // 让 SmartPtrToConst 访问
        T* pointee; // 让 SmartPtr 访问
    };
};

template<class T> // 指向 non-const 对象的灵巧指针
class SmartPtr: public SmartPtrToConst<T> {
    ... // 没有数据成员
};

29. 引用计数 就是一个smart pointer，不讨论了 30. 代理类

例子：实现二维数组类：

template<class T>
class Array2D{
public:
    Array2D(int dim1, int dim2);
    class Array1D{
    public:
        T& operator[](int index);
        const T& operator[](int index) const;
    };
    Array1D operator[](int index);
    const Array1D operator[](int index) const;
};
Array2D<int> data(10, 20);
cout << data[3][6] //这里面的[][]运算符是通过两次重载实现的

例子：代理类区分[]操作符的读写：

采用延迟计算方法，修改operator[]让他返回一个（代理字符的）proxy对象而不是字符对象本身，并且判断之后这个代理字符怎么被使用，从而判断是读还是写操作

class String{
public:
    class CharProxy{
    public:
        CharProxy(String& str, int index);
        CharProxy& operator=(const CharProxy& rhs);
        CharProxy& operator=(char c);
        operator char() const;
    private:
        String& theString;
        int charIndex;
    };
    const CharProxy operator[](int index) const;//对于const的Strings
    CharProxy operator[](int index);            //对于non-const的Strings

    friend class CharProxy;
private:
    RCPtr<StringValue> value;
};

31. 基于多个对象的虚函数

考虑两个对象碰撞的问题：

class GameObject{....};
class SpaceShip : public GameObject{....};
class SpaceStation : public GameObject{....};
class Asteroid : public GameObject{....};

void checkForCollision(GameObject& object1, GameObject& object2){
    processCollision(object1, object2);
}

当我们调用processCollision的时候，该函数取决于两个不同的对象，但是这个函数并不知道其object1和object2的真实类型，这个时候就要基于多个对象设计虚函数

解决方法有很多：

使用虚函数+RTTI：

class GameObject{
public:
    virtual void collide(GameObject& otherObject) = 0;
};
class SpaceShip:public GameObject{
public:
    virtual void collide(GameObject& otherObject);
};

void SpaceShip:collide(GameObject& otherObject){
    const type_info& objectType = typeid(otherObject);
    if(objectType == typeid(SpaceShip)){
        SpaceShip& ss = static_cast<SpaceShip&>(otherObject);
    }
    else if(objectType == typeid(SpaceStation)).......
}

只使用虚函数：

class SpaceShip; // forward declaration
class SpaceStation;
class Asteroid;
class GameObject { 
public:
    virtual void collide(GameObject&   otherObject) = 0;
    virtual void collide(SpaceShip&    otherObject) = 0;
    virtual void collide(SpaceStation& otherObject) = 0;
    virtual void collide(Asteroid&     otherObject) = 0;
    ...
};

模拟虚函数表（对继承体系中的函数做一些修改）：

class SpaceShip : public GameObject { 
public:
    virtual void collide(GameObject&   otherObject);
    virtual void hitSpaceShip(SpaceShip&    otherObject);
    virtual void hitSpaceStation(SpaceStation& otherObject);
    virtual void hitAsteroid(Asteroid&     otherObject);
    ...
};

初始化模拟虚函数表：

class GameObject { // this is unchanged 
public: 
    virtual void collide(GameObject& otherObject) = 0;
    ...
};

class SpaceShip: public GameObject {
public:
    virtual void collide(GameObject& otherObject);
    // these functions now all take a GameObject parameter
    virtual void hitSpaceShip(GameObject& spaceShip);
    virtual void hitSpaceStation(GameObject& spaceStation);
    virtual void hitAsteroid(GameObject& asteroid);
    ...
};

SpaceShip::HitMap * SpaceShip::initializeCollisionMap(){
    HitMap *phm = new HitMap;
    (*phm)["SpaceShip"] = &hitSpaceShip;
    (*phm)["SpaceStation"]= &hitSpaceStation;
    (*phm)["Asteroid"] = &hitAsteroid;
    return phm; 
}

六、杂项

32. 在将来时态下开发程序

新的函数会被加入到函数库里面，将来会出现新的重载（所以要注意哪些含糊的函数调用行为的结果），新的类会加入到继承中，新的环境下运行等。

应该通过代码来描述这些行为，而不仅仅是注释写上。实在拿不定我们类怎么设计的时候，仿照int来写

33. 将非尾端类设计为抽象类

如果采用这样的代码：

class Animal{
public:
    virtual Animal& operator=(const Animal& rhs);
    ....
};
class Lizard:public Animal{
public:
    virtual Lizard& operator=(const Animal& rhs);
};
class Chicken:public Animal{
public:
    virtual Chicken& operator=(const Animal& rhs);
}

则会出现我们不愿意出现的类型转换和赋值：

Animal *pAnimal1 = &liz;
Animal *pAnimal2 = &chick;
*pAnimal1 = *pAnimal2;      //把一个chick赋值给了一个lizard

但是我们又希望下面的操作是可行的： Animal *pAnimal1 = &liz1; Animal *pAnimal2 = &liz2; *pAnimal1 = *pAnimal2; //正确，把一个lizard赋值给了一个lizard

解决这个问题最简单的方法是使用dynamic_cast进行类型检测，但是还有一个方法就是把Animal设成抽象类或者创建一个抽象Animal类：

class AbstractAnimal{
protected:
    AbstractAnimal& operator=(const AbstractAnimal& rhs);
public:
    virtual ~AbstractAnimal() = 0;
};

class Animal: public AbstractAnimal{
public:
    Animal& operator=(const Animal& rhs);
};
class Lizard:public AbstractAnimal{
public:
    virtual Lizard& operator=(const Animal& rhs);
};
class Chicken:public AbstractAnimal{
public:
    virtual Chicken& operator=(const Animal& rhs);
}

感觉这个方法以后会非常有用。。。。

34. 理解如何在同一程序中混合使用C

名字变换：就是在编译器分别给C++和C不同的前缀，在C语言中，因为没有函数重载，所以编译器没有专门给函数改变名字，但是在C++里面，编译器是要给函数不同的名字的。

C++的extern‘C’可以禁止进行名字变换，例如：

extern 'C'
void drawLine(int x1, int y1, int x2, int y2);

静态初始化：在C++中，静态的类对象和定义会在main执行前执行。在编译器中，这种处理方法通常是在main里面默认调用某个函数：

int main(int argc, char *argv[]){
    performStaticInitialization();

    realmain();

    performStaticDestruction();
}

动态内存分配：C++时候new和delete，C是malloc和free

数据结构的兼容性：C无法知道C++的特性

总结下来就是：确保C++和C编译器产生兼容的obj文件，将在两种语言下都是用的函数声明为extern'C'，只要可能，应该用C++写main(),delete，new成对使用，malloc和free成对使用，

35. 让自己熟悉C++语言标准

熟悉stl和一些新的C++特性。

在C++运行库中的几乎任何东西都是模板，几乎所有的内容都在命名空间std中

Effective Modern C++

some note copy from EffectiveModernCppChinese

一、类型推导

1. 理解模板类型推导

其他之前说过了，主要是T有三种情况：1.指针或引用。2.通用的引用。3.既不是指针也不是引用

template<typename T>
void f(T& param);   //param是一个引用

int x = 27; // x是一个int
const int cx = x; // cx是一个const int
const int& rx = x; // rx是const int的引用
上面三种在调用f的时候会编译出不一样的代码：
f(x);  // T是int，param的类型时int&
f(cx); // T是const int，param的类型是const int&
f(rx); // T是const int， param的类型时const int&

template<typename T>
void f(T&& param); // param现在是一个通用的引用

template<typename T>
void f(T param); // param现在是pass-by-value

如果用数组或者函数指针来调用的话，模板会自动抽象成指针。如果模板本身是第一种情况（指针或引用），那么就会自动编译成数组

2. 理解auto类型推导

auto关键字的类型推倒和模板差不多，auto就相当于模板中的T，所以：

auto x = 27; // 情况3（x既不是指针也不是引用）
const auto cx = x; // 情况3（cx二者都不是）
const auto& rx = x; // 情况1（rx是一个非通用的引用）

auto&& uref1 = x; // x是int并且是左值，所以uref1的类型是int&
auto&& uref2 = cx; // cx是int并且是左值，所以uref2的类型是const int&
auto&& uref3 = 27; // 27是int并且是右值， 所以uref3的类型是int&&

在花括号初始化的时候，推倒的类型是std::initializer_list的一个实例，但是如果把相同的类型初始化给模板，则是失败的，

auto x = { 11, 23, 9 }; // x的类型是std::initializer_list<int>
template<typename T> void f(T param); // 和x的声明等价的模板
f({ 11, 23, 9 }); // 错误的！没办法推导T的类型

template<typename T> void f(std::initializer_list<T> initList);
f({ 11, 23, 9 }); // T被推导成int，initList的类型是std::initializer_list<int>

3. 理解decltype

template<typename Container, typename Index> // works, but requires refinements
auto authAndAccess(Container& c, Index i) -> decltype(c[i])
{
    authenticateUser();
    return c[i];
}
在上面的这段代码里面，C++14可以把后面的->decltype(c[i])删掉，但是auto实际推倒的类型是container而不带引用。因为 authAndAccess(d, 5) = 10这样是编译器不允许的情况。

如果想要返回引用的话，需要将上面的那一段代码重写成下面的样子：

template<typename Container, typename Index> // works, but still requires refinements
decltype(auto) authAndAccess(Container& c, Index i)
{
    authenticateUser();
    return c[i];
}

如果想要这个函数既返回左值（可以修改）又可以返回右值（不能修改）的话，可以用下面的写法：

template<typename Container, typename Index>
decltype(auto) authAndAccess(Container&& c, Index i){//C++14
    authenticateUser();
    return std::forward<Container>(c)[i];
}

decltype的一些让人意外的应用：

decltype(auto) f2(){
    int x = 0 ;
    return x;     // 返回的是int;
}
decltype(auto) f2(){
    int x = 0;
    return (x);   //返回的是int&
}

4. 学会查看类型推导结果

其实就是使用IDE编辑器来进行鼠标悬停/debug模式/运行时typeid输出等操作来查看类型

需要知道的是，编译器报告出来的数据类型并不一定正确，所以还是需要对C++标准的类型推倒熟悉

二、auto

5. 优先考虑auto而非显式类型声明

没有初始化auto的时候，会从编译器阶段就报错; 可以让lambda表达式更加稳定，更加快速，需要更少的资源，避免类型截断的问题，变量声明引起的歧义：

std::vector<int> v;
unsigned sz = v.size(); //在32位下运行良好，因为此时size()返回的size_type是32位的，unsigned也是32位的，但是在64位上就不行了，size_type会变成64位，而unsigned仍然是32位
auto     sz = v.size(); //在64位机器上仍然表现良好

6. auto推导若非己愿，使用显式类型初始化惯用法

std::vector<bool> features(const Widget& w);
Widget w;
auto highPriority = features(w)[5]

processWidget(w, highPriority); // 未定义的行为，因为这个时候highPriority已经不是bool类型的了，这个时候返回的是一个std::vector<bool>::reference对象（内嵌在std::vector<bool>中的对象）

如果用：

bool highPriority = features(w)[5];的时候，因为编译器看到bool，所以会发生隐式转换，将reference转换成bool类型

当然也有强制变成bool 的方法：

auto highPriority = static_cast<bool>(features(w)[5]);

三、移步现代C++

7. 区别使用()和{}创建对象

大括号{}，更像是一种通用的，什么时候初始化都能用的东西，但是大括号会进行类型检查：

double x, y, z;
int sum1{x+y+z}; //错误，因为double之和可能无法用int表达（超出int范围）

小括号()和等于号=在更多时候是无法使用的，并且小括号很容易被认为是一个函数。但是这两个不会进行类似上面的类型检查：

class Widget{
    int x{0}; //right
    int y = 0;//right
    int z(0); //错！
};

std::atomic<int> ai2(0); //right
std::atomic<int> ai3 = 0; //错！

Widget w1(10); //调用w1的构造函数

大括号和小括号的另一个区别是带有std::initializer_list 的时候，会自动调用大括号，反之没区别：

class Widget{
public:
    Widget(int i, bool b);
    Widget(std::initializer_list<long double> il);
};

Widget w1(10, true); //调用第一个构造函数
Widget w2{10, true}; //调用第二个构造函数

8. 优先考虑nullptr而非0和NULL

编译器扫到一个0，发现有一个指针用到了他，所以才勉强强行将0解释为空指针，而NULL也是如此，这就会造成一些细节上的不确定性。

使用nullptr不仅可以避免一些歧义，还可以让代码更加清晰，而且nullptr是无法被解释为整数的，可以避免很多问题 9. 优先考虑别名声明而非typedefs

别名声明可以让函数指针变得更容易理解：

// FP等价于一个函数指针，这个函数的参数是一个int类型和
// std::string常量类型，没有返回值
typedef void (*FP)(int, const std::string&); // typedef
// 同上
using FP = void (*)(int, const std::string&); // 声明别名

并且类型别名可以实现别名模板，而typedef不行：

template<typname T> // MyAllocList<T>
using MyAllocList = std::list<T, MyAlloc<T>>; // 等同于std::list<T,MyAlloc<T>>
MyAllocList<Widget> lw; // 终端代码

模板别名还避免了::type的后缀，在模板中，typedef还经常要求使用typename前缀：

template<class T>
using remove_const_t = typename remove_const<T>::type

10. 优先考虑限域枚举(enmus)而非未限域枚举(enum)

enum Color { black, white, red}; // black, white, red 和 Color 同属一个定义域
auto white = false; // 错误！因为 white 在这个定义域已经被声明过

enum class Color { black, white, red}; // black, white, red作用域为 Color
auto white = false; // fine, 在这个作用域内没有其他的 "white"

C++98 风格的 enum 是没有作用域的 enum

有作用域的枚举体的枚举元素仅仅对枚举体内部可见。只能通过类型转换（ cast ）转换为其他类型

有作用域和没有作用域的 enum 都支持指定潜在类型。有作用域的 enum 的默认潜在类型是 int 。没有作用域的 enum 没有默认的潜在类型。

有作用域的 enum 总是可以前置声明的。没有作用域的 enum 只有当指定潜在类型时才可以前置声明。 11. 优先考虑使用delete来禁用函数而不是声明成private却又不实现

template <class charT, class traits = char_traits<charT> >
class basic_ios : public ios_base {
public:
    basic_ios(const basic_ios& ) = delete;
    basic_ios& operator=(const basic_ios&) = delete;
};

delete的函数不能通过任何方式被使用，即使是其他成员函数或者friend，都是不行的，但是如果只是声明成privatre，编译器只会报警说是private的。

delete的另一个优势就是任何函数都可以delete，但是只有成员函数才能是private的，例如：

bool isLucky(int number); // 原本的函数
bool isLucky(char) = delete; // 拒绝char类型

上面这一段代码如果只是声明成private的话，会被重载

12. 使用override声明重载函数

只有当基类和子类的虚函数完全一样的时候，才会出现覆盖的情况，如果不完全一样，则会重载：

class Base{
public:
    virtual void doWork();
};
class Derived: public Base{
public:
    virtual void doWork();   //会覆盖基类
};

class Derived:public Base{
public:
    virtual void doWork()&&; //不会发生覆盖，而是会重载
};

所以尽量要在需要重写的函数后面加上override

13. 优先考虑const_iterator而非iterator

C++98中const_iterator不太好用，但是C++11中很方便

14. 如果函数不抛出异常请使用noexcept

因为对于异常本身来说，会不会发生异常往往是人们所关心的事情，什么样的异常反而是不那么关心的，因此noexcept和const是同等重要的信息并且加上noexcept关键字，会让编译器对代码的优化变强。

对于像swap这样需要进行异常检查的函数（还有移动操作函数，内存释放函数，析构函数），如果有noexcept关键字的话，会让代码效率提升非常大。当然，noexcept用的时候必须保证函数真的不会抛出异常

15. 尽可能的使用constexpr

constexpr：表示的值不仅是const，而且在编译阶段就已知其值了，他们因为这样的特性就会被放到只读内存里面，并且因为这个特性，constexpr的值可以用在数组规格，整形模板实参中：

constexpr auto arraySize = 10;
std::array<int, arraySize> data2;

但是对于constexpr的函数来说，如果所有的函数实参都是已知的，那这个函数也是已知的，如果所有实参都是未知的，编译无法通过，在调用constexpr函数时，入股传入的值有一个或多个在编译期未知，那这个函数就是个普通函数，如果都是已知的，那这个函数也是已知的。

使用constexpr会让客户的代码得到足够的支持，并且提升程序的效率

16. 确保const成员函数线程安全

class Polynomial{
public:
    using RootsType = std::vector<double>;
    RootsType roots() const{
        if(!rootAreValid){
            rootsAreValid = true;
        }
        return rootVals;
    }
private:
    mutable bool rootsAreValid{false};
    mutable RootsType rootVals{};
}

在上面那段代码中，虽然roots是const的成员函数，但是成员变量是mutable的，是可以在里面改的，如果这样做的话，就无法做到线程安全，并且编译器在看到const的时候还认为他是安全的。这个时候只能加上互斥量 std::lock_guardstd::mutex g(m); mutable std::mutex m;

当然，除了上面添加互斥量的做法以外，成本更低的做法是进行std::atomic的操作（但是仅适用于对单个变量或内存区域的操作）：

class Point{
public:
    double distanceFromOrigin() const noexcept{
        ++callCount;
        return std::sqrt((x*x) + (y * y));
    }    
private:
    mutable std::atomic<unsigned> callCount{0};
    double x, y;
};

17. 理解特殊成员函数函数的生成

特殊成员函数包括默认构造函数，析构函数，拷贝构造函数，拷贝赋值运算符（这些函数只有在需要的时候才会生成），以及最新的移动构造函数和移动赋值运算符

三大律：如果你声明了拷贝构造函数，赋值运算符重载，析构函数中的任何一个，都需要把其他几个补全，如果不想自己写的话，也要写上=default（如果不声明的话，编译器很有可能不会生成另外几个函数的默认函数）

对于成员函数模板来说，在任何情况下都不会抑制特殊成员函数的生成

四、智能指针

18. 对于占有性资源使用std::unique_ptr

资源是独占的，不允许拷贝，允许进行move std::unique_ptr是一个具有开销小，速度快，move-only特定的智能指针，使用独占拥有方式来管理资源

默认情况下，释放资源由delete来完成，也可以指定自定义的析构函数来替代，但是具有丰富状态的deleters和以函数指针作为deleters增大了std::unique_ptr的存储开销

很容易将一个std::unique_ptr转化为std::shared_ptr

19. 对于共享性资源使用std::shared_ptr

std::shared_ptr是原生指针的两倍大小，因为他们内部除了包含一个原生指针以外，还包含了一个引用计数
引用计数的内存必须被动态分配，当然用make_shared来创建shared_ptr会避免动态内存的开销。
引用计数的递增和递减必须是原子操作。
std::shared_ptr为了管理任意资源的共享式内存管理，提供了自动垃圾回收的便利
std::shared_ptr 是 std::unique_ptr 的两倍大，除了控制块，还有需要原子引用计数操作引起的开销
资源的默认析构一般通过delete来进行，但是自定义的deleter也是支持的。deleter的类型对于 std::shared_ptr 的类型不会产生影响
避免从原生指针类型变量创建 std::shared_ptr

20. 对于类似于std::shared_ptr的指针使用std::weak_ptr可能造成悬置

weak_ptr通常由一个std::shared_ptr来创建，他们指向相同的地方，但是weak_ptr并不会影响到shared_ptr的引用计数：

auto spw = std::make_shared<Widget>();//spw 被构造之后被指向的Widget对象的引用计数为1(欲了解std::make_shared详情，请看Item21)
std::weak_ptr<Widget> wpw(spw);//wpw和spw指向了同一个Widget,但是RC(这里指引用计数，下同)仍旧是1
spw = nullptr;//RC变成了0，Widget也被析构，wpw现在处于悬挂状态
if(wpw.expired())... //如果wpw悬挂...

那么虽然weak_ptr看起来没什么用，但是他其实也有一个应用场合（用来做缓存）：

std::unique_ptr<const Widget> loadWidget(WidgetID id); //假设loadWidget是一个很繁重的方法，需要对这个方法进行缓存的话，就需要用到weak_ptr了：

std::shared_ptr<const Widget> fastLoadWidget(WidgetId id){
    static std::unordered_map<WidgetID,
    std::weak_ptr<const Widget>> cache;
    auto objPtr = cache[id].lock();//objPtr是std::shared_ptr类型指向了被缓存的对象(如果对象不在缓存中则是null)
    if(!objPtr){
        objPtr = loadWidget(id);
        cache[id] = objPtr;
    }   //如果不在缓存中，载入并且缓存它
    return objPtr;
}

std::weak_ptr 用来模仿类似std::shared_ptr的可悬挂指针
潜在的使用 std::weak_ptr 的场景包括缓存，观察者列表，以及阻止 std::shared_ptr 形成的环

21. 优先考虑使用std::make_unique和std::make_shared而非new

和直接使用new相比，使用make函数减少了代码的重复量，提升了异常安全度，并且，对于std::make_shared以及std::allocate_shared来说，产生的代码更加简洁快速
也会存在使用make函数不合适的场景：包含指定自定义的deleter,以及传递大括号initializer的需要
对于std::shared_ptr来说，使用make函数的额外的不使用场景还包含

(1)带有自定义内存管理的class (2)内存非常紧俏的系统，非常大的对象以及比对应的std::shared_ptr活的还要长的std::weak_ptr

22. 当使用Pimpl惯用法，请在实现文件中定义特殊成员函数

impl类的做法：之前写到过，就是把对象的成员变量替换成一个指向已经实现的类的指针，这样可以减少build的次数

class Widget{ //still in header "widget.h"
public:
    Widget();
    ~Widget(); //dtor is needed-see below
private:
    struct Impl; //declare implementation struct and pointer to it
    std::unique_ptr<Impl> pImpl;
}

#include "widget.h" //in impl,file "widget.cpp"
#include "gadget.h"
#include <string>
#include <vector>
struct Widget::Impl{
    std::string name; //definition of Widget::Impl with data members formerly in Widget
    std::vector<double> data;
    Gadget g1,g2,g3;
}
Widget::Widget():pImpl(std::make_unique<Impl>())
Widget::~Widget(){} //~Widget definition，必须要定义，如果不定义的话会报错误，因为在执行Widget w的时候，会调用析构，而我们并没有声明，所以unique_ptr会有问题

Pimpl做法通过减少类的实现和类的使用之间的编译依赖减少了build次数
对于 std::unique_ptr pImpl指针，在class的头文件中声明这些特殊的成员函数，在class 的实现文件中定义它们。即使默认的实现方式(编译器生成的方式)可以胜任也要这么做
上述建议适用于 std::unique_ptr ,对 std::shared_ptr 无用

五、右值引用，移动语意，完美转发

23. 理解std::move和std::forward

首先move不move任何东西，forward也不转发任何东西，在运行时，不产生可执行代码，这两个只是执行转换的函数（模板），std::move无条件的将他的参数转换成一个右值，forward只有当特定的条件满足时才会执行他的转换，下面是std::move的伪代码：

template<typename T>
typename remove_reference<T>::type&& move(T&& param){
    using ReturnType = typename remove_reference<T>::type&&; //see Item 9
    return static_cast<ReturnType>(param);
}

24. 区别通用引用和右值引用

void f(Widget&& param);       //rvalue reference
Widget&& var1 = Widget();     //rvalue reference
auto&& var2 = var1;           //not rvalue reference
template<typename T>
void f(std::vector<T>&& param) //rvalue reference
template<typename T>
void f(T&& param);             //not rvalue reference

如果一个函数的template parameter有着T&&的格式，且有一个deduce type T.或者一个对象被生命为auto&&,那么这个parameter或者object就是一个universal reference.
如果type的声明的格式不完全是type&&,或者type deduction没有发生，那么type&&表示的是一个rvalue reference.
universal reference如果被rvalue初始化，它就是rvalue reference.如果被lvalue初始化，他就是lvaue reference.

25. 对于右值引用使用std::move，对于通用引用使用std::forward

右值引用仅会绑定在可以移动的对象上，如果形参类型是右值引用，则他绑定的对象应该是可以移动的

通用引用在转发的时候，应该进行向右值的有条件强制类型转换（用std::forward）
右值引用在转发的时候，应该使用向右值的无条件强制类型转换（用std::move)
如果上面两个方法使用反的话，可能会导致很麻烦的事情（代码冗余或者运行期错误）

在书中一直在强调“move”和"copy"两个操作的区别，因为move在一定程度上会效率更高一些

但是在局部对象中这种想法是错误的：

Widget MakeWidget(){
    Widget w;
    return w; //复制，需要调用一次拷贝构造函数
}

Widget MakeWidget(){
    Widget w;
    return std::move(w);//错误！！！！！！！会造成负优化
}

因为在第一段代码中，编译器会启用返回值优化（return value optimization RVO）,这个优化的启动需要满足两个条件：

局部对象类型和函数的返回值类型相同
返回的就是局部对象本身

而下面一段代码是不满足RVO优化的，所以会带来负优化

所以：如果局部对象可以使用返回值优化的时候，不应该使用std::move 和std:forward

26. 避免重载通用引用

主要是因为通用引用（特别是模板），会产生和调用函数精确匹配的函数，例如现在有一个：

template<typename T>
void log(T&& name){}

void log(int name){}

short a;
log(a);

这个时候如果调用log的话，就会产生精确匹配的log方法，然后调用模板函数

而且在重载过程当中，通用引用模板还会和拷贝构造函数，复制构造函数竞争（这里其实有太多种情况了），只举书上的一个例子：

class Person{
public:
    template<typename T> explicit Person(T&& n): name(std::forward<T>(n)){} //完美转发构造函数
    explicit Person(int idx); //形参为int的构造函数

    Person(const Person& rhs) //默认拷贝构造函数（编译器自动生成）
    Person(Person&& rhs); //默认移动构造函数（编译器生成）
};

Person p("Nancy");
auto cloneOfP(p);  //会编译失败，因为p并不是const的，所以在和拷贝构造函数匹配的时候，并不是最优解，而会调用完美转发的构造函数

27. 熟悉重载通用引用的替代品

这一条主要是为了解决26点的通用引用重载问题提的几个观点，特别是对构造函数（完美构造函数）进行解决方案

放弃重载，采用替换名字的方案
用传值来替代引用（可以提升性能但却不用增加一点复杂度
采用impl方法：

template void logAndAdd(T&& name){ logAndAddImpl( std::forward(name), std::is_integral<typename std::remove_reference::type>() //这一句只是为了区分是否是整形 ); }
对通用引用模板加以限制（使用enable_if）

class Person{ public: template<typename T, typename = typename std::enable_if::type>//这里的condition只是一个代号，condition可以是：!std::is_same<Person, typename std::decay::type>::value,或者是：!std::is_base_of<Person, typename std::decay::type>::value&&!std::is_integral<std::remove_reference_t>::value explicit Person(T&& n); } //说实话这个代码的可读性emmmmmmmm，大概还是我太菜了。。。。

28. 理解引用折叠

在实参传递给函数模板的时候，推导出来的模板形参会把实参是左值还是右值的信息编码到结果里面：

template<typename T>
void func(T&& param);

Widget WidgetFactory() //返回右值
Widget w;

func(w);               //T的推到结果是左值引用类型，T的结果推倒为Widget&
func(WidgetFactory);   //T的推到结果是非引用类型（注意这个时候不是右值），T的结果推到为Widget

C++中，“引用的引用”是违法的，但是上面T的推到结果是Widget&时，就会出现 void func(Widget& && param);左值引用+右值引用

所以事实说明，编译器自己确实会出现引用的引用（虽然我们并不能用），所以会有一个规则（我记得C++ primer note里面也讲到过）

如果任一引用是左值引用，则结果是左值引用，否则就是右值引用
引用折叠会在四种语境中发生：模板实例化，auto类型生成、创建和运用typedef和别名声明，以及decltype

29. 认识移动操作的缺点

假设移动操作不存在，成本高，未使用
对于那些类型或对于移动语义的支持情况已知的代码，则无需做上述假定

原因在于C++11以下的move确实是低效的，但是C++11及以上的支持让move操作快了一些，但是更多时候编写代码并不知道代码对C++版本的支持，所以要做以上假定

30. 熟悉完美转发失败的情况

template<typename T>
void fwd(T&& param){           //接受任意实参
    f(std::forward<T>(param)); //转发该实参到f
}

template<typename... Ts>
void fwd(Ts&&... param){        //接受任意变长实参
    f(std::forward<Ts>(param)...);
}

完美转发失败的情况：

（大括号初始化物）
f({1, 2, 3}); //没问题，{1, 2, 3}会隐式转换成std::vector<int>
fwd({1, 2, 3}) //错误，因为向为生命为std::initializer_list类型的函数模板形参传递了大括号初始化变量，但是之前说如果是auto的话，会推到为std::initializer_list,就没问题了。。。

（0和NULL空指针）
（仅仅有声明的整形static const 成员变量）：
class Widget{
public:
    static const std::size_t MinVals = 28; //仅仅给出了声明没有给出定义
};
fwd(Widget::MinVals);      //错误，应该无法链接，因为通常引用是当成指针处理的，而也需要指定某一块内存来让指针指涉

（重载的函数名字和模板名字）
void f(int (*fp)(int));
int processValue(int value);
int processValue(int value, int priority);
fwd(processVal); //错误，光秃秃的processVal并没有类型型别

（位域）
struct IPv4Header{
    std::uint32_t version:4,
    IHL:4,
    DSCP:6,
    ECN:2,
    totalLength:16;
};

void f(std::size_t sz); IPv4Header h;
fwd(h.totalLength); //错误

最后，所有的失败情形实际上都归结于模板类型推到失败，或者推到结果是错误的。

六、Lambda表达式

31. 避免使用默认捕获模式

主要是使用显式捕获的时候，可以比较明显的让用户知道变量的声明周期：

void addDivisorFilter(){
    auto divisor = computeDivisor(cal1, cal2);
    filters.emplace_back([&](int value){return value % divisor == 0;}) //危险，因为divisor在闭包里面很容易空悬，生命周期会结束
}

如果用显式捕获的话：

filters.emplace_back([&divisor](int value){return value % divisor == 0;}) //仍然很危险，但是起码很明显

最好的做法就是传一个this进去：

void Widget::addFilter() const{
    auto currentObjectPtr = this;    //这样就把变量的声明周期和object绑定起来了
    filters.emplace_back([currentObjectPtr](int value){
        return value % currentObjectPtr->advisor == 0;
    })
}

32. 使用初始化捕获来移动对象到闭包中

auto func = [pw = std::make_unique<Widget>()]{    //初始化捕获（广义lambda捕获），适用于C++14及其以上
    return pw->isValidated() && pw->isArchived();
};

auto func = std::bind([](const std::unique_ptr<Widget>& data){}, std::make_unique<Widget>()); // C++11的版本，和上面的含义一样

33. 对于std::forward的auto&&形参使用decltype

在C++14中，我们可以在lambda表达式里面使用auto了，那么我们想要把传统的完美转发用lambda表达式写出来应该是什么样子的呢：

class SomeClass{
public:
    template<typename T>
    auto operator()(T x) const{
        return func(normalize(x));
    }
}

auto f=[](auto&& x){
    return func(normalize(std::forward<decltype(x)>(x)));
};

34. 优先考虑lambda表达式而非std::bind

lambda表达式具有更好的可读性，表达力也更强，有可能效率也更高
只有在C++11中，bind还有其发挥作用的余地

七、并发API

35. 优先考虑基于任务的编程而非基于线程的编程

基于线程的代码：

int doAsyncWork();
std::thread t(doAsyncWork);

基于任务的代码：

auto fut = std::async(doAsyncWork);

我们应该优先考虑基于任务的方法（后面这个），首先async是能够获得doAsyncWork的返回值的，并且如果里面有异常的话，也可以捕捉得到。而且更重要的是，使用后面这种方法可以将线程管理的责任交给std标准库来，不需要自己解决死锁，负载均衡，新平台适配等问题

另外，软件线程（操作系统线程或者系统线程）是操作系统的跨进程管理线程，能够创建的数量比硬件线程要多，但是是一种有限资源，当软件线程没有可用的时候，就会直接抛出异常，即使被调用函数式noexcept的。

下面是几种直接使用线程的情况（当然这些情况并不常见）：

需要访问底层线程实现的API（pthread或者Windows线程库）
需要并且开发者有能力进行线程优化
需要实现C++并发API中没有的技术

36. 如果有异步的必要请指定std::launch::threads

std::launch::async：指定的时候意味着函数f必须以异步方式进行，即在另一个线程上执行
std::launch::deferred 则指f只有在get或者wait函数调用的时候同步执行，如果get或者wait没有调用，则f不执行
如果不指定策略的话（默认方法），则系统会按照自己的估计来推测需要进行什么样的策略（会带来不确定性），感觉还是很危险的！！！所以尽量在使用的时候指定是否是异步或者是同步

auto fut = std::async(f); if(fut.wait_for(0s) == std::future_statuc::deferred){....} //判断是否是同步（是否推迟了） else{ while{fut.wait_for(100ms) != std::future_status::ready}{}//不可能死循环，因为之前有过判断是否是同步 }

37. 从各个方面使得std::threads unjoinable

每一个std::thread类型的对象都处于两种状态：joinable和unjoinable

joinable：对应底层已运行、可运行或者运行结束的出于阻塞或者等待调度的线程
unjoinable：默认构造的std::thread, 已move的std::thread, 已join的std::thread, 已经分离的std::thread
如果某一个std::thread是joinable的，然后他被销毁了，会造成很严重的后果，（比如会造成隐式join（会造成难以调试的性能异常）和隐式detach（会造成难以调试的未定义行为）），所以我们要保证thread在所有路径上都是unjoinable的：

class ThreadRAII{ public: enum class DtorAction{join, detach}; ThreadRAII(std::thread&& t, DtorAction a):action(a), t(std::move(t)){} //把线程交给ThreadRAII处理 ~THreadRAII(){ if(t.joinable()){ if(action == DtorAction::join){ t.join(); } else{ t.detach(); //保证所有路径出去都是不可连接的 } } } private: DtorAction action; std::thread t; //成员变量最后声明thread }

38. 知道不同线程句柄析构行为

 _____           ___返回值___  std::promise _______
|调用方|<--------|被调用方结果|<------------|被调用方|

因为被调用函数的返回值有可能在调用方执行get前就执行完毕了，所以被调用线程的返回值会保存在一个地方，所以会存在一个"共享状态"

所以在异步状态下启动的线程的共享状态的最后一个返回值是会保持阻塞的，知道该任务结束，返回值的析构函数在常规情况下，只会析构返回值的成员变量

39. 考虑对于单次事件通信使用void

对于我们在线程中经常使用的flag标志位：

while(!flag){}

可以用线程锁来代替,这个时候等待，不会占用本该进行计算的某一个线程资源：

bool flag(false);
std::lock_guard<std::mutex> g(m);
flag = true;

不过使用标志位的话也不太好，如果使用std::promise类型的对象的话就可以解决上面的问题，但是这个途径为了共享状态需要使用堆内存，而且只限于一次性通信

std::promise<void> p;
void react();    //反应任务
void detect(){  //检测任务
    std::thread t([]{
        p.get_future().wait();
        react();           //在调用react之前t是暂停状态
    });
    p.set_value();  //取消暂停t
    t.join();       //把t置为unjoinable状态
}

40. 对于并发使用std::atomic，对特殊内存区使用volatile

atomic原子操作（其他线程只能看到ai的值是0 或者10）:

std::atomic<int> ai(0);
ai = 10;                 //将ai原子的设置为10

volatile 类型值（其他线程可以看到vi取任何值）：

volatile int vi(0);      //将vi初始化为0
vi = 10;                 //将vi的值设置为10，如果两个线程同时执行vi++的话，就可能会出现11和12两种情况

volatile的作用：告诉编译器正在处理的变量使用的是特殊内存，不要在这个变量上做任何优化

volatile int x;
auto y = x; //读取x，（这个时候auto会把const和volatile的修饰词丢弃掉，所以y的类型是int
y = x;      //再次读取x，这个时候不会被优化掉

八、微调

41. 对于那些可移动总是被拷贝的形参使用传值方式

一般来说，我们写函数的时候是不用按值传递的，但是如果形参本身就是要拷贝或者移动的话，是可以按值来传递的，三种操作的成本如下：

重载操作：对于左值是一次复制，对于右值是一次移动
使用万能引用：左值是一次复制，右值是一次移动
按值传递：左值是一次复制加一次移动，右值是两次移动

所以按值传递的应用场景：移动操作成本低廉，形参是可以复制的，因为这两种情况同时满足的时候，按值传递效率并不会低太多

42. 考虑就地创建而非插入

插入方法： push_back()等
就地创建方法：emplace_back()等

考虑以下代码：

std::vector<std::string> vs;
vs.push_back("xyz");

上面这一段代码一共有三个步骤：

从xyz变量出发，创建从const char到string的临时变量temp，temp是个右值
temp被传递给push_back的右值重载版本，在内存中为vector构造一个x的副本，创建一个新的对象
在push_back完成的时候，temp被析构

如果用emplace_back的话，就不会产生任何临时对象，因为emplace_back使用了完美转发方法，这样就会大大提升代码的效率

在以下情况下，创建插入会比插入更高效（其实如果不是出现拒绝添加新值的情况的话，置入永远比插入要好一些）：

要添加的值是以构造而不是复制的方式加入到容器中的
传递的实参类型和容器内本身的类型不同
容器不太可能由于出现重复情况而拒绝添加的新值（例如map）

orca-bit / effective-cpp-note Goto Github PK

effective-cpp-note's Introduction

Note Of Effective C++ And More Effective C++

Effective C++

一、让自己习惯C++ (Accustoming Yourself to C++ 11)

二、构造/析构/赋值运算 (Constructors, Destructors, and Assignment Operators)

三、资源管理 (Resource Management)

四、设计与声明 (Designs and Declarations)

五、实现 (Implementations)

六、继承与面向对象设计 (Inheritance and Object-Oriented Design)

七、模板与泛型编程 (Templates and Generic Programming)

八、定制new和delete (Customizing new and delete)

杂项讨论 (Miscellany)

More Effective C++

一、基础议题

二、运算符

三、异常

四、效率

五、技巧

六、杂项

Effective Modern C++

一、类型推导

二、auto

三、移步现代C++

四、智能指针

五、右值引用，移动语意，完美转发

六、Lambda表达式

七、并发API

八、微调

effective-cpp-note's People

Contributors

Stargazers

Recommend Projects

Recommend Topics

Recommend Org