這是什么意思？ int foo = foo + 4;

Question

#include <iostream>

int main(int argc, char** args) {
  int foo = foo + 4;
  std::cout << foo << std::endl;
}

還有一個后續問題，是否有一個編譯器標志來阻止這種事情？ 我發現-Wall有時會工作，最好是完全防止它。

My compiler:  
g++ -v  
Using built-in specs.  
Target: i486-linux-gnu  
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 4.4.3-4ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.4/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --enable-multiarch --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.4 --program-suffix=-4.4 --enable-nls --enable-clocale=gnu --enable-libstdcxx-debug --enable-plugin --enable-objc-gc --enable-targets=all --disable-werror --with-arch-32=i486 --with-tune=generic --enable-checking=release --build=i486-linux-gnu --host=i486-linux-gnu --target=i486-linux-gnu  
Thread model: posix  
gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5)  

Answer 1

沒有任何保證的方法可以阻止這種事情。 它是C ++和C的組成部分，變量的名稱在其初始化程序中是可見的。 它允許你做這樣的事情

T *t = malloc(sizeof(*t));

有關C ++問題列表的問題報告要求在簡單情況下進行診斷，但目前編譯器不需要診斷您的案例。

它在不同的環境中也有效。

編輯：澄清 - 您的代碼段的行為未定義：您正在讀取未初始化變量的值。 編譯器不需要診斷這並不意味着定義了行為。

Answer 2

int foo = foo + 4;

這是未定義的行為。 當其他編譯器沒有時，一些編譯器會自動將空間置零，因此foo可能包含堆棧的垃圾

Answer 3

我敢打賭這意味着未定義的行為。

編輯：請參閱另一個問題的答案引文。

編輯：最有可能的是，RHS中的值取自堆棧中未初始化的內存位置，添加了4，結果用於初始化。

Answer 4

要從gcc獲取此特定代碼的警告，您需要-Wuninitialized （ -Wall包含此） 和 -O （或任何高於0的優化級別）。

原因是gcc無法診斷未初始化變量的使用，除非它進行數據流分析，並且在禁用優化時不進行數據流分析。 默認情況下禁用優化。

Answer 5

我希望任何中途正常的編譯器都能發出int foo = foo + 4的警告; 在其默認配置中。 好的將有選擇完全拒絕它作為“使用未初始化的變量”和/或接受它的任何特定事件，其中程序員正確理解正在發生的事情並且不關心意外行為。

例如，我經常習慣在編譯器不那么繁瑣的時候寫int toggle = toggle ^ 1 ，如果我想要的只是一個切換開關，我不關心它是否開始為TRUE或FALSE。 現在我可能會寫靜態bool toggle = TRUE; 肘節= ^肘節