c - 为什么 printf 不打印垃圾值？

Question

#include<stdio.h>

void foo(){
  int i;
  printf("%d\n",i);  //should print garbage value
}

void main(){
  foo();
}

foo 应该打印 i 的垃圾值。但它正在打印零。这是为什么？我使用的是 gcc 4.9.2 版。

Answer 1

您的程序表现出未定义的行为，因此有任何期望都是错误的；它在这里打印零是完全有效的。

事实上，这并不出人意料。当你的程序启动时，它的所有内存只包含零(这当然取决于你的操作系统，但可能是真的)，所以当你将堆栈扩展到那个空间，或者第一次分配堆内存时，你会得到零值。

当一个(非平凡的)程序运行时，它会扩展和收缩堆栈，分配和释放部分堆，内存逐渐收集大量非零垃圾。如果您在实际项目中调用了 foo()，您可能会认为垃圾值会随时间变化。

当然，在您的简单示例中，优化编译器可能会注意到该值未初始化，发出警告，并且不会费心从内存中加载任何内容，在这种情况下，您的垃圾值可能来自寄存器。现在为零的可能性取决于调用 foo() 的上下文；如果调用者对某些内容使用零，您可能会发现来自该站点的调用将始终打印零。

总而言之，未定义的行为是未定义的，并且可能会随着程序的运行时间而变化，并且可能会因编译器、编译器优化级别而异，并且可能会在调整明显无关的代码时发生变化。