图中分别检查作用域、存储期和典型布局，避免用变量写在哪儿直接猜内存区域。
“全局变量在堆，局部变量在栈。”这句话同时混淆了几件事：名字能在哪里被访问，对象活多久，以及某个编译器最后怎样安排存储。要回答 C 语境里的这道题，先把三个维度拆开，才不会被一个局部静态变量轻易推翻。
作用域回答名字在哪里有效
在函数外声明的名字通常具有文件作用域；在花括号内声明的名字具有相应块作用域。作用域限制的是源代码中可以通过这个名字指代什么，不是对象在哪个物理地址。
例如函数里声明一个指针 p，并让它指向动态申请的空间。指针这个局部变量和它指向的对象不是同一个对象。p 离开作用域后，申请的空间不会因为名字消失而自动释放；如果没有其他有效引用，也没有及时释放，就可能留下无法再管理的资源。
反过来，返回一个普通局部对象的地址，也不会因为调用方拿到了地址，就延长那个对象的存储期。能写出一个地址表达式，与那个地址在之后仍可合法解引用，是两回事。
存储期决定对象活多久
普通局部对象通常具有自动存储期，进入相应执行范围时建立，离开后生命周期结束。局部 static 对象虽然名字局限在块内，却具有静态存储期，不会每次函数返回就被销毁。
文件作用域对象通常也具有静态存储期，动态分配的对象则有分配存储期，由分配与释放行为决定生命周期。还有线程存储期对象，供不同线程维持各自状态。分类依据是语言规则，不是开发者是否把变量叫作“全局”。
再看初始化：静态存储期对象未显式初始化时有相应的零初始化规则；普通自动对象未初始化则不能据此认为值为零。把“内存上次恰好是零”当成语言承诺，会让测试偶然通过而程序仍然错误。
链接属性回答跨文件怎样指代
在文件作用域使用 static，常用于让名字具有内部链接，避免其他翻译单元通过同名声明引用它。这与函数内部 static 带来的持久状态不是完全相同的问题：同一个关键字在不同上下文里影响的维度不同。
理解链接属性，有助于解释为什么两个源文件可以各有自己的内部对象，也能解释 extern 声明与对象定义的区别。声明一个外部名字，并不等于每出现一次声明就重新申请一块独立对象空间。
因此，分析声明时可以依次问：名字的作用域是什么？对象的存储期是什么？名字有没有内部或外部链接？三问分别回答，不要试图用“堆还是栈”代替全部结论。
数据段、栈和堆是常见实现图
在常见原生程序布局中，静态对象可能出现在数据相关段，自动对象常与调用栈联系在一起，动态分配空间通常由分配器管理。这张图有助于理解程序，但 C 语言规范并不要求每个普通局部变量都必须占一个可见的栈槽。
优化器可能把值保存在寄存器，进行常量传播，甚至把不影响可观察行为的对象消掉。是否取地址、是否逃逸、是否需要保持可观察行为，都会影响最后机器代码。看到源代码里有一个变量名，不代表二进制里一定有一块与它一一对应的内存区域。
动态内存也不能简单等同于操作系统立刻分配的一页。分配器可能复用已有区域，底层获取内存的机制还与运行环境有关。题目若没有指定平台，就不要承诺具体虚拟地址顺序。
一个局部静态计数器就够说明问题
自设一个函数，内部声明 static 计数器，初值为零，每次调用把它加一后返回。连续调用两次会得到一和二。再放一个每次初始化为零的普通局部计数器，两次调用都只返回一。
这个实验验证了状态是否跨调用保留，却不能凭输出推断静态对象一定处于哪个特定段。要研究二进制布局，可以再查看符号或汇编，但应记录编译器、目标平台和优化选项，把观察结果限定在当前环境。
如果一个局部指针位于调用栈中，它指向的空间是否也一定在栈上？如果不是，你会怎样分别描述这两个对象的作用域与生命周期？