对Lua编程第108页的Lua元表感到困惑



我正在学习Lua,使用《Lua编程》一书,第一版。我很难理解跖骨。

这是出现在第108页的代码和解释:

Set = {}
function Set.new (t)
  local set = {}
  for _, l in ipairs(t) do set[l] = true end
  return set
end
function Set.union (a,b)
  local res = Set.new{}
  for k in pairs(a) do res[k] = true end
  for k in pairs(b) do res[k] = true end
  return res
end
function Set.intersection (a,b)
  local res = Set.new{}
  for k in pairs(a) do
    res[k] = b[k]
  end
  return res
end

为了帮助检查我们的示例,我们还定义了一个打印集的函数:

function Set.tostring (set)
  local s = "{"
  local sep = ""
  for e in pairs(set) do
    s = s .. sep .. e
    sep = ", "
  end
  return s .. "}"
end
function Set.print (s)
  print(Set.tostring(s))
end

现在,我们想让加法算子(+)计算两个集合的并集。为此,我们将安排所有表示集合的表共享一个元表,该元表将定义它们对加法运算符的反应。我们的第一步是创建一个正则表,用作集合的元表。为了避免污染我们的命名空间,我们将把它存储在Set表中:

Set.mt = {}    -- metatable for sets

下一步是修改创建集合的Set.new函数。新版本只增加了一行,将mt设置为它创建的表的元表:

function Set.new (t)   -- 2nd version
  local set = {}
  setmetatable(set, Set.mt)
  for _, l in ipairs(t) do set[l] = true end
  return set
end

之后,我们用set.new创建的每个集合都将拥有与其元表相同的表:

s1 = Set.new{10, 20, 30, 50}
s2 = Set.new{30, 1}
print(getmetatable(s1))          --> table: 00672B60
print(getmetatable(s2))          --> table: 00672B60

最后,我们在元表中添加了所谓的元方法,一个描述如何执行并集的字段__add:

Set.mt.__add = Set.union

每当Lua试图添加两个集合时,它都会调用这个函数,并将两个操作数作为参数。

有了元方法,我们可以使用加法运算符来进行集合并集:

s3 = s1 + s2
Set.print(s3)  --> {1, 10, 20, 30, 50}

当我尝试运行它时,我得到的结果是:{ union, mt, intersection, tostring, new, print},而不是s3中的数字。似乎我已经打印了元表的内容。有人能解释一下这里发生了什么吗?这本书描述了版本5.0,我使用的是Lua 5.1。这可能是造成这种情况的原因吗?

您运行的代码中有一个错误,而不是您在问题中发布的代码中:

Set.tostring的第28行中,您将for e in pairs(set)更改为for e in pairs(Set),因此它始终显示Set的内容,而不是给定集合的内容。

最新更新