平等元方法何时改变?

看起来平等元方法执行方式已经发生了变化,但是我在任何 5.1、5.2 或者 5.3 的参考手册中找不到任何说明(在不兼容性部分的语言更改中)

t1a = {}
t1b = {}
t2  = {}
mt1 = { __eq = function( o1, o2 ) return 'whee' end }
mt2 = { __eq = function( o1, o2 ) return 'whee' end }

setmetatable( t1a, mt1 )
setmetatable( t1b, mt1 )
setmetatable( t2,  mt2 )

print( t1a == t1b )     --> true
print( t1a == t2 )      --> false

来自 (http://lua-users.org/wiki/MetatableEvents) 并在本地 5.1.5 实现中经过测试确实是真的

在 Lua 5.3 中运行实际上会得到

true
true

执行自 (https://www.lua.org/demo.html)

这是一个错误吗?平等元方法不再需要具有相同的引用了吗?

点赞
用户2357112
用户2357112

我不是Lua专家,但是比较了5.2文档

“eq”: ==操作。函数getequalhandler定义了Lua如何选择相等的元方法。只有在进行比较的两个值具有相同的类型和所选操作的相同的元方法时,才会选择元方法,并且这些值或为表或为完整用户数据。

5.3文档

__eq: 相等(==)操作。行为类似于加法操作,除了Lua仅在被比较的两个值都是表或完整用户数据且它们不是基本的相等时才会尝试元方法。调用的结果总是转换为布尔值。

5.3文档没有列出操作数需要具有相同元方法的要求。

2018-03-13 02:28:51
用户9383219
用户9383219

如果我正确阅读了 Lua 官网上的源代码,那么这在 Lua 5.2 和 5.3 之间发生了变化。

在 Lua 5.2 中,如果一对表或用户数据由于引用而不相等,则通过 luaV_equalobj_(使用 get_equalTM,其中 TM 代表元方法的旧名称)检查两个 __eq 元方法的相等性 [(在 5.1 中,此过程类似,但方法被称为 luaV_equalvallua_getcompTM)],然后才会使用元方法。(在 5.3 中,luaV_equalobj 将在第一个操作数中查找 __eq 元方法,然后在第二个操作数中查找;如果找到任何元方法,则将调用它。)

有关此问题的讨论在 Lua 列表上于 2015 年进行:Lua 5.3 changes to .__eq更易于阅读的 Nabble 版本)。

2018-03-13 23:12:40