Lua面向对象中__index应定义在原型构造函数内部还是外部？

问题背景 #

阅读《Programming in Lua》面向对象章节的Account类实现时，注意到示例的构造函数每次调用都会执行self.__index = self赋值。通过基准测试发现，将__index赋值移到表初始化阶段仅执行一次的写法，在执行1000万次同类操作时，运行速度比每次构造都执行赋值的写法快200ms。由此产生核心疑问：既然单次赋值性能更优，为什么示例要把赋值逻辑放到高频调用的构造函数内部，这种设计是否是为了支撑继承特性？

两种写法的实际差异 #

跑一段可复现的测试代码，就能直观看到两种写法的实际行为差异：

local a = {}
a.__index = a
function a:foo()
    return 'foo'
end

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

local b = a:new()
-- b.__index = b
function b:bar()
    return 'bar'
end

local z = a:new()
print(z:foo()) -- 可正常运行

local y = b:new()
print(y:foo()) -- 尝试调用方法'foo'时报错：调用nil值
print(y:bar()) -- 尝试调用方法'bar'时报错：调用nil值

报错的核心逻辑来自Lua元方法的查找规则：

当一个表触发元方法逻辑时，Lua会直接查找给该表设置的第一层元表上的对应元方法字段，如果该字段不存在，就不会继续顺着当前元表的元表链递归查找元方法本身。

放到上述测试场景里就是：

• 实例y的元表指向表b，当y查找自身不存在的foo、bar方法时，Lua第一步就会去b这个表上找__index字段，发现b上根本没有这个字段
• 哪怕b的元表是a，a上定义了__index = a，Lua也不会继续追溯b的元表来查找b自身的__index配置
• 最终y的属性查找直接返回nil，触发“调用nil值方法”的错误

原示例设计的核心目的 #

原示例将self.__index = self放到构造函数内部，本质是为了完整支撑继承场景下的开箱即用原型查找：

• 当从基类派生子类时，比如执行Derived = Account:new()，此时构造函数内的self就指向Derived这个表
• 执行self.__index = self后，Derived自身就带上了__index元方法，指向自身
• 后续用Derived创建的实例，设置元表为Derived时，Lua可以直接在Derived上找到__index元方法，正常沿着原型链查找所有定义在Derived、以及从基类继承的方法
• 如果省略构造函数内的这行赋值，所有派生出来的子类表都不会自带__index配置，需要开发者在每一个派生原型上手动补充__index定义，不仅容易漏写出错，也违背了面向对象范式中基类统一封装原型逻辑的设计初衷

关于性能差异的说明 #

构造函数内的self.__index = self属于幂等操作，多次执行的结果和单次赋值完全一致。测试中观测到的200ms速度差来自于1000万次循环的累计效应，对于绝大多数Lua项目的实际使用场景（构造对象的频次远达不到千万级），这部分性能损耗几乎可以忽略。
这种设计用可接受的微小性能代价，换取了继承场景下的配置自动完成，不需要开发者手动给每个派生类补元方法定义，从长期可维护性来看是非常合理的权衡。

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