#include <stdio.h>
void foo(void)
{
int i;
printf("%d\n",i);
i = 777;
}
int main(void)
{
foo();
foo();
return 0;
}
这个是"linuxc一站式学习"中的一个小程序,主要是为了讲局部变量的初始化。
但是也有bug分析的哲学在里面,首先,执行这个程序的结果是(gcc编译器):
0
777
看到这个初学者有可能会产上想法说是i被初始化为0,局部变量函数调用结束不会释放。
二者两个都与c99标准不对称
其实如果大家用gcc编译时全部命令会有提示的,如上图
将程序稍微修改之后
#include <stdio.h>
void foo(void)
{
int i;
printf("%d\n",i);
i = 777;
}
int main(void)
{
foo();
printf("HelloWorld!\n");
foo();
return 0;
}
这次输出结果不一样。
这个例子很简单,主要是就是想说一下debug的逻辑思维,也就是充分和必要。
看到777和0只是c99标准关于局部变量规定的必要条件,而不是充分条件。