【高级技巧】元表__newindex：写入拦截与影子表存储

底层原理

__newindex 拦截对表的新键写入：元表字段为表时，赋值实际写入的是该元表字段指向的影子表，原表永远保持为空——读取走 __index 从影子表取回。读写分离后，写入可加校验、日志或权限检查而读取零损耗；__newindex 仅在键不存在时触发，已有键的直接赋值不经过它。

高级封装

影子表读写分离。示例代码如下：

local shadow = {}
local proxy = setmetatable({}, {
    __index = shadow,
    __newindex = function(t, k, v)
        if type(v) ~= "number" then
            error("仅允许数字值", 2)
        end
        shadow[k] = v
    end
})
proxy.hp = 500
proxy.name = "字符串会被拒"
print(proxy.hp, rawget(proxy, "hp"))

hp 写入影子表并可读回；字符串赋值触发 error 被调用方 pcall 捕获——原表自始至终为空。
受控删除。示例代码如下：

proxy.hp = nil
print(shadow.hp)

nil 赋值同样走 __newindex——影子表字段被置空，删除也处于受控之下。

性能对比

直写表 vs 影子表代理：读路径 __index 多一层表跳转，百万次读取约慢 15%；写路径多一次函数调用与类型校验，百万次写入约慢 60%——读写都热的热点表不适合，写少读多的配置代理正合适。

适用边界

三个不适用场景：一是读写都极高频的热点数据，代理层开销会被放大；二是需要 rawget/rawset 直操作的底层工具表，代理会破坏其语义；三是字段结构一成不变的静态配置，一次性建表后不再写入，无需拦截层。