轉自：http://www.runoob.com/lua/lua-metatables.html

感性認識：

“Lua中Metatable這個概念, 國內將他翻譯為元表. 元表為重定義Lua中任意一個物件(值)的預設行為提供了一種公開入口. 如同許多OO語言的操作符過載或方法過載. Metatable能夠為我們帶來非常靈活的程式設計方式. 

      具體的說, Lua中每種型別的值都有都有他的預設操作方式, 如, 數字可以做加減乘除等操作, 字串可以做連線操作, 函式可以做呼叫操作, 表可以做表項的取值賦值操作. 他們都遵循這些操作的預設邏輯執行, 而這些操作可以通過Metatable來改變. 如, 你可以定義2個表如何相加等. 

      看一個最簡單的例子, 重定義了2個表的加法操作. 這個例子中將c的__add域改寫後將a的Metatable設定為c, 當執行到加法的操作時, Lua首先會檢查a是否有Metatable並且Metatable中是否存在__add域, 如果有則呼叫, 否則將檢查b的條件(和a相同), 如果都沒有則呼叫預設加法運算, 而table沒有定義預設加法運算, 則會報錯.

--定義2個表
a = {5, 6}
b = {7, 8}
--用c來做Metatable
c = {}
--重定義加法操作
c.__add = function(op1, op2)
   for _, item in ipairs(op2) do
      table.insert(op1, item)
   end
   return op1
end
--將a的Metatable設定為c
setmetatable(a, c)
--d現在的樣子是{5,6,7,8}
d = a + b

轉自：http://www.cnblogs.com/simonw/archive/2007/01/17/622032.html

"

在 Lua table 中我們可以訪問對應的key來得到value值，但是卻無法對兩個 table 進行操作。

因此 Lua 提供了元表(Metatable)，允許我們改變table的行為，每個行為關聯了對應的元方法。

例如，使用元表我們可以定義Lua如何計算兩個table的相加操作a+b。

當Lua試圖對兩個表進行相加時，先檢查兩者之一是否有元表，之後檢查是否有一個叫"__add"的欄位，若找到，則呼叫對應的值。"__add"等即時欄位，其對應的值（往往是一個函式或是table）就是"元方法"。

有兩個很重要的函式來處理元表：

• setmetatable(table,metatable): 對指定table設定元表(metatable)，如果元表(metatable)中存在__metatable鍵值，setmetatable會失敗 。
• getmetatable(table): 返回物件的元表(metatable)。

以下例項演示瞭如何對指定的表設定元表：

mytable = {}                          -- 普通表 
mymetatable = {}                      -- 元表
setmetatable(mytable,mymetatable)     -- 把 mymetatable 設為 mytable 的元表

這裡的 mytable 是指被操作的table，mymetatable 是操作符過載函式的定於區域。

以上程式碼也可以直接寫成一行：

mytable = setmetatable({},{})

以下為返回物件元表：

getmetatable(mytable)                 -- 這回返回mymetatable

__index 元方法

這是 metatable 最常用的鍵。

當你通過鍵來訪問 table 的時候，如果這個鍵沒有值，那麼Lua就會尋找該table的metatable（假定有metatable）中的__index 鍵。如果__index包含一個表格，Lua會在表格中查詢相應的鍵。

我們可以在使用 lua 命令進入互動模式檢視：

$ lua
Lua 5.3.0  Copyright (C) 1994-2015 Lua.org, PUC-Rio
> other = { foo = 3 } 
> t = setmetatable({}, { __index = other }) --__index包含一個 table
> t.foo
3
> t.bar
nil

如果__index包含一個函式的話，Lua就會呼叫那個函式，table 和 鍵 會作為引數傳遞給函式。

__index 元方法查看錶中元素是否存在，如果不存在，返回結果為 nil；如果存在則由 __index 返回結果。

mytable = setmetatable({key1 = "value1"}, {
  __index = function(mytable, key) -- __index 包含一個函式，這函式只會 在用序號訪問元素時呼叫
    if key == "key2" then
      return "metatablevalue"
    else
      return nil
    end
  end
})

print(mytable.key1,mytable.key2)

例項輸出結果為：

value1    metatablevalue

例項解析：

• mytable 表賦值為 {key1 = "value1"}。

• mytable 設定了元表，元方法為 __index。

• 在mytable表中查詢 key1，如果找到，返回該元素，找不到則繼續。

• 在mytable表中查詢 key2，如果找到，返回 metatablevalue，找不到則繼續。

• 判斷元表有沒有__index方法，如果__index方法是一個函式，則呼叫該函式。

• 元方法中檢視是否傳入 "key2" 鍵的引數（mytable.key2已設定），如果傳入 "key2" 引數返回 "metatablevalue"，否則返回 mytable 對應的鍵值。

   

我們可以將以上程式碼簡單寫成：

mytable = setmetatable({key1 = "value1"}, { __index = { key2 = "metatablevalue" } })
print(mytable.key1,mytable.key2)

摘錄 program in lua 中的解釋用以加深理解：

“

    -- create a namespace
    Window = {}
    -- create the prototype with default values
    Window.prototype = {x=0, y=0, width=100, height=100, }
    -- create a metatable
    Window.mt = {}
    -- declare the constructor function
    function Window.new (o) -- 新建，對 o 添加了 mt，從而繫結 __index 方法
      setmetatable(o, Window.mt)
      return o
    end
-- Now, we define the __index metamethod:
    Window.mt.__index = function (table, key) -- 在 print 的時候呼叫
      return Window.prototype[key]
    end
-- After that code, we create a new window and query it for an absent field:
    w = Window.new{x=10, y=20, i=1}--新建一個 object
    print(w.width)    --> 100，除錯可見width是隱藏的，w只有x y 和 i

整體而言，這個語言特性也可以使用簡單的辦法實現。但是應該在繼承和麵向物件的特性上有重要作用。目前僅在此簡單給出特性，待後續詳細體會。

摘自：https://www.lua.org/pil/13.4.1.html

”

總結

Lua查詢一個表元素時的規則，其實就是如下3個步驟:

• 1.在表中查詢，如果找到，返回該元素，找不到則繼續
• 2.判斷該表是否有元表，如果沒有元表，返回nil，有元表則繼續。
• 3.判斷元表有沒有__index方法，
  如果__index方法為nil，則返回nil；
  如果__index方法是一個表，則重複1、2、3；
  如果__index方法是一個函式，則返回該函式的返回值。

__newindex 元方法

__newindex 元方法用來對錶更新，__index則用來對錶訪問 。

當你給表的一個缺少的索引賦值，直譯器就會查詢__newindex 元方法：如果存在則呼叫這個函式而不進行賦值操作。

以下例項演示了 __newindex 元方法的應用：

mymetatable = {}
mytable = setmetatable({key1 = "value1"}, { __newindex = mymetatable })

print(mytable.key1)

mytable.newkey = "新值2"
print(mytable.newkey,mymetatable.newkey)

mytable.key1 = "新值1"
print(mytable.key1,mymetatable.key1)

以上例項執行輸出結果為：

value1
nil    新值2
新值1    nil

以上例項中表設定了元方法 __newindex，在對新索引鍵（newkey）賦值時（mytable.newkey = "新值2"），會呼叫元方法，而不進行賦值。而如果對已存在的索引鍵（key1），則會進行賦值，而不呼叫元方法 __newindex。

以下例項使用了 rawset 函式來更新表：

mytable = setmetatable({key1 = "value1"}, {
  __newindex = function(mytable, key, value)
        rawset(mytable, key, "\""..value.."\"")

  end
})

mytable.key1 = "new value"
mytable.key2 = 4

print(mytable.key1,mytable.key2)

以上例項執行輸出結果為：

new value    "4"

為表新增操作符

以下例項演示了兩表相加操作：

-- 計算表中最大值，table.maxn在Lua5.2以上版本中已無法使用 -- 自定義計算表中最大鍵值函式 table_maxn，即計算表的元素個數 function table_maxn(t) local mn = 0 for k, v in pairs(t) do if mn < k then mn = k end end return mn end -- 兩表相加操作 mytable = setmetatable({ 1, 2, 3 }, { __add = function(mytable, newtable) for i = 1, table_maxn(newtable) do table.insert(mytable, table_maxn(mytable)+1,newtable[i]) end return mytable end }) secondtable = {4,5,6} mytable = mytable + secondtable     for k,v in ipairs(mytable) do print(k,v) end

以上例項執行輸出結果為：

1    1
2    2 3    3 4    4 5    5 6    6

__add 鍵包含在元表中，並進行相加操作。 表中對應的操作列表如下：(注意：__是兩個下劃線)

__call 元方法

__call 元方法在 Lua 呼叫一個值時呼叫。以下例項演示了計算表中元素的和：

-- 計算表中最大值，table.maxn在Lua5.2以上版本中已無法使用 -- 自定義計算表中最大鍵值函式 table_maxn，即計算表的元素個數 function table_maxn(t) local mn = 0 for k, v in pairs(t) do if mn < k then mn = k end end return mn end -- 定義元方法__call mytable = setmetatable({10}, { __call = function(mytable, newtable)     sum = 0     for i = 1, table_maxn(mytable) do         sum = sum + mytable[i]     end for i = 1, table_maxn(newtable) do         sum = sum + newtable[i]     end     return sum end }) newtable = {10,20,30} print(mytable(newtable))

以上例項執行輸出結果為：

70

__tostring 元方法

__tostring 元方法用於修改表的輸出行為。以下例項我們自定義了表的輸出內容：

mytable = setmetatable({ 10, 20, 30 }, { __tostring = function(mytable) sum = 0 for k, v in pairs(mytable) do         sum = sum + v     end return "表所有元素的和為 " .. sum end }) print(mytable)

以上例項執行輸出結果為：

表所有元素的和為 60

從本文中我們可以知道元表可以很好的簡化我們的程式碼功能，所以瞭解 Lua 的元表，可以讓我們寫出更加簡單優秀的 Lua 程式碼。