递归元方法__index？

Question

如何扩展我的__index元方法，使其无论嵌套级别如何都能正常工作？我当前的方法仅适用于data.raw.a1.a2，但不适用于data.raw.b1.b2.b3和 以下。

data = {
    raw = {}
}

setmetatable(data.raw, { __index = function(t,k)
    t[k] = {}
    return t[k]
end })

data.raw.a1.a2 = { foo = "bar" }
data.raw.b1.b2.b3 = { foo = "bar" } -- throws an error
data.raw.c1.c2.c3.c4 = { foo = "bar" } -- throws an error

我尝试添加第二个setmetatable，但这仅适用于多一层嵌套。

data = {
    raw = {}
}

setmetatable(data.raw, { __index = function(t,k)
    t[k] = {}
    -- below is new
    setmetatable(t[k], { __index = function(t,k)
        t[k] = {}
        return t[k]
    end })
    -- above is new
    return t[k]
end })

data.raw.a1.a2 = { foo = "bar" }
data.raw.b1.b2.b3 = { foo = "bar" } -- now this works
data.raw.c1.c2.c3.c4 = { foo = "bar" } -- this still throws an error

我不知道如何进行递归，以便它适用于所有级别的嵌套。发送帮助。

Answer 1

使用构造函数创建带有元表的表，该元表具有一个__index元方法，当索引键不存在时，该元方法会递归调用构造函数来创建新的表深度。

这是一个精简的示例，但可以编写它以重用元表。

local function nestable(t)
    return setmetatable(t or {}, {
        __index = function (self, key)
            local new = nestable {}
            rawset(self, key, new)
            return new
        end
    })
end

local data = nestable {}

data.raw.a1.a2 = { foo = 'bar' }

print(data.raw.a1.a2.foo)

结果：

bar