Lua+栈帧：函数调用的入栈出栈本质

【语法算法】

栈帧的入栈出栈就这两行：

local function foo() return bar() end
local function bar() print(debug.traceback()) end

每次函数调用都在调用栈上压入一个栈帧——栈帧里存着局部变量、参数、返回地址——函数返回时栈帧弹出——调用栈就是栈帧的堆叠。今天拆开。

一、入栈、执行、出栈三段

栈帧的三段。入栈：函数被调用时 Lua 在调用栈顶压入一个新栈帧——栈帧里记录了函数的参数值、局部变量的槽位、返回后要跳转的地址——函数的嵌套调用就是栈帧的层层叠加。执行：函数体在当前栈帧上执行——局部变量的读写都在当前栈帧里——当前栈帧叫"栈顶"，栈顶以下的栈帧都是"调用者"的上下文。出栈：函数 return 时当前栈帧弹出——局部变量随栈帧一起销毁——控制流跳回返回地址，也就是调用者的下一个指令。三段连起来：栈帧玩的是"函数调用的生命周期"——入栈是出生，执行是活着，出栈是死亡——调用栈就是所有活跃函数的生命周期记录。

graph TD
    A["main() 调用"] --> B["foo() 入栈"]
    B --> C["bar() 入栈"]
    C --> D["栈顶 = bar"]
    D --> E["bar return"]
    E --> F["栈顶 = foo"]
    F --> G["foo return"]
    G --> H["栈顶 = main"]

二、debug 库的栈帧访问

local function inner()
    for level = 1, 5 do
        local info = debug.getinfo(level, "nSl")
        if not info then break end
        print(string.format(
            "level=%d func=%s line=%d",
            level,
            info.name or "?",
            info.currentline or 0
        ))
    end
end

local function outer()
    inner()
end

outer()
-- 输出:
-- level=1 func=inner line=2
-- level=2 func=outer line=6
-- level=3 func=(主chunk) line=9

debug.getinfo(level) 从当前栈帧往外数——level 1 是调用 getinfo 的函数，level 2 是调用者的调用者——每往外一层就是栈上的上一个栈帧。

三、栈深度与爆栈的临界

Lua 的调用栈深度有上限——默认约 200,000 层——超过就报 "stack overflow"——递归没有终止条件就是最快的爆栈方式。栈深度的实际影响是递归算法的安全边界：尾调用不增加栈深度（Lua 做了尾调用优化），普通递归每层加一个栈帧——千层递归用尾调用安全，用普通递归可能爆栈。和协程的分账写清楚：协程有自己独立的调用栈——协程里的递归不会影响主线程的栈深度——协程是"另一条栈"，不是"更深的栈"。最后一条给调试的同学：debug.traceback() 打印的是当前调用栈的完整快照——从栈顶到栈底每个栈帧的函数名和行号——报错时的堆栈信息就是它输出的，读懂堆栈就是读懂栈帧的堆叠关系。