Lua元表实现的类被其子类覆盖问题求助

我通过元表实现了Lua的Lexer类，但它正被子类覆盖，同时我引入的Position模块也采用类似的元表类实现方式。两个类都已定义__index方法，以下是原始代码：

Lexer类代码 #

--// Class
local Lexer = {
    Text = "",
    Pos = nil,
    CC = nil
}

--// Initializer
function Lexer.new(Text, Fn)
    -- Set metatable
    self = setmetatable({}, Lexer)

    -- Set variables
    self.Text = Text
    self.Pos = POS.new(0, 0, 0, Fn, Text)
    self.CC = nil
    self:Advance()

    -- Return
    return self
end

Position模块代码 #

--// Make the module
local Position = {
  Idx = 0,
  Line = 0,
  Col = 0,
  Fn = "",
  Ftxt = ""
}

--// Constructor
function Position.new(Idx, Line, Col, Fn, Ftxt)
  -- Set metatable
  self = setmetatable({}, Position)

  -- Set variables
  self.Idx  = Idx
  self.Line = Line
  self.Col  = Col
  self.Fn   = Fn
  self.Ftxt = Ftxt

  -- Return self
  return self
end

注：Position模块通过local POS = require("lib/position")引入。

问题分析与修复方案 #

原始代码的核心问题在于类表的元表配置不完整，导致子类继承时会意外覆盖父类的属性或方法。正确的元表类实现需要满足两个核心规则：

1. 父类的__index指向自身，确保实例能正确继承父类的属性和方法
2. 子类继承时，将子类的元表设置为父类，同时子类的__index指向自身，保证子类独有方法优先被访问

修复后的Position模块

local Position = {
  Idx = 0,
  Line = 0,
  Col = 0,
  Fn = "",
  Ftxt = ""
}
-- 关键配置：让Position作为元表时，自动从自身查找未定义的属性/方法
Position.__index = Position

function Position.new(Idx, Line, Col, Fn, Ftxt)
  local self = setmetatable({}, Position)
  self.Idx  = Idx
  self.Line = Line
  self.Col  = Col
  self.Fn   = Fn
  self.Ftxt = Ftxt
  return self
end

-- 示例方法：位置前进逻辑
function Position:advance()
  self.Idx = self.Idx + 1
  self.Col = self.Col + 1
  if self.Idx <= #self.Ftxt and self.Ftxt:sub(self.Idx, self.Idx) == "\n" then
    self.Line = self.Line + 1
    self.Col = 0
  end
end

return Position

修复后的Lexer类及子类实现

local POS = require("lib/position")

local Lexer = {
    Text = "",
    Pos = nil,
    CC = nil
}
-- 关键配置：Lexer实例未定义的属性/方法从自身查找
Lexer.__index = Lexer

function Lexer.new(Text, Fn)
    local self = setmetatable({}, Lexer)
    self.Text = Text
    self.Pos = POS.new(0, 0, 0, Fn, Text)
    self.CC = nil
    self:Advance()
    return self
end

-- Lexer核心方法：前进一个字符
function Lexer:Advance()
    if self.Pos.Idx < #self.Text then
        self.Pos:advance()
        self.CC = self.Text:sub(self.Pos.Idx, self.Pos.Idx)
    else
        self.CC = nil
    end
end

-- 子类示例：扩展Lexer功能
local ExtendedLexer = setmetatable({}, Lexer)
ExtendedLexer.__index = ExtendedLexer

function ExtendedLexer.new(Text, Fn, extraFlag)
    -- 先调用父类构造创建基础实例
    local self = Lexer.new(Text, Fn)
    -- 将实例元表切换为子类，确保子类方法优先生效
    setmetatable(self, ExtendedLexer)
    self.extraFlag = extraFlag
    return self
end

-- 子类独有方法
function ExtendedLexer:checkExtraFlag()
    return self.extraFlag and "Extra flag enabled" or "Extra flag disabled"
end

return Lexer

核心注意事项 #

• 所有类必须显式设置类名.__index = 类名，这是元表类继承的基础
• 子类构造需先调用父类构造，再切换实例元表为子类，避免父类属性被覆盖
• 实例的动态属性必须赋值到self上，不要直接修改类表的默认属性

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