Effective C++读书笔记(条款1-10)

不得不说，Effective C++确实是一本C++进阶的好书，刚浏览完第二遍，

现对其做一个大体性的总结 ，并进行适当的展开，作为以后C++参考复习之用。

（一）.让自己习惯C++

____________________________________________________________________________________________________________________________________

条款1：视C++为一个语言联邦

#1.将C++ 分为四个次语言：C,Templete C++, Object-Oritented C++, STL;

____________________________________________________________________________________________________________________________________

条款2：尽量用 const, enum, inline 替换 #define
#1.用const替代#define。
理由1：预处理器移走了记号名称，导致记号名称没进入符号表，当发生编译错误时，你只能得到定义值，因此不知道错误来自何处。
理由2：预处理器盲目的用定义值替换记号名称，会使目标码出现多份定义值，使目标码增大。

理由3：#defines不能用来定义class专属常量，而const可以。

#2.用enum替代#define
理由：#define对其后的编译过程都有效，而如果想把scope限定在类内，又要使用
编译前确定的常量，可以使用static const int 或 "the enum hack",如enum{Num=5;},
但在某些方面enum更接近#define的行为，比如enum和define一样不能取地址，

而const可以取地址，这可以避免pointer和reference指向你enum中的某个常量，实现约束。

#3.用inline替代#define
如：#define CALL_WITH_MAX(a,b) f((a) > (b)?(a):(b))
用CALL_WITH_MAX(++a, b);//a会被累加二次

换用inline function可享有这种宏带来的效率并且能正确执行。

____________________________________________________________________________________________________________________________________

条款3：尽可能使用const，因为这个标识符会告诉编译器增加约束
#1.bitwise constness是C++常量性的定义，编译器遵循这个规则，但有时候为了性能，可以考虑逻辑性的常量，巧用mutable实现客户端侦测不出的功能。
#2.为避免const和non-const重载的函数代码重复，可以利用non-const在转型中调用const来实现,反过来则不然，因为const函数的本意是不允许改变，不要破坏这个规则。

____________________________________________________________________________________________________________________________________

条款4：确定对象被使用前已先被初始化
#1.default构造函数初始化动作发生在进入构造函数本体之前，为确保效率性能，
对于自定义类型，请在成员初始列中初始化，而不是在构造函数本体中赋值。
#2.对应内置数据类型，为避免不明确行为和成员初始化的一致性，最好在成员
初始列中初始化
#3.若有多个构造函数，同时对多个内置数据类型初始化，为避免重复动作，可将
初始化赋值行为搬移到函数中，并同时调用该函数。
#4.为免除“跨编译单元初始化次序”问题，请以local static对象替换 non-local static 对象。
理由1：non-local static 对象被另一编译单元内某个 non-local static 对象用以初始化时，
因为编译单元次序不明确，所以无法保证前者已经被初始化。

理由2：local static 对象会在函数调用期间首次遇上时初始化，因此未使用时没有初始化成本。

____________________________________________________________________________________________________________________________________

（二）.构造/析构/赋值运算

____________________________________________________________________________________________________________________________________

条款5：了解C++编译器默默编写并调用了哪些函数
#1.编译器暗自为class创建了default构造函数，copy构造函数，copy assignment操作符，以及析构函数。
#2.若class中含有const或reference成员变量，则调用默认的copy assignment的结果是
编译器拒绝编译那一行，除非你自己定义了copy assignment.
#3.如果base classes 将 copy assignment操作符声明为private, 编译器将拒绝为其

derived class 生成一个copy assignment操作符。

____________________________________________________________________________________________________________________________________

条款6：为驳回编译器自动生成机能，可将成员函数显示声明private，并不予实现
例如：

class HomeForSale{
public:
 ...
private:
 HomeForSale(const HomeForSale&);
 HomeForSale operator=(const HomeForSale&);
}

private意味着企图拷贝HomeForSale对象时，会被编译器拒绝，若不慎
被member函数或friend函数调用，也会因其没有提供实现而被链接器抱怨。

若想将链接期错误转移至编译期，则可使用继承，如

class MyHomeForSale:private HomeForSale{
 ...
};

此时尝试生成copy构造函数和copy assignment操作符时，会因调用base class对应

函数版本失败而被编译器拒绝。

____________________________________________________________________________________________________________________________________

条款7：为多态基类声明virtual析构函数
#1.带多态性质的base classes应该声明一个virtual析构函数，不带多态性质的base classes
不应该声明virtual析构函数， non-base class更不应该声明virtual析构函数(virtual会增加对象体积空间)。
(带多态性质意味着可能会有基类指针指向派生类对象）

#2.class中有virtual函数意味着带多态性质，因此也该拥有一个virtual析构函数。

____________________________________________________________________________________________________________________________________

条款8：别让异常逃离析构函数
#1.在两个异常同时存在的情况下，程序若不是结束执行就是导致不明确行为。
#2.别让析构函数吐出异常，如果一个被析构函数调用的函数可能抛出异常，析构
函数应该捕捉任何异常，然后它们（不传播），或结束程序，否则容易导致不明确行为。
#3.一种更好的策略是编写一个普通函数供客户调用，然后给客户一次捕捉异常的机会，
并在析构函数中对该普通函数执行判定操作，并在需要执行时捕捉函数异常，并实现#2的原则。
如：

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

~DBConn
{
    if(!bClosed)
    {
        try{
            db.close();
            bClosed = true;
        }catch(...)
        {
        //制作运转记录，记下对close的调用失败
        ...
        }
    }
}
private:
 DBConnection db;
 bool bClosed;
}

____________________________________________________________________________________________________________________________________

条款9：绝不在构造和析构函数中调用virtual函数
#1.确定你的构造函数和析构函数都没有（在对象被创建和销毁期间）调用virtual函数，
而它们调用的所有函数也都服从统一约束。
理由1：在derived class对象base class构造期间，并未初始化derived class专属成员，
调用derived class的函数会导致不明确行为，因此此时只是在调用base class的对应函数，
并无virtual真正意义。(析构函数同理）
理由2：derived class对象的base class构造期间，对象类型是base class而不是derived
class, 所以virtual 函数会被编译器解析至base class。另外，运行期类型信息dynamic_cast和
typeid也一样。（析构函数同理）
理由3：因为有上述理由，当在构造函数或析构函数中显示调用virtual函数时，某些编译器会
发出警告信息。

#2.为解决上述问题，可使用derived class的static函数将信息传递给base class构造函数或析构函数这项技术。
如：

class Transaction
{
public:
    explicit Transaction(const std:string& logInfo);
    void logTransaction(const std:string&logInfo) const;
    ...
};
Transaction::Transaction(const std::string& logInfo)
{
    ...
    logTransaction(logInfo);
}
class BuyTransaction:public Transaction{
public:
    BuyTransaction(parameters);
    :Transaction(createLogString(parameters)){...}
    ...
private:
    static std::string createLogString(parameters);
};

____________________________________________________________________________________________________________________________________

条款10：令opertator=(+=,-=,*=类似运算操作符)返回一个reference to *this
理由1：reference比赋值在自定义类型中拥有更好的性能。
理由2：这一协议被所有内置类型和标准程序库提供的类型，如string,vector,complex,

tr1:shared_ptr等所遵守，为了统一起见，还是遵守吧!

____________________________________________________________________________________________________________________________________