关于 __newindex 中“Lua 不执行基本赋值操作” 在 2.4 中的含义

我想给你展示一些例子来帮你搞清楚这个问题。

原始赋值的例子：

local test = {}
test['x'] = 1 -- 等同于 rawset(test, 'x', 1)
print(test['x']) -- 1
print(rawget(test,'x')) -- 1

当表 test 没有 __newindex 元方法时，原始赋值的代码 test['x'] = 1 等同于 rawset(test, 'x', 1)。

接着是 __newindex 元方法的例子：

local test = {}
setmetatable(test, {__newindex = function(t,key,value) end})
test['x'] = 1
print(test['x']) -- nil
print(rawget(test,'x')) -- nil

赋值 test['x'] = 1 将会调用 __newindex 函数。如果 __newindex 函数什么也不做，那就什么也不会发生，我们将得到 test['x'] 的 nil 结果。

如果 __newindex 函数调用了 rawset：

local test = {}
setmetatable(test, {
  __newindex = function(t,key,value)
                 rawset(t,key,value) -- t:test key:'x' value:1
               end})
test['x'] = 1
print(test['x']) -- 1
print(rawget(test,'x')) -- 1

这个代码与第一个例子有相同的效果。所以手册上说：

“Lua 不执行原始赋值。（如果需要，元方法本身可以调用 rawset 来执行赋值。）”

那么问题就是，如何使用 __newindex？ 它可以用来分离表中的旧索引和新索引。

local test = {y = 1}
local newtest = {}
setmetatable(test, {
    __newindex =
        function(t,key,value)
            newtest[key] = value
        end,
    __index = newtest
})

test["x"] = 1

print(test['x']) -- 1
print(test['y']) -- 1

print(rawget(test, 'x')) -- nil
print(rawget(test, 'y')) -- 1

旧索引 'x' 和新索引 'y' 都可以通过 test[key] 访问，可以通过 rawget(test, key) 分离。