畢業(yè)設(shè)計(jì)中途重讀了幾本以前看過(guò)的書(shū)，需要做些筆記做日后查閱時(shí)使用。
偶然看到 Justin 寫(xiě)的《Effective C++》筆記，為方便就結(jié)章轉(zhuǎn)載在此。

========================
Effective C++   C++
書(shū)作者：Scott Meyers
原筆記作者：Justin : http://m.shnenglu.com/note-of-justin/
========================

Item 1 ：C++是一個(gè)語(yǔ)言聯(lián)邦
--------------------------
 tag: c c++組成

 C  
  區(qū)塊（blocks）、語(yǔ)句（statements）、預(yù)處理器（preprocessor）、內(nèi)置數(shù)據(jù)類(lèi)型（built-in data types）、數(shù)組（arrays）、指針（pointers）。
  
 Object-Oriented C++
  classes（包括構(gòu)造、析構(gòu)）、封裝（encapsulation）、繼承（inheritance）、多態(tài)（polymorphism）、virtual函數(shù)（動(dòng)態(tài)綁定）

 Template C++
  泛型編程（generic programming）  Template metaprogramming（TMP，模版元編程）

 STL
  容器（containers）、迭代器（iterators）、算法（algorithms）、函數(shù)對(duì)象（function objects）
  
 每個(gè)語(yǔ)言都有自己的次規(guī)則

Item 2  ：用const、enum和模板inline推翻#define的統(tǒng)治
---------------------------------------------------
 tag: const enum inline #define
 
 需要定義常量時(shí)，不要用#define，改用const修飾的變量或是用enum吧
 要想寫(xiě)一些簡(jiǎn)短小函數(shù)時(shí)，別考慮#define啦，改用template+inline吧

 原因是若為浮點(diǎn)變量，用const減小了代碼大小，同時(shí)還使得封裝(encapsulation)變得可行（宏被定義后，在之后的編譯過(guò)程都有效，除非undef ），而且，在調(diào)試的時(shí)候，因?yàn)閏onst定義的變量是會(huì)加在符號(hào)表(Symbol Table)的，就比define常量要方便跟蹤了(在預(yù)處理階段，常量的名字就已經(jīng)被替換掉了)
 在一些特定的情況下(編譯器不允許“static整數(shù)型class常量”完成“in class 初值設(shè)定” )，如果不能用const取代#define，就用enum。除了不能獲取一個(gè)enum的地址之外，這種方法和const的用法其實(shí)差不多。
 可以取一個(gè)const的地址，不能取一個(gè)enum的地址，通常不能取一個(gè)#define的地址。
 
 inline函數(shù)和宏有個(gè)共同的地方，他們都不會(huì)有函數(shù)調(diào)用的棧的開(kāi)銷(xiāo)。再喊上模板(template)來(lái)幫忙，就不用去考慮實(shí)際調(diào)用時(shí)的參數(shù)類(lèi)型。

Item 3  ：盡可能使用const
--------------------------------------------------
 tag: const  non-const  conceptual constness  mutable
 
 ·首先要知道const可以通用在對(duì)象上，函數(shù)參數(shù)和返回值上，甚至是用在限制函數(shù)本身。
 ·const 出現(xiàn)在星號(hào)左邊，表式被指物是常量；出現(xiàn)在星號(hào)右邊，指針自身是常量；
 ·兩個(gè)成員函數(shù)如果只是常量性（constness）不同，可以被重載。
 ·const和non-const成員函數(shù)的實(shí)現(xiàn)等價(jià)時(shí)，可以用non-const版本調(diào)用const版本避免代碼重復(fù)。
 
    Compilers enforce bitwise constness, but you should program using conceptual constness.

 這里有提到constness(常量性)的兩個(gè)門(mén)派: bitwise學(xué)院派和conceptual實(shí)用派。
 bitwise constness陣營(yíng)應(yīng)該都是很學(xué)究的，這里認(rèn)為如果一個(gè)函數(shù)被聲明是const，你就絕對(duì)不能修改對(duì)象里的任何成員(static成員除外)。
 主張conceptual constness流的當(dāng)然都比較好說(shuō)話，雖然你是const黨，但需要的時(shí)候，還是應(yīng)該有例外的嘛。正所謂人無(wú)完人，const也沒(méi)有絕對(duì)的const～
 
  conceptual constness可以這樣解釋?zhuān)壕邆鋍onceptual constness的對(duì)象/函數(shù)，其行為對(duì)于該對(duì)象/函數(shù)以外的數(shù)據(jù)是const的，不會(huì)篡改別人的東東。但是不保證它 不會(huì)修改對(duì)象/函數(shù)內(nèi)部的成員：當(dāng)這些成員用mutable修飾的時(shí)候，我們可以在一個(gè)const函數(shù)中修改這些mutable成員的值。
 所以說(shuō)這樣的constness是概念上的，實(shí)際上在這樣的函數(shù)中有可能改變了一些變量的值，只不過(guò)沒(méi)有與它聲稱(chēng)的constness矛盾而已。

 用mutable限定的對(duì)象，哪怕是在const函數(shù)里，一樣可以修改！

 和const有關(guān)的還有在const和非const對(duì)象間的轉(zhuǎn)換問(wèn)題(用const_cast和static_cast完成兩個(gè)方向的轉(zhuǎn)換)，不過(guò)層次太高，我還沒(méi)能看到有需要用的地方

 const char& operator[](size_t position) const {
  ...
 }
 char& operator[](size_t position)   //調(diào)用已經(jīng)實(shí)現(xiàn)的const op[]
 {
      return const_cast<char&> (     //將const op[] 的返回值中移除 const
                  static_cast<const CClass&>(*this)   //將*this轉(zhuǎn)型為 const，指明調(diào)用的是const版本的op[]
                  [position] );
 }

Item 4  ：對(duì)象初始化
--------------------------------------------
 tag：local static ， 初始化列表， 賦值（assignment）
 
 ·對(duì)于內(nèi)建的對(duì)象類(lèi)型，手工初始化。
 ·對(duì)于對(duì)象自身的成員，推薦的方法是在構(gòu)造函數(shù)的初始化列表。
 ·以logcal static 對(duì)象替換 non-local static對(duì)象，以避免“跨編譯單元之初始化次序”問(wèn)題。
 
 賦值（assignment）的效率要比初始化（initialization）低，因?yàn)榍罢呦葮?gòu)造了對(duì)象再對(duì)他們賦值，在構(gòu)造的同時(shí)就也把值賦了。這里還沒(méi)加上拷貝構(gòu)造函數(shù)的可能開(kāi)銷(xiāo)，還有一些類(lèi)型如const變量、引用(reference)是不能用賦值的形式“初始化”的……
 如果在初始化某個(gè)對(duì)象的時(shí)候，有對(duì)其他對(duì)象是否有初始化的依賴(lài)(對(duì)不起，這里有點(diǎn)拗口)，一定要確保其中所依賴(lài)的對(duì)象已經(jīng)初始化完畢。
 
 當(dāng)不同的對(duì)象的初始化存在相互依賴(lài)時(shí)，某個(gè)對(duì)象沒(méi)有初始化有可能導(dǎo)致另外一個(gè)對(duì)象初始化的失敗。
 當(dāng)初始化涉及到非局部靜態(tài)對(duì)象(non-local static object)時(shí)，問(wèn)題更加明顯：非局部靜態(tài)對(duì)象如果定義在不同的文件中，他們就有可能位于不同的編譯單元(translation unit)，因?yàn)檫@些對(duì)象到底誰(shuí)先被初始化是不可預(yù)知的。
 編譯單元（translation unit）：產(chǎn)出單一目標(biāo)文件（single object file）的那些源碼，通常為單一源碼文件加上所包含的頭文件。

 解決此類(lèi)問(wèn)題的一個(gè)方法是：把非局部靜態(tài)對(duì)象轉(zhuǎn)換為局部靜態(tài)對(duì)象(local static object)，也就是把它的定義放在一個(gè)函數(shù)里。然后緊接著在這個(gè)函數(shù)返回該對(duì)象的引用。C++語(yǔ)言規(guī)定在調(diào)用一個(gè)含有局部靜態(tài)對(duì)象的函數(shù)時(shí)，其中的所有局部靜態(tài)對(duì)象都必須初始化。這個(gè)方法就是利用這一特性，將原本對(duì)一個(gè)非局部靜態(tài)對(duì)象的訪問(wèn)，轉(zhuǎn)換為對(duì)一個(gè)函數(shù)的調(diào)用，這個(gè)函數(shù)會(huì)返回該靜態(tài)對(duì)象的引用，并且保證這個(gè)對(duì)象已經(jīng)被初始化了。

 如果需要初始化一個(gè)非局部靜態(tài)對(duì)象，就把它放到一個(gè)函數(shù)里，讓這個(gè)函數(shù)簡(jiǎn)單的返回這個(gè)對(duì)象的引用。