lua在创建新的table时不会创建元表，比如

1
2
local t = {}
print(getmetatable(t))

我们是使用getmetatable来获取一个table或者userdata类型变量的元表，当创建新的table变量时，使用getmetatable去获得元表，将返回nil，同理可以用setmetatable去设置一个table或userdata类型变量的元表，代码如下：

1
2
3
4
5
6
local t = {}
print(getmetatable(t))     

local t1 = {}
setmetatable(t,t1)
assert(getmetatable(t) == t1)

任何table都可以作为任何值的元表，而一组相关的table有可以共享一个通用的元表，此元表描述了他们共同行为，一个table甚至可以作为它自己的元表，用于描述其特有的行为，总之，任何搭配形式都是合法的。

在lua中，只能设置table元表，若要设置其他类型的元表，必须通过C代码完成，还存在一个特例，对于字符串，标准的字符串程序库为所有的字符串设置了一个元表，而其他类型在默认情况下都没有元表，例：

1
2
print(getmetatable("Hello World"))     -->table:0062EA18
print(getmetatable(10))

在table中，可以重新定义的元方法有以下几个:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
__add(a,b)     -- 加法
__sub(a,b)     -- 减法
__mul(a,b)     -- 乘法
__div(a,b)     -- 除法
__mod(a,b)     -- 取模
__pow(a,b)     -- 乘幂
__unm(a,b)     -- 相反数
__concat(a,b)     -- 连接
__len(a,b)     -- 长度
__eq(a,b)     -- 相等
__lt(a,b)     -- 小于
__le(a,b)     -- 小于等于
__index(a,b)     -- 索引查询
__newindex(a,b,c)     -- 索引更新
__call(a,...)     -- 执行方法调用
__tostring(a)     -- 字符串输出
__metatable     -- 保护元表

算术类的元方法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
Set = {}
local mt = {}     -- 集合的元素

-- 根据参数列表中的值创建一个新集合
function (l)
     local set = {}
     setmetatable(set,mt)
     for _,v in pairs(l) do
          set[v] = true
     end
     return set
end
-- 并集操作
function Set.union(a, b)
    local retSet = Set.new{} -- 此处相当于Set.new({})
    for v in pairs(a) do retSet[v] = true end
    for v in pairs(b) do retSet[v] = true end
    return retSet
end

-- 交集操作
function Set.intersection(a, b)
    local retSet = Set.new{}
    for v in pairs(a) do retSet[v] = b[v] end
    return retSet
end

-- 打印集合的操作
function Set.toString(set)
     local tb = {}
     for e in pairs(set) do
          tb[#tb + 1] = e
     end
     return "{" .. table.concat(tb, ", ") .. "}"
end

function Set.print(s)
     print(Set.toString(s))
end

现在，定义一个“+”来计算两个集合的并集，那么就需要让所有用于表示集合的table共享一个元表，并且在该元表中定义如何执行一个加法操作，首先创建一个常规的table