Lua+xpcall错误对象：debug.traceback的堆栈本质

【语法算法】

xpcall 的错误对象就这两行：

local ok, err = xpcall(fn, function(e) return debug.traceback(e, 2) end)

xpcall 和 pcall 的本质区别就是第二个参数——错误处理函数——pcall 只返回错误信息，xpcall 可以在错误发生的第一帧就把完整堆栈带出来。今天拆开。

一、触发、处理、返回三段

xpcall 的三段。触发：xpcall 执行 fn——fn 内部报错时 Lua 不直接传播——先调用 errHandler 把原始错误包装。处理：errHandler 接收原始错误信息——可以在这一帧调用 debug.traceback 获取完整调用堆栈——如果等到错误传到外层再获取，堆栈就丢了。返回：errHandler 的返回值作为 xpcall 的第二个返回值——ok 为 false 时 result 就是 errHandler 的返回值。三段连起来：xpcall 玩的是"在错误第一现场获取完整上下文"——pcall 是"等错误传到外面再看"，xpcall 是"在事发现场取证"。

graph TD
    A["xpcall(fn, errHandler)"] --> B{"fn执行成功?"}
    B -->|是| C["ok=true"]
    B -->|否| D["调用errHandler(err)"]
    D --> E["errHandler调用traceback"]
    E --> F["返回堆栈+错误"]

二、xpcall 的正确写法

local function riskyParse(str)
    return load(str)()
end

local function errHandler(err)
    return debug.traceback(err, 2)
end

local ok, result = xpcall(riskyParse, errHandler, "return 1 +")
if not ok then
    print(result)
end

-- 带额外参数的xpcall
local ok2, result2 = xpcall(riskyParse, errHandler, "return 42")

xpcall 的后续参数传给被保护的函数——和 pcall 的参数传递一致——errHandler 在错误发生的那一帧被调用——堆栈完整。

三、堆栈的层次和 errHandler 的纪律

debug.traceback(err, 2) 的第二个参数 2 是堆栈层级——跳过 errHandler 自身和 xpcall 自身——从业务代码的调用处开始打印堆栈——层级不对就会把内部实现细节也打出来。errHandler 的纪律只有一条：不要在 errHandler 里做复杂的事——errHandler 在错误发生的第一帧被调用，此时 Lua 的状态还不稳定——errHandler 里只做字符串拼接和简单格式化，不要调用可能再次报错的函数——errHandler 里再报错就是嵌套错误，Lua 会直接终止程序。