Lua+元方法__eq：相等比较的自定义本质

【语法算法】

相等比较的元方法触发就这一行：

Vector.__eq = function(a, b) return a.id == b.id end

两个表做 == 比较时——如果不是同一个表但类型相同且有 __eq——Lua 调用 __eq——相等比较的自定义本质就这一行。今天拆开。

一、指针、元方法、rawequal 三段

__eq 的三段。指针：Lua 的 == 默认比较的是引用——两个表即使是内容完全相同的独立表，== 也返回 false。元方法：如果两个操作数都是表且类型相同，Lua 先查第一个操作数的元表有没有 __eq，没有再查第二个的——查到了就调用并返回其结果。rawequal：rawequal(t1, t2) 绕过 __eq 直接比较指针——不管元表怎么设置，rawequal 只看地址是否相同。三段连起来：__eq 玩的是"把指针比较升级为语义比较"——两个表是"逻辑上相等"而不是"物理上同一个"。

graph TD
    A["t1 == t2"] --> B{"t1和t2是同一个表?"}
    B -->|是| C["返回 true"]
    B -->|否| D{"类型相同?"}
    D -->|否| E["返回 false"]
    D -->|是| F{"有__eq?"}
    F -->|是| G["调用__eq(t1, t2)"]
    F -->|否| H["返回 false"]

二、相等比较的正确写法

local Vector = {}
Vector.__index = Vector

function Vector.new(x, y)
    return setmetatable({ x = x, y = y }, Vector)
end

Vector.__eq = function(a, b)
    return a.x == b.x and a.y == b.y
end

local v1 = Vector.new(3, 4)
local v2 = Vector.new(3, 4)

print(v1 == v2)  -- true: 坐标相同
print(rawequal(v1, v2))  -- false: 不同实例

v1 和 v2 是两个独立的表——内容相同但地址不同——没有 __eq 时 v1 == v2 返回 false——设置了 __eq 后按坐标判断相等。

三、__eq 的盲区与 rawequal 的纪律

__eq 有一个盲区：只对两个操作数类型相同时触发——一个表和一个数字比较时 Lua 直接返回 false 不查元表。rawequal 和 == 的分界线也要写清：rawequal 永远比较指针不查元表——在需要判断"是不是同一个实例"时用 rawequal，在需要判断"内容是否相同"时用 ==。最后一条纪律：__eq 返回的值会被 Lua 自动转换为布尔——返回 nil 视为 false，返回任何非 nil 值视为 true——返回 0 也是 true——这个隐式转换最容易出 bug。