Note of Justin

[原創文章歡迎轉載，但請保留作者信息]

Justin 于 2009-10-26

這里要講的是飯前要洗手。

如果手沒洗干凈就開動，你可能會因為吃下臟東西而腹瀉不止；如果對象沒初始化就使用，程序可能會由于未知的初值參與運算而痛苦不堪。

道理很簡單。怎么洗呢：

• 對于內建的對象類型(例子？int)，一定要親自初始化他們，因為有時候C++不會幫你干這種沒有技術含量的活@#￥%
• 對于對象自身的成員，推薦的方法是在構造函數的初始化列表來干這個活。
  注意，如果只是簡單的在構造函數里將變量一一賦值，那只是“賦值”，不是“初始化”。前者的效率要比后者低，因為前者先構造了對象再對他們賦值，而后者一石二鳥，畢其功于一役，在構造的同時就也把值賦了(多好的孩子！)。這里還沒加上拷貝構造函數的可能開銷，還有一些類型如const變量、引用(reference)是不能用賦值的形式“初始化”的……
  下面就有兩個程序片段的例子對比(最恨貼代碼的了，沒有一點技術含量)
  //initialize?by?assignment
  ClassA::ClassA?(int?i,?const?std::string&?s,?const?ClassC&?c)
  {
  ???iInt?=?i;
  ???sStr?=?s;
  ???cClassC?=?c;
  }
  
  
  // initialize?by?initialization?list
  ClassB::ClassB?( int ?i,? const ?std:: string & ?s,? const ?ClassC & ?c)
  ???:?iInt(i),
  ?????sStr(s),
  ?????cClassC(c)
  {}

• 如果在初始化某個對象的時候，有對其他對象是否有初始化的依賴(對不起，這里有點拗口)，一定要確保其中所依賴的對象已經初始化完畢。通篇幾乎都在說沒有什么技術含量，最后逼得大師給了一點有技術含量的內容：
  當不同的對象的初始化存在相互依賴時，某個對象沒有初始化有可能導致另外一個對象初始化的失敗。
  比如說，呃……我又要比如說了，吃飯前要保證做飯的自來水是干凈的，也要保證抓飯的手(哪國的?)也是干凈的。要保證手是干凈的就要洗手，洗手的前提是自來水是干凈的。這個時候手和自來水是否干凈這兩個前提之間就有了依賴關系。
  當初始化涉及到非局部靜態對象(non-local static object)時，問題更加明顯：非局部靜態對象如果定義在不同的文件中，他們就有可能位于不同的編譯單元(translation unit)，因為這些對象到底誰先被初始化是不可預知的。(也就是說我們可能在洗手前并不知道水是不是已經弄干凈了)
  
  解決此類問題的一個方法是：把非局部靜態對象轉換為局部靜態對象(local static object)，也就是把它的定義放在一個函數里。然后緊接著在這個函數返回該對象的引用。C++語言規定在調用一個含有局部靜態對象的函數時，其中的所有局部靜態對象都必須初始化。這個方法就是利用這一特性，將原本對一個非局部靜態對象的訪問，轉換為對一個函數的調用，這個函數會返回該靜態對象的引用，并且保證這個對象已經被初始化了。
  就比如說如果我們需要保證洗手的時候水已經是干凈的了，就在水龍頭外加一個凈水器，這樣只要一開水就一定是干凈的了，哇哈哈。(如果看到這里還不明白，就去看書上的例子吧，我自己也承認這一部分被我解讀得很晦澀@#￥%)
  
  試圖亡羊補牢，總結一下上面兩坨字：如果需要初始化一個非局部靜態對象，就把它放到一個函數里，讓這個函數簡單的返回這個對象的引用。(為什么要這樣做？你可以返回看上面兩坨字……)

?