Note of Justin

[原創(chuàng)文章歡迎轉(zhuǎn)載，但請(qǐng)保留作者信息]

Justin 于 2009-10-26

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

如果手沒(méi)洗干凈就開(kāi)動(dòng)，你可能會(huì)因?yàn)槌韵屡K東西而腹瀉不止；如果對(duì)象沒(méi)初始化就使用，程序可能會(huì)由于未知的初值參與運(yùn)算而痛苦不堪。

道理很簡(jiǎn)單。怎么洗呢：

• 對(duì)于內(nèi)建的對(duì)象類(lèi)型(例子？int)，一定要親自初始化他們，因?yàn)?em>有時(shí)候C++不會(huì)幫你干這種沒(méi)有技術(shù)含量的活@#￥%
• 對(duì)于對(duì)象自身的成員，推薦的方法是在構(gòu)造函數(shù)的初始化列表來(lái)干這個(gè)活。
  注意，如果只是簡(jiǎn)單的在構(gòu)造函數(shù)里將變量一一賦值，那只是“賦值”，不是“初始化”。前者的效率要比后者低，因?yàn)榍罢呦葮?gòu)造了對(duì)象再對(duì)他們賦值，而后者一石二鳥(niǎo)，畢其功于一役，在構(gòu)造的同時(shí)就也把值賦了(多好的孩子！)。這里還沒(méi)加上拷貝構(gòu)造函數(shù)的可能開(kāi)銷(xiāo)，還有一些類(lèi)型如const變量、引用(reference)是不能用賦值的形式“初始化”的……
  下面就有兩個(gè)程序片段的例子對(duì)比(最恨貼代碼的了，沒(méi)有一點(diǎn)技術(shù)含量)
  //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)
  {}

• 如果在初始化某個(gè)對(duì)象的時(shí)候，有對(duì)其他對(duì)象是否有初始化的依賴(lài)(對(duì)不起，這里有點(diǎn)拗口)，一定要確保其中所依賴(lài)的對(duì)象已經(jīng)初始化完畢。通篇幾乎都在說(shuō)沒(méi)有什么技術(shù)含量，最后逼得大師給了一點(diǎn)有技術(shù)含量的內(nèi)容：
  當(dāng)不同的對(duì)象的初始化存在相互依賴(lài)時(shí)，某個(gè)對(duì)象沒(méi)有初始化有可能導(dǎo)致另外一個(gè)對(duì)象初始化的失敗。
  比如說(shuō)，呃……我又要比如說(shuō)了，吃飯前要保證做飯的自來(lái)水是干凈的，也要保證抓飯的手(哪國(guó)的?)也是干凈的。要保證手是干凈的就要洗手，洗手的前提是自來(lái)水是干凈的。這個(gè)時(shí)候手和自來(lái)水是否干凈這兩個(gè)前提之間就有了依賴(lài)關(guān)系。
  當(dāng)初始化涉及到非局部靜態(tài)對(duì)象(non-local static object)時(shí)，問(wèn)題更加明顯：非局部靜態(tài)對(duì)象如果定義在不同的文件中，他們就有可能位于不同的編譯單元(translation unit)，因?yàn)檫@些對(duì)象到底誰(shuí)先被初始化是不可預(yù)知的。(也就是說(shuō)我們可能在洗手前并不知道水是不是已經(jīng)弄干凈了)
  
  解決此類(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ì)象的訪(fǎng)問(wèn)，轉(zhuǎn)換為對(duì)一個(gè)函數(shù)的調(diào)用，這個(gè)函數(shù)會(huì)返回該靜態(tài)對(duì)象的引用，并且保證這個(gè)對(duì)象已經(jīng)被初始化了。
  就比如說(shuō)如果我們需要保證洗手的時(shí)候水已經(jīng)是干凈的了，就在水龍頭外加一個(gè)凈水器，這樣只要一開(kāi)水就一定是干凈的了，哇哈哈。(如果看到這里還不明白，就去看書(shū)上的例子吧，我自己也承認(rèn)這一部分被我解讀得很晦澀@#￥%)
  
  試圖亡羊補(bǔ)牢，總結(jié)一下上面兩坨字：如果需要初始化一個(gè)非局部靜態(tài)對(duì)象，就把它放到一個(gè)函數(shù)里，讓這個(gè)函數(shù)簡(jiǎn)單的返回這個(gè)對(duì)象的引用。(為什么要這樣做？你可以返回看上面兩坨字……)

?