當我們訪問一個表的不存在的域,返回結果為nil,這是正確的,但并不一定正確。實際上,這種訪問觸發lua解釋器去查找__index metamethod:如果不存在,返回結果為nil;如果存在則由__index metamethod返回結果。
這個例子的原型是一種繼承。假設我們想創建一些表來描述窗口。每一個表必須描述窗口的一些參數,比如:位置,大小,顏色風格等等。所有的這些參數都有默認的值,當我們想要創建窗口的時候只需要給出非默認值的參數即可創建我們需要的窗口。第一種方法是,實現一個表的構造器,對這個表內的每一個缺少域都填上默認值。第二種方法是,創建一個新的窗口去繼承一個原型窗口的缺少域。首先,我們實現一個原型和一個構造函數,他們共享一個metatable:
復制代碼 代碼如下:
-- 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)
setmetatable(o, Window.mt)
return o
end
現在我們定義__index metamethod:
復制代碼 代碼如下:
Window.mt.__index = function (table, key)
return Window.prototype[key]
end
這樣一來,我們創建一個新的窗口,然后訪問他缺少的域結果如下:
復制代碼 代碼如下:
w = Window.new{x=10, y=20}
print(w.width) --> 100
當Lua發現w不存在域width時,但是有一個metatable帶有__index域,Lua使用w(the table)和width(缺少的值)來調用__index metamethod,metamethod則通過訪問原型表(prototype)獲取缺少的域的結果。
__index metamethod在繼承中的使用非常常見,所以Lua提供了一個更簡潔的使用方式。__index metamethod不需要非是一個函數,他也可以是一個表。但它是一個函數的時候,Lua將table和缺少的域作為參數調用這個函數;當他是一個表的時候,Lua將在這個表中看是否有缺少的域。所以,上面的那個例子可以使用第二種方式簡單的改寫為:
復制代碼 代碼如下:
Window.mt.__index = Window.prototype
現在,當Lua查找metatable的__index域時,他發現window.prototype的值,它是一個表,所以Lua將訪問這個表來獲取缺少的值,也就是說它相當于執行:
復制代碼 代碼如下:
Window.prototype["width"]
將一個表作為__index metamethod使用,提供了一種廉價而簡單的實現單繼承的方法。一個函數的代價雖然稍微高點,但提供了更多的靈活性:我們可以實現多繼承,隱藏,和其他一些變異的機制。我們將在第16章詳細的討論繼承的方式。
您可能感興趣的文章:- Lua中強大的元方法__index詳解
- Lua中的元方法__newindex詳解