Lua Academy · 课时

instanceof 和类型自省

Q: 「instanceof 和类型自省」这节课中我会学到什么？

通过遍历类层次结构实现 instanceof() 检查。 你通过在浏览器中直接运行的动手代码来练习 Lua Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

通过遍历类层次结构实现 instanceof() 检查。

第 4 / 4 课13 个步骤

instanceof 和类型自省 是 CoddyKit 上的免费 Lua Academy 课时。这是第 4 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 Lua Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 Lua Academy 课程共包含 4 节课。

instanceof 是什么？

instanceof(obj, Class) 检查对象是否为特定类或其任一祖先类的实例。对于面向对象系统，它取代了 Lua 原始的 type()。

简单的 instanceof

从实例向上遍历元表链，查找目标类。

local function instanceof(obj, cls)
  if type(obj) ~= "table" then return false end
  local mt = getmetatable(obj)
  while mt do
    if mt == cls then return true end
    local parent = getmetatable(mt)
    mt = parent and parent.__index
  end
  return false
end

测试 instanceof

在继承链中也能正确工作。

local cat = Animal:new("Cat","Meow")
local rex = Dog:new("Rex")
print(instanceof(rex, Dog))     -- true
print(instanceof(rex, Animal))  -- true
print(instanceof(cat, Dog))     -- false

__type 字段约定

在每个类中存储字符串类型名称，以便快速进行运行时类型检查。

Animal.__type = "Animal"
Dog.__type = "Dog"
local function typeOf(obj)
  local mt = getmetatable(obj)
  return mt and mt.__type or type(obj)
end
print(typeOf(rex))  -- Dog

类型守卫

创建类型守卫函数，以便在 API 边界进行更清晰的断言。

local function assertType(obj, cls, argName)
  if not instanceof(obj, cls) then
    error(("Expected %s for %s, got %s"):format(
      cls.__name, argName, typeOf(obj)), 2)
  end
end

使用 getmetatable 检测类

getmetatable(obj) 返回类表。将其与已知类进行比较，即可测试精确类型（不考虑继承关系）。

local function exactType(obj)
  return getmetatable(obj)
end
print(exactType(rex) == Dog)  -- true
print(exactType(rex) == Animal)  -- false (not exact)

类层次结构自省

遍历元表链，列出对象继承的所有类。

local function classChain(obj)
  local chain = {}
  local mt = getmetatable(obj)
  while mt do
    chain[#chain+1] = mt.__name or "?"
    local parent = getmetatable(mt)
    mt = parent and parent.__index
  end
  return chain
end

类型系统比较

Lua 内置的 type() 只返回 8 种基本类型。对于面向对象系统，请使用 instanceof，或使用能够理解类层次结构的自定义 typeOf 函数。

密封类

通过从类中移除 :extend() 方法，或在 __index 中添加检查，来禁止创建子类。

基于类型的分派

根据运行时类型分派函数调用，这是方法重载的一种轻量级替代方案。

local function process(animal)
  if instanceof(animal, Dog) then
    print("Processing Dog:", animal.name)
  elseif instanceof(animal, Animal) then
    print("Processing Animal:", animal.name)
  end
end

使用类型信息进行调试

为类添加包含类型名称的 __tostring，以生成有意义的调试输出。

instanceof 问题

如果 Rex 是 Dog（而 Dog 扩展了 Animal），instanceof(rex, Animal) 会返回什么？

在交互式课程中回答

回顾：instanceof 与类型自省

instanceof 会遍历元表链，执行考虑继承关系的类型检查。使用 __type 字段可以快速查找字符串类型。在 API 边界使用类型守卫，可以通过清晰的消息尽早发现类型错误。

免费开始

用 AI 导师学习 Lua — 免费

在浏览器中编写并运行真实代码，获得全天候 AI 导师的即时帮助，并在网页或应用中继续学习。

课程: 40
课程: 159

免费开始学习查看完整课程

常见问题解答

「instanceof 和类型自省」课时是免费的吗？

是的 — 「instanceof 和类型自省」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Lua Academy 课程的其余内容，请升级到 CoddyKit PRO。 Lua Academy 课程共包含 4 节课。

「instanceof 和类型自省」这节课中我会学到什么？

通过遍历类层次结构实现 instanceof() 检查。你通过在浏览器中直接运行的动手代码来练习 Lua Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Lua Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 Lua Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 4 节课，共 4 节。

「instanceof 和类型自省」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 Lua Academy 课中编写并运行代码吗？

能。每节 Lua Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 Lua Academy