循环内声明static静态与非静态变量的地址特性及使用疑问

问题1解答 #

你关于「非静态变量每次重新声明都会得到不同地址」的假设本身存在错误：

• 循环内的非静态局部变量属于自动存储期，分配在函数栈帧上。每次进入循环体时，编译器会为当前迭代的var1在栈上分配空间，迭代结束后回收这块空间。由于你的循环体内栈结构完全固定，没有其他动态分配的局部变量占用该栈空间，每次迭代时var1都会被分配到栈上的同一偏移位置，自然地址保持不变，这和编译器优化无关，哪怕是O0编译等级也会出现该现象。
• 注意：即使地址相同，上一次迭代的var1已经被销毁，直接访问上一次迭代留下的值属于未定义行为，不要依赖地址相同的特性复用值。你可以在循环内添加嵌套的局部变量、或者调用其他占用栈空间的函数，就能观察到var1的地址发生变化。

问题2解答 #

这不是良好方案，非常不建议这么做，原因如下：

• static变量的存储期为整个程序生命周期，初始化仅会执行一次。即使你现在不担心值残留，后续迭代修改代码时很容易遗忘static的特性，引入极难排查的逻辑bug。
• static局部变量是线程不安全的，多线程场景下同时进入该循环会直接触发数据竞争，导致不可预期的后果。
• 自动存储的局部变量分配在栈上，访问速度远高于存储在静态数据区的static变量，性能上也没有优势。

如果不想污染循环外部的作用域，完全可以用额外的块作用域包裹变量和循环，示例如下：

{
    int var1;
    while (true)
    {
        // 这里可以正常使用var1，块外无法访问该变量
        cout << &var1 << endl;
    }
}

内容的提问来源于stack exchange，提问作者Windom Earle