int foo = foo的標準參考

Question

int foo = foo;編譯。 C++標準的哪一部分允許這樣做？

Answer 1

3.3.1點聲明[basic.scope.pdecl]

聲明的一個名字的一點是後立即其完整說明符（第8節）和它的初始值設定前（如果有的話），

的行爲，如果該聲明是在文件範圍是明確界定。如果你有在申報範圍的功能，如果你使用foo稍後[這將被初始化爲在這種情況下一些未指定值]的行爲將是不確定的。

Answer 2

This？

int main() { 
    int foo = foo; 
} 

目的foo的=後確實存在，根據[basic.scope.pdecl]：

聲明的一個名字的一點是後立即其完整說明符（第8節）和其初始值設定前（如果有的話）。

然而，該方案整體上是不確定的，因爲你使用（在RHS）的未初始化值：

int x = x; 這裏[..] x與自己的（不確定）初始化值。

和：

雖然 「推斷和虐待的規定」 的標準，an lvalue-to-rvalue conversion is performed on the RHS expression foo。

和（[conv.lval]）：

非函數的左值（3.10）， 非陣列類型T可以被轉換爲 右值。如果T是不完整的類型， 需要此 轉換的程序是不合格的。如果 對象到的左值是指是 不類型T的對象，而不是源自T的類型的 對象，或者如果 對象是未初始化，即必要這種轉換的程序 具有 未定義的行爲。

具有適當的警告級別，you will get told about it;但是，允許編譯調用未定義行爲的程序。當你運行它們時，它們可以做任何事情。

---

或者，這個怎麼樣？

int foo = foo;  
int main() {} 

請注意foo是一個「全局」。這些是零初始化作爲第一步，根據[basic.start.init]：

具有靜態存儲的持續時間（3.7.1）的對象應是零初始化（8.5）任何其它初始化發生之前。

因此，您將得到一個值爲0的int foo;它是有效的，在這一點上，按照[basic.scope.pdecl]上方，並且每[stmt.decl]爲：

具有靜態存儲 持續時間所有 本地對象的零初始化（8.5）（3.7.1）的任何 之前執行其他初始化發生。 [..]

你那麼如果有點神祕值初始化到foo（本身），即0。

這是良好定義...。

---

在徹底的利益，這裏的第三和最後一種情況：

int foo = 42; 
int main() { 
    int foo = foo; 
} 

可悲的是，this is the same as the first case。由於本地foo已經宣佈在由初始評估的時間範圍，初始化使用本地foo和你仍然堅持與未定義行爲。全局foo未使用。