Lua+元方法__newindex：写入拦截与影子表

【语法算法】

元方法 __newindex 的拦截本质就这两行：

setmetatable(t, { __newindex = function(t, k, v) rawset(t, k, transform(v)) end })

对不存在的键做赋值时，Lua 不直接写入而是调用 __newindex 函数——拦截的全部机制就这两行。可这两行的前后各有一个坑：前面是"键已存在时不触发"，后面是"函数里直接赋值会死循环"。今天拆开。

一、拦截、转换、rawset 三段

__newindex 的三段。拦截：对表做赋值 t.newKey = value 时——如果 t 有元表且元表有 __newindex 且键在表中不存在——Lua 不直接赋值而是调用 __newindex 函数。转换：__newindex 函数里可以对值做任意转换——类型检查、格式化、范围裁剪——然后再用 rawset 写入表。rawset：rawset(t, k, v) 绕过元表直接赋值——在 __newindex 函数里如果用 t[k] = v 赋值，会再次触发 __newindex，无限递归——必须用 rawset 绕过元表才能终结递归。三段连起来：__newindex 玩的是"写入的中间人"——所有新键的赋值都经过中间人审核，审核通过才入库。

graph TD
    A["t.newKey = value"] --> B{"键已存在?"}
    B -->|是| C["直接覆盖,不走__newindex"]
    B -->|否| D{"有__newindex?"}
    D -->|是| E["调用__newindex函数"]
    E --> F["转换value"]
    F --> G["rawset(t, k, v)"]
    D -->|否| H["直接赋值"]

二、影子表的正确写法

local readOnly = setmetatable({}, {
    __newindex = function()
        SL:ShowError("只读表不允许写入")
    end,
    __index = function(t, k)
        return sourceData[k]               -- 读代理到源表
    end,
})

local sourceData = { a = 1, b = 2 }

-- 上面写法有bug: __index引用了后面定义的sourceData
-- 正确写法: 先定义sourceData再设置元表
local realSource = { x = 10, y = 20 }
local proxy = setmetatable({}, {
    __index = realSource,
    __newindex = function()
        SL:ShowError("只读!")
    end,
})

影子表的本质是"读代理到源表、写全部拒绝"——__index 指向源表实现读代理，__newindex 抛错实现写保护——组合起来就是一个只读视图。

三、拦截的盲区和 rawset 的纪律

__newindex 有一个盲区：只有对"不存在的键"赋值才触发——键已存在时直接覆盖不经过 __newindex——要拦截所有写入必须配合 rawset 的反面 rawget 把所有键的初始值清掉，让每个键第一次赋值都走 __newindex。最后一条纪律：__newindex 可以是函数也可以是表——如果是表，赋值会被转发到那个表——用表做 __newindex 就是把写入重定向到另一张表——这叫影子表——写入进了影子表，读的时候不设 __index 就读不到——影子表的读写分离是 Lua 元表编程的高级技巧，也是最容易踩坑的地方。