【Lua】Lua中__index與元表（轉）

轉載於：http://blog.csdn.net/xocoder/article/details/9028347

 

Lua的表本質其實是個類似HashMap的東西，其元素是很多的Key-Value對，如果嘗試訪問了一個表中並不存在的元素時，就會觸發Lua的一套查找機制，也是憑借這個機制，才能夠實現“面向對象”的。


舉例說明：

tempTable = {}
print(tempTable.memberA) --這里試圖打印tempTable並不存在的成員memberA

執行結果：nil
輸出為nil的原因很簡單，tempTable中並沒有memberA這個成員，這符合我們平時對HashMap的認知。但對於Lua表，如果tempTable有元表，情況就不同了。


什么是元表：
我的理解中，元表像是一個備用查找表，說白了假設表A的元表是B，那么如果在A中找不到的東西就會嘗試在B中去找。


__index元方法：
按照之前的說法，如果A的元表是B，那么如果訪問了一個A中不存在的成員，就會訪問查找B中有沒有這個成員。這個過程大體是這樣，但卻不完全是這樣，實際上，即使將A的元表設置為B，而且B中也確實有這個成員，返回結果仍然會是nil，原因就是B的__index元方法沒有賦值。按照我的理解， __index方法是用來確定一個表在被作為元表時的查找方法。這么說有點繞。所以：


舉個例子：）

father = {
    house=1
}
son = {
    car=1
}
setmetatable(son, father) --把son的metatable設置為father
print(son.house)

輸出的結果是nil，但如果把代碼改為

father = {
    house=1
}
father.__index = father -- 把father的__index方法指向自己
son = {
    car=1
}
setmetatable(son, father)
print(son.house)

 

輸出的結果為1，符合預期

這樣一來，結合上例，來解釋__index元方法的含義：

在上述例子中，訪問son.house時，son中沒有house這個成員，但Lua接着發現son有元表father，於是此時father被當做元表來查找，此時，Lua並不是直接在father中找名為house的成員，而是調用father的__index方法，如果__index方法為nil，則返回nil，如果是一個表（上例中father的__index方法等於自己，就是這種情況），那么就到__index方法所指的這個表中查找名為house的成員，於是，最終找到了house成員。
注：__index方法除了可以是一個表，還可以是一個函數，如果是一個函數，__index方法被調用時將返回該函數的返回值。


到這里，總結一下Lua查找一個表元素時的規則，其實就是如下3個步驟:


1.在表中查找，如果找到，返回該元素，找不到則繼續

2.判斷該表是否有元表，如果沒有元表，返回nil，有元表則繼續

3.判斷元表有沒有__index方法，如果__index方法為nil，則返回nil；如果__index方法是一個表，則重復1、2、3；如果__index方法是一個函數，則返回該函數的返回值