Lua如何查找全局变量或配置项声明对应的文件与行号

我需要加载用户可自行修改的Lua配置文件，比如cfg.lua中定义了全局表cfg，并声明了各类配置项，其中可能存在配置值类型不符合预期的问题。我在init.lua中通过require加载该配置后会做类型校验，校验失败抛出错误时，除了当前init.lua的报错位置，还希望提示用户对应错误配置项在cfg.lua中声明的具体行号，请问是否可以获取到变量声明对应的文件与行号信息？

可以获取，常用的实现方案有两种：

方案1：通过调试库钩子捕获配置赋值位置（推荐） #

利用Lua标准库的debug模块挂接赋值钩子，在加载cfg.lua的过程中捕获每一个cfg子项赋值时的文件、行号信息，提前存入映射表，校验出错时直接从映射表读取对应位置即可。
示例代码如下：

-- init.lua 逻辑
local cfg_def_pos = {}

-- 加载配置前先挂载行钩子
debug.sethook(function(event, line_num)
    -- 获取调用栈第二层的信息，也就是cfg.lua里的执行上下文
    local stack_info = debug.getinfo(2, "Sl")
    -- 只处理cfg.lua内的赋值操作
    if stack_info.short_src == "cfg.lua" then
        -- 读取当前赋值的变量名
        local var_name, var_val = debug.getlocal(2, 1)
        if var_name == "cfg" then
            -- 读取cfg的键名
            local cfg_key = debug.getlocal(2, 2)
            if type(cfg_key) == "string" then
                cfg_def_pos[cfg_key] = {
                    file = stack_info.short_src,
                    line = line_num
                }
            end
        end
    end
end, "l")

-- 加载配置文件
_G.cfg = nil
local cfg = require("cfg")
-- 加载完成后移除钩子，避免影响后续业务逻辑
debug.sethook()

-- 类型校验示例
if type(cfg.port) ~= "number" then
    local pos = cfg_def_pos.port or {file = "未知文件", line = 0}
    error(string.format("配置项port类型错误，预期number，实际%s，定义位置：%s 第%d行",
        type(cfg.port), pos.file, pos.line))
end

该方案适用于配置项以cfg.xxx = xxx格式声明的场景，如果用户习惯用整块表赋值（cfg = {xxx = 1, yyy = 2}），只需要调整钩子内的判断逻辑，捕获表构造阶段的赋值操作即可。

方案2：自定义配置文件解析器 #

如果不方便使用debug调试库，可以自行实现配置加载逻辑：先逐行读取cfg.lua的内容，匹配每行的配置项键名和对应的行号存入映射表，再执行配置文件的代码加载逻辑。
该方案适合配置文件格式规范、无复杂动态逻辑的场景，缺点是如果用户在配置里写了循环、函数动态生成配置等灵活逻辑，逐行匹配的准确率会下降。

注意：如果配置项是在配置文件的函数内部动态生成的，两种方案都无法捕获到准确的定义行号，这种情况建议在配置规范中禁止用户用动态逻辑生成核心配置项。

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