本節書摘來自異步社區出版社《C++覆轍錄》一書中的第2章，第2.9節，作者： 【美】Stephen C. Dewhurst（史蒂芬 C. 杜赫斯特），更多章節內容可以訪問云棲社區“異步社區”公眾號查看。

2.9：自反初始化

在以下的代碼里，var的值變成了多少？

int var = 12; {double var = var; // ... }``` 未有定義。C++語言中，某個名字在它的初始化對象被解析到之前就進入了其轄域的話，在初始化對象引用到這個名字時，它引用到的不是別的，正是這個剛剛被聲明的對象。沒有幾個軟件工程師會寫出像上面這么莫名其妙的聲明代碼，但也許復制、粘貼的手法會讓你陷入困境：

int copy = 12; // 某深藏不露的變量
// ...
int y = (3x+2copy+5)/z; // 將y的賦值運算符的右手邊操作數剪切……
// ...
void f(){
　　// 這里需要y的初始化值
　　int copy = (3x+2copy+5)/z; // 把上面的剪切內容粘貼到此
　　}`
用預處理符號的話，你會犯和恣意復制、粘貼的行為完全一樣的錯誤（參見常見錯誤26）：

int copy = 12; // 某深藏不露的變量 // ... #define Expr ((3*x+2*copy+5)/z); // ... void g(){ // 這里需要y的初始化值int copy = Expr; // 噩夢重現 }``` 此問題的另一種表現形式就是命名時把型別的名字和非型別的名字弄混了：

struct buf{
　　char a, b, c, d;
};
// ...
void aFunc(){
　　char *buf = new char[sizeof(buf)];
　　// ... `
那個局域里的buf很可能會獲取4字節的內存，足夠放置一個char *。這個錯誤可能會很久都校驗不出來，尤其在型別struct buf和指針型別變量buf`具有相同大小的時候23。遵守一個把型別和非型名的名字區分清楚的命名約定就可以在這個問題上防患于未然（參見常見錯誤12）：

struct Buf{char a, b, c, d; }; // ... void aFunc(){char *buf = new char[sizeof(Buf)]; // 沒問題// ... }``` 現在我們知道怎么解決下面這樣的問題了：

int var = 12;
{
　　double var = var;
　　// ...
}
但它的變形呢？

const int val = 12;
{
　　enum {val = val};
　　// ...
}`
枚舉量val的值是多少？未有定義嗎？再猜一次。正確答案是其值為12，理由是枚舉量的聲明位置，與變量不同，是在它的初始化對象（嚴格地說，是枚舉量的定義）之后的。“=”之后的那個val，是在外層轄域中的常量。這段討論把我們帶入了一個更錯綜復雜的局面：

const int val = val; {enum {val = val}; // ...```

總結

以上是生活随笔為你收集整理的《C++覆辙录》——2.9：自反初始化的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。