详解Lua中的元表和元方法_Lua

一、元表

元表可以修改一个值在面对一个未知操作时的行为，lua 中使用 table 作为元表的承载。

元表只能给出预先定义的操作集合的行为，比类会更加受限制，不支持继承。

lua 每一个值都可以有元表 ：

表和用户数据类型都具有各自独立的元表；
其他类型的值则共享对应类型所属的同一个元表；

二、元表的设置

1、类型的原始元表

lua 中，元表的设置只能针对 table ，其他类型都不能设置。

table 的初始化元表为 nil ，即没有设置元表，只能通过 setmetatable 进行设置，多个 table 可以共享一个 table 作为元表（当然也可以使用他自己作为自己的元表，因为他自身也是一个 table）

lua 只有 string 初始化了元表，而且是针对了所有的字符串，即 string 都是同一个元表。其他的类型为 nil 。

print("表的初始值", getmetatable({}))           --> 表的初始值	nil
print("整型的初始值", getmetatable(10))         --> 整型的初始值	nil
print("浮点型的初始值", getmetatable(10.0))      --> 浮点型的初始值	nil
--- 通过打印可以看到两个字符串的元表是同一个
print("字符串的初始值", getmetatable("江澎涌"))   --> 字符串的初始值	table: 0x600000b14640
print("字符串的初始值", getmetatable("jiangpengyong"))  --> 字符串的初始值	table: 0x600000b14640
print("布尔型的初始值", getmetatable(true))     --> 布尔型的初始值	nil
print("nil的初始值", getmetatable(nil))         --> nil的初始值	nil
function sayhello()  end
print("函数的初始值", getmetatable(sayhello))   --> 函数的初始值	nil

2、设置元表和获取元表

2-1、setmetatable(table, metatable)

给表 table 设置元表 metatable

参数

table：要被设置元表的表
metabale：元表，如果值为 nil ，则表明要删除 table 的原有元表。如果原来的元表有 __metatable 字段，则不能再设置元表，否则会抛出异常 cannot change a protected metatable

__metatable 会在下面的 “表相关方法” 小节分享

返回值：

返回被设置元表的表，就是参数 table

2-2、getmetatable(object)

如果 object 没有元表，则返回 nil

如果对象 object 有元表，且该元表有一个 "__metatable" 字段，则返回关联的值。否则，返回给定对象 object 的元表

2-3、举个例子

local oritable = {}
local metatable = {}
print(setmetatable(oritable, metatable), oritable, metatable)       --> table: 0x600001ac0840	table: 0x600001ac0840
print(getmetatable(oritable), metatable)                            --> table: 0x600001ac0900	table: 0x600001ac0900

给元表带有 __metatable 字段的表，设置新的元表，则会抛出异常（见下图）

t2 = { c = 1 }
t2.__metatable = { a = 1 }
s1 = {}
setmetatable(s1, t2)
print('getmetatable(s1)["a"]', getmetatable(s1)["a"])           --> getmetatable(s1)["a"]	1
-- 此处会抛出异常：cannot change a protected metatable
print(setmetatable(s1, {}))

三、元表方法

1、具有的元方法

元表方法方法很像 kotlin 中的操作符方法

1-1、算术运算符

元表方法	含义
__add	加法
__mul	乘法
__sub	减法
__div	除法
__floor	floor除法
__unm	负数
__mod	取模
__pow	幂运算
__band	按位与
__bor	按位或
__bxor	按位异或
__bnot	按位取反
__shl	向左移
__shr	向右移
__concat	定义连接运算符

1-2、关系运算符

元表方法	含义
__eq	等于
__lt	小于
__le	小于等于

值得注意： ～=、a > b、a >= b 没有对应的元方法，会被转为如下

a ~= b 会被转为 not( a == b)
a > b 会被转为 b < a
a >= b 会被转为 b <= a

关系运算符遇到两个不同类型的对象，则会直接返回 false ，不会进行搜寻任何的元方法

1-3、库相关方法

元表方法	含义
__tostring	当调用 `tostring` 时，会先检查值是否有一个元方法 `__tostring` ，有则会先使用。
__metatable	使用该元方法可以保护元表，用户无法获取也无法修改该元表。当元表设置了 __metatable 的字段，则 getmetatable 会返回这个字段的值，而 setmetatable 则会引发错误
__pairs	从 lua 5.2 开始，当元表拥有一个 __pairs 的元方法时，pairs 会调用这个元方法来完成遍历

1-4、表相关方法

元表方法	含义
__index	一旦访问 table 中不存在的字段，正常情况下会返回 nil 。如果设置了这个元表方法，则会调用自身元表对应的该 __index 元方法，并以被调用的表（即此处的 table ，不是元表）和键作为参，进行调用。也可以给 __index 设置一个 table，这样就会直接在这table 中查询，速度比方法稍快。可以通过 `rawget` 获取原始数据，不考虑元表。
__newindex	当调用 table 进行索引赋值时，如果设置了该元表方法，则会使用被调用的表（即此处的 table ，不是元表），键和值作为参，调用该方法。同样也可以给 __newindex 设置一个表，则会将值直接存至该表。可以通过 `rawset(talbe, key, value)` 相当于 `table[key] = value` 进行直接对 table 的赋值，不考虑元表。
__len	获取 table 的长度时，会调用该方法，获取长度

__index 和 __newindex 的异同