c语言static变量初始化

《程序员面试笔试宝典》第123页，举了个例子

#include <stdio.h>
void fun(int i)
{
	static int value=i++;
	printf("%d\n",value);
}

int main()
{
	fun(0);
	func(1);
	fun(2);
	return 0;
}

书中写道:程序输出结果为

0
0
0

作者原意是想表明 static int value=i++;是变量value由于static的修饰，只会定义一次value变量，并且没有其他对value变量赋值的语句，函数调用过程中value的值不变。
将这部分代码赋值后进行编译，会发现编译错误，提示 error: initializer element is not constant，就是说没有用常量对变量进行初始化。static int value=i++;中的i是个临时变量，只有程序运行时发生了函数调用下，栈空间划出了一片空间给i，这才存在i。而static 修饰的变量，先于局部变量i存在，存在于静态存储区，不在栈空间，编译的时候找不到i的值，所以报错。所以实践才能检验真理。

另外一个有趣的例子，不建议写出这种程序。

static int k=3;
int main(int argc,char * argv[])
{
        int k = k;
        printf("%d\n",k);
        return 0;
}

结果：编译通过，输出为0。以下的例子也是相同的结果。

int main(int argc,char * argv[])
{
        int k = k;
        printf("%d\n",k);
        return 0;
}