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 ++问题列表的问题报告要求在简单情况下进行诊断，但目前编译器不需要诊断您的案例。

它也有效in a different context。

编辑：为了澄清 - 您的代码段的行为未定义：您正在读取未初始化变量的值。编译器不需要诊断这并不意味着定义了行为。

Answer 2

int foo = foo + 4;

这是未定义的行为。当其他编译器没有时，一些编译器会自动将空间置零，因此foo可能包含堆栈的垃圾

Answer 3

我敢打赌这意味着未定义的行为。

修改：请参阅answer to another question的引文。

编辑：很可能，RHS中的值取自堆栈中未初始化的内存位置，添加了4，结果用于初始化。

Answer 4

要从此gc获取此特定代码的警告，您需要-Wuninitialized（-Wall包含此内容）和 -O（或任何高于0的优化级别）。

原因是gcc无法诊断未初始化变量的使用，除非它进行数据流分析，并且在禁用优化时不进行数据流分析。默认情况下禁用优化。

Answer 5

我希望任何中途正常的编译器在其默认配置中发出 int foo = foo + 4; 的警告。好的人可以选择完全拒绝它作为“使用未初始化的变量”和/或接受任何特定的事件，如果程序员确切知道发生了什么，并且不关心意外行为。

我在编译器不那么挑剔的日子经常用来写 int toggle = toggle ^ 1 ，如果我想要的只是一个切换开关，我不关心是否它开始为TRUE或FALSE。现在我可能写静态bool toggle = TRUE;切换= ^肘节

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

5 个答案: