关于静态变量在程序运行之前就存在的证明

我们都知道变量的储存类型分为：auto（自动)，static（静态），register（寄存器）三种。对于代码块内的变量，缺省类型为自动类型。自动类型 在程序执行分配内存。而 static 类型在程序运行之前就已经存在。即在程序还没有运行到static 类型变量的定义处之前就已经存在。 接下来我将对这一点进行证明。

void PP(void)
{
    static int ss = 45;
    printf("%d", ss);
    printf("ss = %x\n", &ss);	//为了打印出ss的地址
}

int main(void)
{	
    (*((int*)0x403010)) = 88; 	//对地址为0x403010 上的变量进行修改
    PP();
    return 0;
}

上面的代码首先第一次运行时获取了static类型变量ss的地址。
然后第二次运行时，在程序运行到static类型变量ss的定义之前就利用地址将ss的值进行了修改。
如何static类型的变量是在程序运行到定义时才分配内存的话，上面的程序将是错误的，因为访问了无效内存。
但是经过测试，上面的程序可以运行，并且得到了正确的结果。
为了更加有力的证明这一点，下面有一个对比试验。

void PP(void)
{
    int ss = 45;

    printf("%d", ss);

    printf("ss = %x\n", &ss);
}

int main(void)
{

    (*((int*)0x62fddc)) = 88;

    PP();

    return 0;
}

在这个实验中，将变量改为auto类型（缺省时为auto）程序就无法正确运行。
由此证明，static变量是在程序运行之前就存在的。

参考资料——————————————–————————《C和C指针》