Question

local a = {}
function a:test1(value)
    print(value)
end
local b = {}
function b:test2(v1, v2)
    v2(100);
end
b:test2(_, a.test1)

不起作用。价值为零。我可以找到一个在匿名函数中进行封装的解决方案

b:test2(variable, function(value) a:test1(value) end)

但我发现它很糟糕mkay

正确的语法是什么？

Answer 1

anotherObject:aFunction(variable, object.doStuff)是正确的语法。

对函数使用冒号:只是一个带有隐式self参数作为第一个参数的调用或声明的语法糖。如果您想以更干净的方式遵循您在示例中显示的模式，则可以使用辅助函数。

local function bind(t, k)
    return function(...) return t[k](t, ...) end
end

然后你可以这样申请。

anotherObject:aFunction(variable, bind(object, 'doStuff'))

编辑：我相信您的问题的解决方案需要在某种程度上进行绑定，而无需修改Lua解释器或使用代码转换步骤。这基本上是因为Lua中的函数不包含有关其 origin 的任何信息。即，表本身并不拥有的功能。

例如，以下是完全合法的Lua代码。

function Circle:area() -- function Circle.area(self)
    -- ...
end

-- Evaluate the function in the "area" slot with Square as the self parameter.
Circle.area(Square)

当然，您可以尝试范式转换，但如果您构建一个完整的应用程序可能为时已晚，因为函数被绑定到已被索引的表，正如您所说的那样。因此，我提出以下疯狂解决方案。

local mt = {}

function mt:__index(k)
    local v = self._slots[k]

    if v == nil then
        -- Ascend the inheritance tree.

        -- This has to be done with rawget all the way up,
        -- otherwise inherited functions would be repeatedly bound.
        local p = self

        repeat
            p = rawget(p, '_parent')
            if not p then break end
            v = p._slots[k]
        until v
    end

    if type(v) == 'function' then
        -- Return a self-bound version of the function.
        return function(...) return v(self, ...) end
    end

    return v
end

function mt:__newindex(k, v)
    self._slots[k] = v
end

--- Demo & Tests ---

local function Object(parent)
    local o = setmetatable({_slots = {}}, mt)
    if parent then rawset(o, '_parent', parent) end
    return o
end

local o1 = Object()
local o2 = Object(o1)

assert(o1.abc == nil, 'o1.abc should be nil')
o1.abc = 3
assert(o1.abc == 3, 'o1.abc should be 3')
assert(o2.abc == 3, 'o2.abc should be 3, inherited from o1')
o2.abc = 7
assert(o2.abc == 7, 'o2.abc should be 7, overriding o1')
assert(o1.abc == 3, 'o1.abc should be 3, unaffected by o2 setter')

function o1:test(bar)
    return self.abc + bar
end

assert(type(o1.test) == 'function', 'o1.test should be a function')
assert(type(o2.test) == 'function', 'o2.test should be a function, inherited from o1')

assert(o1.test(5) == 8, 'o1.test(5) should return 3 + 5 = 8')
assert(o2.test(11) == 18, 'o2.test(11) should return 7 + 11 = 18')

function o2:test2(fn)
    return self.abc + fn(7)
end

assert(o2.test2(o1.test) == 17, 'o2.test2(o1.test) should return 7 + (3 + 7) = 17')

o2.test3 = o1._slots.test -- proper function copying
assert(o2.test3(11) == 18, 'o2.test3(5) should return 7 + 11 = 18')

o2.abc = nil
assert(o2.abc == 3, 'o2.abc should be 3 again, inherited from o1 after clearing')

o2.abc = false
assert(o2.abc == false, 'o2.abc should be false, __index needs to differentiate between nil and false')

此metatable将为您提供所需的内容，并使用继承和绑定函数进行引导。您只需要确保您想要遵循此模式的所有表也遵循示例代码中显示的对象创建方法。

为了解释，以这种方式创建的每个表都有任何重新定向到_slots子表的新分配，并且任何新的检索都会检查_parent继承树。如果值的类型是function，那么它将返回一个新的闭包，其原始self开始检查绑定到找到的函数。

显然，使用:冒号语法从其中一个对象调用函数将是一个愚蠢的想法，因为它会评估为o.fn(o, o)，这可能不是你想要的。另一个警告是，将函数复制到这些对象来自这些对象，将无法按预期工作。 o1.newfn = o2.fn会将o2绑定函数放入o1，而o1将重新绑定到o2.fn(o2, o1)。最终结果将类似于_slots。您必须从{{1}}表中复制函数。

总结：即使这样可行，但从长远来看，我不会亲自推荐它，因为任何习惯Lua如何处理表，索引和函数的人都会感到困惑，将成为开销。你可能可以通过memoizing关闭来取消它，但我会把这个决定留给你。祝你好运！

Answer 2

用:声明的对象方法需要对象实例作为第一个参数。如果您使用:调用它，它将自动添加，但是由于只传递了一个函数指针，因此也需要传递它。这意味着每当您在某个对象的某个地方传递函数时，也必须传递对象实例。这有效：

local a = {}
function a:test1(value)
    print(value)
end
local b = {}
function b:test2(obj, v2)
    v2(obj, 100);  -- object instance is always the first param of a ":"-style func
end
b:test2(a, a.test1) -- passing object instance and a function

Answer 3

基于@ryan-stein 简洁的 bind() 解决方案，在一个模块中，我发现这更简洁：

local m = {}
m.__index = m
m.word = 'bar'

function m:bind(fn)
    return function(...) return self[fn](self, ...) end
end

function m:foo(fn)
    print("Foo " .. self.word)
end

function m:start()
    hs.timer.new(42, self:bind('foo'))
end

Answer 4

您的代码将正常运行。瑞恩说过的原因。我怀疑在函数anotherObject：aFunction（）中，你使用了一种错误的方法来调用object.stuff。正确的方法如下：

local a = {}
function a:test1()
    print(1)
end
local b = {}
function b:test2(v1, v2)
    v2();
end
b:test2(_, a.test1)

Lua - 如何将对象的函数作为参数传递给另一个函数

4 个答案: