嵌套函数为何需要静态链指针（static chain pointer）？

1. 嵌套函数为何必须使用静态链指针？ #

嵌套函数的核心需求是访问外层父函数的局部变量，而这些变量存储在父函数的栈帧中。常规的栈帧指针（比如x86的rbp）只能定位当前函数自己的栈帧，没法直接找到外层函数的栈帧——尤其是当嵌套函数被当作回调、函数指针传递出去，甚至父函数已经执行完毕返回时，当前调用链里根本没有父函数的栈帧了。静态链指针就是用来构建一条"链"，从当前嵌套函数的栈帧，逐层回溯到外层所有父函数的栈帧，从而找到需要访问的局部变量。

举个简单例子：如果你在函数A里定义了嵌套函数B，B要访问A里的局部变量x，当A把B的地址传给另一个函数C，C在A返回后才调用B，这时候A的栈帧已经被弹出栈（甚至可能被其他函数复用），但B依然需要知道x曾经的位置——静态链指针就是保存这个位置的关键（当然这时候访问会导致未定义行为，但机制上必须靠它定位）。

2. 未获取嵌套函数地址时，为何需要指向父函数栈位置的指针？ #

只要嵌套函数需要访问父函数的局部变量，不管有没有把它的地址传出去，都需要静态链指针。因为编译期无法保证父函数的栈帧和子嵌套函数的栈帧是连续的：比如父函数A先调用了一个无关函数D，再调用嵌套函数B，这时候栈的顺序是A→D→B，A和B的栈帧之间隔了D的栈帧，B的栈帧指针rbp根本没法直接跳到A的rbp。静态链指针是编译期就植入的，用来固定指向父函数栈帧的位置，确保B能准确找到A的局部变量，和是否传递函数地址无关。

3. 父函数栈在任何场景下都会紧邻子函数栈吗？ #

绝对不会。除了上面说的父函数先调用其他函数再调嵌套函数的情况，还有更极端的场景：比如嵌套函数被存在全局变量里，父函数执行完返回后，栈空间被后续的函数调用覆盖，这时候父函数的栈帧已经不在当前调用栈里了，更谈不上和子函数栈紧邻。静态链指针的存在，恰恰就是为了处理这种栈帧不相邻甚至父栈帧已被弹出的情况，保证嵌套函数能追踪到外层变量的位置。

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