为什么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()的上下文。 如果呼叫者对某事使用零，则可能会发现来自该站点的呼叫将始终显示零。

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