编译时构建符号表，如何处理依赖用户输入递归深度的栈帧信息？

核心思路：分离静态结构与动态栈帧 #

编译器处理嵌套词法作用域时，符号表仅需记录静态层面的结构化信息，无需关注运行时的递归深度这类动态数据。递归产生的栈帧变化是运行时的动态行为，编译器无法提前预知，但可以通过静态链机制，让内部函数在运行时动态定位到外层变量的栈帧。

符号表需记录的关键信息 #

针对每个符号（变量、函数），符号表要存储以下内容：

• 静态层次（Static Depth）：当前作用域相对于全局作用域的嵌套层数（例：全局作用域为0，第一层函数为1，函数内嵌套的子函数为2）。
• 局部偏移（Local Offset）：变量在当前静态层次栈帧中的内存偏移量（编译期即可确定，因为栈帧布局是编译阶段规划好的）。
• 外层层次（Outer Depth）：若当前符号是引用外层作用域的变量，记录该变量所在的静态层次。

运行时通过静态链定位变量 #

当内部函数需要访问外层变量时：

1. 每个栈帧都会保存一个静态链指针，指向当前函数定义时所在的外层函数栈帧（而非调用时的外层栈帧，这是词法作用域的核心特性）。
2. 运行时根据符号表中记录的静态层次差，沿着静态链向上遍历对应层数，找到目标变量所在的栈帧，再通过局部偏移定位到变量。

举个递归嵌套的例子：
假设函数A定义了变量x，A内部嵌套了函数B，B会访问x。当A递归调用自身时，每次递归都会生成新的栈帧，但每个B的栈帧的静态链都会指向它定义时所在的那个A栈帧（即创建B的A实例），而非当前调用B的A实例。符号表仅需记录x在静态层次1的偏移，B在静态层次2，运行时B沿着静态链走1层就能找到x的栈帧。

闭包场景的补充处理 #

如果语言支持闭包（内部函数可被返回并在外部执行），符号表还需标记哪些变量是逃逸变量（被内部函数引用且可能在外部执行时访问）。编译器会将这类变量从栈转移到堆上，闭包对象保存指向堆上变量的指针，此时符号表仅需记录变量的逃逸状态，运行时通过闭包指针访问，与递归深度完全无关。

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