元表
在 Lua 5.1 语言中,元表 (metatable) 的表现行为类似于 C++ 语言中的操作符重载,例如我们可以重载 “__add” 元方法 (metamethod),来计算两个 Lua 数组的并集;或者重载 “__index” 方法,来定义我们自己的 Hash 函数。Lua 提供了两个十分重要的用来处理元表的方法,如下:
setmetatable(table, metatable)
:此方法用于为一个表设置元表。getmetatable(table)
:此方法用于获取表的元表对象。
设置元表的方法很简单,如下:
local mytable = {}
local mymetatable = {}
setmetatable(mytable, mymetatable)
上面的代码可以简写成如下的一行:
local mytable = setmetatable({}, {})
修改表的操作符行为
通过重载 “__add” 元方法来计算集合的并集实例:
local set1 = {10, 20, 30} -- 集合
local set2 = {20, 40, 50} -- 集合
-- 将用于重载__add的函数,注意第一个参数是self
local union = function (self, another)
local set = {}
local result = {}
-- 利用数组来确保集合的互异性
for i, j in pairs(self) do
set[j] = true
end
for i, j in pairs(another) do
set[j] = true
end
-- 加入结果集合
for i, j in pairs(set) do
table.insert(result, i)
end
return result
end
setmetatable(set1, {__add = union}) -- 重载 set1 表的 __add 元方法
local set3 = set1 + set2
for _, j in pairs(set3) do
io.write(j.." ") -->output:30 50 20 40 10
end
除了加法可以被重载之外,Lua 提供的 所有操作符 都可以被重载:
序号 | 元方法 | 含义 |
---|---|---|
1 | “__add” | + 操作 |
2 | “__sub” | - 操作,其行为类似于 “add” 操作 |
3 | “__mul” | * 操作,其行为类似于 “add” 操作 |
4 | “__div” | / 操作,其行为类似于 “add” 操作 |
5 | “__mod” | % 操作,其行为类似于 “add” 操作 |
6 | “__pow” | ^ (幂)操作,其行为类似于 “add” 操作 |
7 | “__unm” | 一元 - 操作 |
8 | “__concat” | .. (字符串连接)操作 |
9 | “__len” | # 操作 |
10 | “__eq” | == 操作,函数 getcomphandler 定义了 Lua 怎样选择一个处理器来作比较操作;仅在两个对象类型相同且有对应操作相同的元方法时才起效 |
11 | “__lt” | < 操作 |
12 | “__le” | <= 操作 |
除了操作符之外,如下 元方法 也可以被重载,下面会依次解释使用方法:
序号 | 元方法 | 含义 |
---|---|---|
1 | “__index” | 取下标操作,用于访问 table[key] |
2 | “__newindex” | 赋值给指定下标 table[key] = value |
3 | “__tostring” | 转换成字符串 |
4 | “__call” | 当 Lua 调用一个值时调用 |
5 | “__mode” | 用于弱表 (week table) |
6 | “__metatable” | 用于保护 metatable 不被访问 |
__index 元方法
下面的例子中,我们实现了在表中查找键,不存在时转而在元表中查找该键的功能:
mytable = setmetatable(
{key1 = "value1"}, --原始表
{
__index = function(self, key) --重载函数
if key == "key2" then
return "metatablevalue"
end
end
}
)
print(mytable.key1,mytable.key2) --> output:value1 metatablevalue
关于 __index 元方法,有很多比较高阶的技巧,例如:__index 的元方法不需要非是一个函数,它也可以是一个表。
t = setmetatable({[1] = "hello"}, {__index = {[2] = "world"}})
print(t[1], t[2]) -->hello world
第一句代码有点绕,解释一下:
- 先是把
{__index = {}}
作为元表,但 __index 接受一个表,而不是函数,这个表中包含 [2] = “world” 这个键值对。 - 当 t[2] 在自身的表中找不到时,到 __index 的表中去寻找,然后找到了 [2] = “world” 这个键值对。
__index 元方法还可以实现给表中每一个值赋上默认值,和 __newindex 元方法联合监控对表的读取、修改等比较高阶的功能,待读者自己去开发吧。
__tostring 元方法
与 Java 中的 toString()
函数类似,可以实现自定义的字符串转换。
arr = {1, 2, 3, 4}
arr = setmetatable(
arr,
{
__tostring = function (self)
local result = '{'
local sep = ''
for _, i in pairs(self) do
result = result ..sep .. i
sep = ', '
end
result = result .. '}'
return result
end
}
)
print(arr) --> {1, 2, 3, 4}
__call 元方法
__call 元方法的功能类似于 C++ 中的仿函数,使得普通的表也可以被调用。
functor = {}
function func1(self, arg)
print ("called from", arg)
end
setmetatable(functor, {__call = func1})
functor("functor") --> called from functor
print(functor) --> output:0x00076fc8 (后面这串数字可能不一样)
__metatable 元方法
假如想保护我们的对象,使其使用者既看不到也不能修改 metatables。我们可以对 metatable
设置 __metatable 的值,getmetatable
将返回这个域的值,而调用 setmetatable
将会出错:
Object = setmetatable({}, {__metatable = "You cannot access here"})
print(getmetatable(Object)) --> You cannot access here
setmetatable(Object, {}) --> 引发编译器报错