Lua OOP中__index元表的作用及两种构造实现的差异问询

先明确你提到的两段典型实现，方便对照解释：

带元表的实现（第一段代码） #

local Account = {}
Account.__index = Account  -- 关键设置

function Account.new(balance)
    local obj = {balance = balance}
    setmetatable(obj, Account)
    return obj
end

function Account:deposit(amount)
    self.balance = self.balance + amount
end

无元表的实现（第二段代码） #

local Account = {}

function Account.new(balance)
    local obj = {
        balance = balance,
        deposit = function(self, amount)
            self.balance = self.balance + amount
        end
    }
    return obj
end

问题1：第一段代码中为何用__index元表指向Account？Account是第一行的空表吗？ #

• Account确实是第一行定义的空表，但后续我们会把类的方法（比如deposit）挂载到这个表里，最终它会成为存储所有类方法的"原型表"。
• 设置Account.__index = Account，再把实例obj的元表设为Account，核心是利用Lua的**__index元方法机制**：当你访问obj中不存在的键（比如调用obj:deposit()时，obj本身没有deposit键），Lua会自动去元表的__index指向的表里查找。这里__index指向Account，就能找到Account里的deposit方法，让所有实例共享同一个方法实现。
• 注意：Account一开始是空的，但挂载方法后就不是空表了，__index最终指向的是包含所有类方法的表。

问题2：为什么不选无元表的实现？核心差异是什么？ #

两种实现的核心差异在内存效率和扩展性：

• 内存占用：无元表的实现中，每个实例都会单独复制一份方法（比如每个obj都有自己的deposit函数副本）。如果创建大量实例，会浪费大量内存；而带元表的实现是所有实例共享Account表里的方法，内存占用极低。
• 扩展性：如果后续给Account新增方法（比如Account:withdraw(amount)），带元表的所有现有实例能直接调用这个新方法（因为访问时会去Account表里找）；但无元表的实例因为已经提前复制了旧的方法集合，无法自动获取新方法，必须手动修改每个实例才能生效。

问题3：带元表的实现为什么必须设置{__index = <类名>}？ #

这是Lua实现"原型继承/方法共享"的核心要求：

• 当实例调用方法时，实例本身只存储自身的属性（比如balance），方法都存在类表（Account）里。如果不设置__index，当访问实例不存在的键（比如deposit）时，Lua会直接返回nil，调用方法就会报错。
• 把__index设为类名（Account），就是告诉Lua："当这个实例找不到某个键时，去Account表里找"，这样所有实例就能共享类表中的方法，不用每个实例都存一份方法副本，这也是Lua实现OOP的经典方式。

内容的提问来源于stack exchange，提问作者ex1led