访问 Lua 中表键影响的值（右侧）中的键

Question

目标是将表的键与取决于键的值匹配。

example = { ["dummy"] = this .. " example" }
print example.dummy -- print "dummy example"

其中this 是引用密钥的关键字。在 Lua 中有没有办法做到这一点？

Answer 1

没有办法直接做到这一点。

你可以做一些预处理：

example = { ["dummy"] = "{THIS} example" }
for k,v in pairs(example) do
    example[k]=v:gsub("{THIS}",k)
end
print(example.dummy)

Answer 2

不可能有这样干净的表达式：

t = { foo = this .. ' bar' }

因为this 的表达总是与键或表无关。也就是说，您不能将表达式捕获为表条目的值。

使用metatables 和函数实现某种程度的间接是可能的，但这并不漂亮。在这里，我们进行 fetch-time 评估。您也可以重新计算结果。

local function indirect_table ()
    local uptable = {}

    return setmetatable({}, {
        __index = function (self, key)
            local value = uptable[key]

            return type(value) == 'function' and uptable[key](key) or value
        end,
        __newindex = function (self, key, value)
            uptable[key] = value
            --[[precompute, with no need for an uptable, or __index:
                `rawset(self, key, value(key)`]]
        end
    })
end

local tab = indirect_table()

tab.foo = function (key) return key .. 'bar' end

print(tab.foo) --> 'foobar'

注意：这个例子使用了一个闭包，但是你也可以使用getmetatable 来实现这种模式。

---

就我个人而言，我会将其抽象为一种允许指定任意键和值以及它们的动作 的间接模式。我认为这种模式主要以编程方式使用，而不是手动使用，其中键值的结果取决于接收到的输入。同样，不是很漂亮，但更健壮一些（可选操作）。

local function I (_, value) return value end

local K = setmetatable({
    __call = function (actor, key)
        return actor.action(key, actor.value)
    end
}, {
    __call = function (K, value, action)
        return setmetatable({ value = value, action = action or  I }, K)
    end
})

local T = setmetatable({
    __newindex = function (self, key, value)
        if getmetatable(value) == K then
            value = value(key)
        end

        rawset(self, key, value)
    end
}, { 
    __call = function (T, o)
        return setmetatable(o or {}, T)
    end
})

简单使用：

local function concat (left, right) return left .. right end

local t = T {}

t.foo = K('bar', concat) -- with a common action
t.zar = K({}, unknown_action) -- without action (`nil`)
t.qux = 'qaz' -- standard

print(t.foo, t.zar, t.qux)

---

这是一种奇怪的元编程。我会仔细检查需要这种方法的原因。也许你掉进了XY Problem 的陷阱？真的感觉像是解决了一个本来就不需要存在的问题。