在 __index 字段和元表中设置表格的区别

我正在学习使用Lua进行面向对象编程。我在理解在实例的 __index 字段中分配表格和为实例设置元表之间的功能区别方面遇到了问题。我查阅了官方Lua参考手册,但是我仍然不完全理解区别。例如,为了创建一个Account类的实例,它将Account类(self)的 __index字段设置为它自己,然后将实例的元表设置为Account类。

function Account:new (o)
  o = o or {}
  self.__index = self
  setmetatable(o, self)
  return o
end

这里发生了什么?在这种情况下,为什么Account将自己的index设置为自己?在这种情况下,真正的元表有什么用处,如果实例'o'只是将Account类作为它的元表使用?为什么Lua允许类成为其实例的元表?

据我理解,元表应该是仅由元方法(__newindex,__index,__add等)组成的表格。但是,在这个例子中,__index是Account类的一个字段,到这个时候,它不是元表,并且没有为其分配元表,以便分配查找另一个元表,如果这有意义的话。

提前感谢。

点赞
用户3574628
用户3574628

在这个例子中,Account是元表,而o是实例。由于Account被用作类,它需要一个__index字段来定义常规方法。__index字段在构造函数中定义,因为调用构造函数意味着Account被用作类。

由于在构造函数中定义__index有些冗余,因此您经常会看到像这样的示例:

Account = {}
Account.__index = Account

function Account:new (o)
  o = o or {}
  setmetatable(o, self)
  return o
end

我不明白在实例的__index字段中分配表和为实例设置元表之间的功能差异。

通常不会将__index放在实例中。(尽管在PiL示例中,任何对象都可以潜在地用作另一个类。小心使用。)设置实例的元表是将元方法应用于该实例的方法。

在我看来,metatable应该是由元方法(__newindex__index__add等)组成的表。

对于metatable可包含的内容没有限制,但是要成为有效元表的表需要定义至少一个元方法。

元方法本质上提供操作符重载。这意味着元表可以为其他表定义行为。__index是OOP的非常重要的元方法,因为这是我们可以使用实例来访问类中定义的方法和变量的方式。

为什么元表的__index通常指向自己?因为否则,我们需要另一个表来保存常规方法。对于简单的OOP框架,一张表可以完成两个工作更容易。

简短的答案:元表为实例定义元方法。__index是元方法,可将字段访问路由到另一个表(如果__index是表。它也可以是一个函数)。

2017-10-14 22:57:21