Linux c编程一站式学习笔记(04), debug

#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标准关于局部变量规定的必要条件，而不是充分条件。