GotW #01 Variable Initialization

著者：Herb Sutter

翻譯：kingofark

[宣告]：本文內容取自www.gotw.ca網站上的Guru of the Week欄目，其著作權歸原著者本人所有。譯者kingofark在未經原著者本人同意的情況下翻譯本文。本翻譯內容僅供自學和參考用，請所有閱讀過本文的人不要擅自轉載、傳播本翻譯內容；下載本翻譯內容的人請在閱讀瀏覽後，立即刪除其備份。譯者kingofark對違反上述兩條原則的人不負任何責任。特此宣告。

Revision 1.0

Guru of the Week 條款01: 變數的初始化<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

難度：4 / 10

（想想看，有多少種將變數初始化的方法？ 千萬要注意那些看上去很像“變數初始化”的東西。）

[問題]

下列四條語句有什麼區別嗎?

SomeType t = u;

SomeType t(u);

SomeType t();

SomeType t;

[解答]

我們按從下往上的順序逐個考察四條語句：

*SomeType t;

變數t被預設建構函式SomeType::SomeType()初始化。

*SomeType t();

這是一個騙局，因為這條語句看上去很像一個變數宣告，而實際上卻是一個函式宣告；這個函式t沒有引數並且返回型別為SomeType。

*SomeType t(u);

這是直接初始化。變數

*SomeType t = u;

這是拷貝初始化。變數t通過SomeType的拷貝建構函式(Copy Constructor)被初始化。（注意，這條語句雖然含有“=”，但仍然是一個初始化操作，而不是一個賦值操作，因為在這裡，允許使用'='只是為了可以沿用C語言的語法，operator=是不會被呼叫的。）

[語義學參考]：如果u恰好也是SomeType型別，那麼這條語句與“SomeType t(u);”是等同的，將呼叫SomeType的拷貝建構函式(Copy Constructor)。如果u是SomeType以外的其它型別，那麼這條語句與“

[注意]：在這種情況下，編譯器通常可以（但不是必須要）對其進行優化，適當的處理拷貝構造（Copy Construction）操作（一般是省略掉拷貝構造過程）。如果進行了優化，則一定要保證拷貝建構函式(Copy Constructor)的可達性。

[學習指導]：建議總是使用“SomeType t(u)”的形式， 一來是因為只要可以用“SomeType t = u”的地方也同樣可以它；二來是因為它還有一些其它的優點，比如支援多個引數等。