关于C中static的问题

一段程序如下：
#include "stdafx.h"
#include <stdio.h>
int main()
{
int c;
char buf[6];
setbuf(stdout, buf);
while((c = getchar()) != 'b')
putchar(c);
fflush(stdout);
return 0;
}

输入：hello world!
b
输出：hello wob

而在buf的定义前加上static，即：static char buf[6]；
程序的输出就是正常的。

《C陷阱与缺陷》里面关于一段类似的程序是这样说的：
我们不妨思考一下buf缓冲区最后一次被清空是在
什么时候？答案是在main函数结束之后，作为程序交回
控制给操作系统之前C运行时库必须进行的清理工作的
一部分。但是，在此之前buf字符数组已经被释放！
要避免这种类型的错误有两种办法。第一种办法是
让缓冲数组成为静态数组……

能否详细解释一下上面这段话，为什么buf缓冲区最后
一次清空是在main函数结束之后？为什么在此之前buf字符
数组已经被释放？

还有，为什么我buf的大小是6，而最后输出的结果有9
个字符（8个字符加上1个结束标志）？

最后一个问题：VC里面如何对static类型的数组调试的
时候在watch里面看到它？我调试的时候一直说找不到buf。

谢谢解答！
嗯，简单点的解释就是说，缓冲区溢出了，因为函数内部的局部变量是存放在栈上的，而栈上保存了许多函数调用非常重要的数据，所以，缓冲区一溢出，就会输出很奇怪的结果，或者程序运行结束时会弹出个错误对话框。
在这个变量加上static以后，这个变量就不在栈上保存了，

关于java中static的问题 C# 中 static的 问题 C++中static的问题 java中static的问题 关于java中static的问题，请高手指教 关于static的问题,求助~ 有关c语言static的小问题 JAVA中关于Static的内存分配？ VB中关于static的疑惑 关于static定义的一个问题