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

最新推荐文章于 2025-02-21 16:40:04 发布

alotuscc

最新推荐文章于 2025-02-21 16:40:04 发布

阅读量625

点赞数 2

分类专栏： C和C指针文章标签： C

本文链接：https://blog.youkuaiyun.com/canhelove/article/details/83386742

版权

C和C指针专栏收录该内容

4 篇文章

订阅专栏

本文通过实验对比，深入探讨C语言中static变量与auto变量的存储特性差异。实验证明，static变量在程序运行前已分配内存，而auto变量则在运行时分配。通过直接操作内存地址，展示两种变量类型的本质区别。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

我们都知道变量的储存类型分为：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指针》