C++ articles:Guru of the Week #1 (轉)

C++ articles:Guru of the Week #1 (轉)[@more@]

作者:Hub Sutter
譯者:plpliuly

/*此文是譯者出於自娛翻譯的GotW(Guru of the Week)系列文章第一篇，原文的版權是屬於Hub Sutter（著名的C++專家，《Exceptional C++》的作者）。此文的翻譯沒有徵得原作者的同意，只供學習討論。——譯者
*/

#1 變數的初始化（97年2月21日提出）
難度：4/10
  你知道有多少種初始化變數的方法？可千萬要當心那些看起來象變數初始化，而實際上並不是的錯誤喲。

問題：
  請看下面的語句，它們之間是否有區別？
 SomeType t = u;
  SomeType t(u);
 SomeType t();
   SomeType t;

解決方法：
  我們從後往前分別討論上面的四種情況：
   SomeType t;
  變數t是透過卻省構造SomeType::SomeType()初始化.
   SomeType t();
  這條語句具有一點“欺騙”性，乍看起來象是一個變數宣告，其實，它是一個函式宣告，這個函式沒有引數，返回一個SomeType型別的返回值。
   SomeType t(u);
  這是一個直接的初始化。變數t透過建構函式SomeType::SomeType(u)初始化。
   SomeType t = u;
  這是一個複製初始化，變數t總是透過SomeType的複製建構函式初始化。（儘管這兒有"=",但這只是為了和C語法的相容——這裡只是初始化，而沒有賦值操作，因此運算子=不會被。）
  從語義上講：如果變數u為SomeType型別，那麼上述語句就和"SomeType t(u)"或者呼叫SomeType的複製建構函式是等同的；如果u是其他型別的變數，那麼上述語句就和"SomeType t( SomeType(u) )"是等同的——也就是說,u被轉換成一個臨時的SomeType，而t是以該臨時物件複製構造而成。
  注意：對於這種情況，具體的常常被允許（但不是必需的）為了而並省去複製構造這一步(也就是將臨時物件的空間直接作為t的記憶體空間——譯者注)。如果是編譯器作了這種最佳化的話，那複製建構函式本身必須仍然是可訪問的。

[忠告]：儘量使用"SomeType t(u)"的形式來初始化變數。它在任何"SomeType t = u"有效的地方使用都是有效的，而且具有其它的優點（比如，它可以帶多個引數）。
（結束）