Lua 中的运算符嵌套未给出正确答案

Question

以下代码定义了一种自定义运算符imp 。 它几乎可以正常工作。

    local function _imp(x, y)
      if x == 1 and y == 0 then return 0
        else return 1 end
    end
    
    local tmp = {}
    local imp = {}
    
    local imp_mult= {
      __mul = function(a,b)
        if b==imp then
          tmp[1]=a
          return tmp
        elseif a == tmp then
          return _imp(tmp[1], b)
        end
      end
    }
    
    setmetatable(tmp, imp_mult)
    setmetatable(imp, imp_mult)
    _G.imp = imp

print("0 imp 0 evaluates to ", 0*imp*0)
print("1 imp 0 evaluates to", 1*imp*0)
print("0 imp (1 imp 0) evaluates to", 0*imp*((1*imp*0))) 

上面的代码输出到

0 imp 0 evaluates to 1
1 imp 0 evaluates to 0
0 imp (1 imp 0) evaluates to 0

前两个答案是正确的。 然而，最后一个表达式的预期答案是 1，因为0*imp*0的计算结果为 1，而1*imp*0的计算结果为 0。错误在哪里？ 如何改进 imp_mult 的定义以获得预期的答案？

Answer 1

tmp[1]的值将被覆盖。 而不是1 ，您应该使用计数器变量，该变量在操作完成之前递增（ x * imp ），并在操作完成时递减（ x * imp * y ）。

local function _imp(x, y)
    if x == 1 and y == 0 then return 0
    else return 1 end
end

local tmp = {}
local imp = {}

local depth = 0

local imp_mult = {
    __mul = function(a,b)
        if b==imp then
            depth = depth + 1
            tmp[depth] = a
            return tmp
        elseif a == tmp then
            local v = _imp(tmp[depth], b)
            depth = depth - 1
            return v
        end
    end
}
    
setmetatable(tmp, imp_mult)
setmetatable(imp, imp_mult)
_G.imp = imp

print("0 imp 0 evaluates to ", 0*imp*0)
print("1 imp 0 evaluates to", 1*imp*0)
print("0 imp (1 imp 0) evaluates to", 0*imp*((1*imp*0))) 

如果需要，您可以更改分配的位置以使用第0个索引。