Lua+错误捕获：error和assert的传播本质

【语法算法】

error 的传播本质就这一行：

error("配置文件不存在", 2)

error 抛出一个错误——第二个参数指定错误信息的层级——层级 2 表示把错误归因于调用者而不是 error 本身。今天拆开。

一、抛出、传播、捕获三段

error 的三段。抛出：error(msg) 抛出一个错误——如果没有外层 pcall 捕获，程序直接终止——如果有外层 pcall，错误被捕获并作为 pcall 的第二个返回值。传播：错误沿着调用栈向外传播——每一层调用栈如果都没有 pcall，错误就一层层往外传——直到主 chunk 或者被某层 pcall 拦截。捕获：外层 pcall 捕获错误后走错误处理分支——错误信息里包含了原始的文件名和行号——层级参数决定了错误信息指向哪一层的调用。三段连起来：error 玩的是"错误的显式声明和传播链"——不是所有的错误都应该被捕获——有些错误就是应该让程序停下来。

graph TD
    A["error(msg, 2)"] --> B{"外层有pcall?"}
    B -->|是| C["pcall捕获错误"]
    C --> D["ok=false"]
    C --> E["result=错误信息"]
    B -->|否| F["程序终止"]
    F --> G["打印错误堆栈"]

二、error 和 assert 的分界

local function loadConfig(path)
    local file = io.open(path, "r")
    assert(file, "配置文件不存在: " .. path)
    local content = file:read("*a")
    file:close()
    assert(content ~= "", "配置文件为空: " .. path)
    return content
end

local ok, err = pcall(loadConfig, "/nonexistent/config.json")
if not ok then
    print("加载失败:", err)
end

assert(condition, msg) 是 error 的语法糖——条件为 false 或 nil 时自动调用 error(msg)——assert 的错误信息只在条件失败时才拼接——条件为 true 时第二个参数不会被执行——这是 assert 和 if-not-then-error 的性能差异。

三、层级的意义与消息的格式

error 的层级参数是错误定位的关键：层级 1 指向 error 本身的调用位置，层级 2 指向调用 error 的函数的位置，层级 0 不添加位置信息——层级 2 是最常用的，因为错误的责任在调用者而不是 error 函数。错误消息的格式也要统一："文件名:描述" 或 "模块名:描述"——统一的格式让日志过滤和错误分类变得简单。最后一条纪律：error 的第二个参数（层级）只在调试时有意义——线上环境应该用 xpcall 替代 pcall 加上错误处理函数——xpcall 可以在错误发生的第一时间获取堆栈信息，而不是等到错误传播到外层再回溯。