Lua+table.pack：可变参数的打包解包本质

【语法算法】

table.pack 的打包解包本质就这两行：

local packed = table.pack(...)
local count = packed.n

table.pack 把可变参数打包成表——表附带一个 n 字段记录参数个数——table.pack 的全部机制就这两行。可这两行的前后各有一个坑：前面是 {...} 遇 nil 会截断而 table.pack 不会，后面是 packed.n 记录的是"含 nil 的真实个数"而不是"非 nil 的个数"。今天拆开。

一、截断、打包、解包三段

打包解包的三段。截断：{...} 遇到 nil 就截断——local t = {1, nil, 3} 的 #t 可能是 1 也可能是 3——Lua 的表在 nil 处截断数组部分——这就是 {...} 的坑。打包：table.pack(...) 不截断——packed.n 记录真实参数个数——含 nil 的参数也被计数。解包：table.unpack(packed, 1, packed.n) 从第 1 个到第 n 个全部解包——nil 也不会被跳过——完整还原原始参数列表。三段连起来：table.pack 玩的是"可变参数的无损打包"——{...} 是有损打包，table.pack 是无损打包——无损的意义就是 nil 也不丢。

graph TD
    A["fn(1, nil, 3)"] --> B["{...} 截断"]
    B --> C["#t 可能=1 或 3"]
    A --> D["table.pack(...)"]
    D --> E["n=3 含nil"]
    D --> F["完整保存所有参数"]

二、打包解包的正确写法

local function safeWrapper(...)
    local args = table.pack(...)
    print("参数个数:", args.n)
    for i = 1, args.n do
        print("arg[" .. i .. "]:", tostring(args[i]))
    end
end

safeWrapper(1, nil, "three", nil)
-- 参数个数: 4
-- arg[1]: 1
-- arg[3]: three

args.n 是打包时记录的参数个数——含 nil 的参数也被计数——tostring(nil) 输出 "nil"——nil 参数不会丢也不会报错。

三、n 字段的纪律与 select 的对比

packed.n 字段是 table.pack 的核心——没有 n 字段就无法区分"参数列表末尾的 nil"和"没有参数"——#t 对含 nil 的表结果不确定——packed.n 永远精确。和 select 的分账写清楚：select 适合在函数体内逐个取参数，table.pack 适合把参数打包后传递——select 是"入口截取"，pack 是"中间传递"——两者配合使用就是完整的参数处理链。最后一条纪律：table.unpack(packed, 1, packed.n) 是解包的标准写法——不传 n 的话 table.unpack 用 #t 判断长度——含 nil 的表 #t 不精确——解包时必须传 packed.n 作为结束索引——否则 nil 参数会被截断。