目錄
· 一些廢話
· 測試代碼
· 代碼說明
· 基類(父類) A
· 派生類(子類) B
· 子類對象操作私有變量
· 繼續(xù)往下繼承
別人的經(jīng)驗,我們的階梯!
一些廢話
Lua語言是一個小而美的語言,使用者不多。
估計閱讀這篇文章的人也不會多,姑且當(dāng)做一篇筆記吧。
這篇文章主要描述:在Lua語言中,如何通過table結(jié)構(gòu)來實現(xiàn)面向?qū)ο缶幊獭?/P>
主要是看到某鳥教程上錯誤百出,估計示例代碼自己都沒有測試過;
關(guān)于Lua語言中的table以及metatable的基本知識,這里就不贅述了,官方手冊中描述的很清楚。
測試代碼


執(zhí)行結(jié)果如下:

代碼說明
基類(父類) A
首先來分析下4-25行的代碼。
4-9行:定義父類A的成員變量和函數(shù)(按照C++中的習(xí)慣,可以叫做方法),可以看出Lua語言中的函數(shù)是“一等公民”,是可以賦值給一個變量的。
11-16行:相當(dāng)于是構(gòu)造函數(shù),用來創(chuàng)建一個父類A的對象。
18-20行:給父類A增加一個函數(shù),待會在分析子類B的時候再說。
22行:調(diào)用A:new()函數(shù),創(chuàng)建一個類A的對象,賦值給變量objA。
在A:new()函數(shù)中,關(guān)鍵是第13行代碼:此時self等于A,就相當(dāng)于是A.__index = A,這是合法的。
因為函數(shù)的調(diào)用方式是A:new(),Lua的語法糖會把A作為第一個參數(shù)傳遞給new()函數(shù)的第一個隱藏參數(shù)self。
然后執(zhí)行14行的setmetatable(t, self),相當(dāng)于把表t的元表設(shè)置為A。
以上兩行搞明白之后,23-24行的打印語句就簡單了:
23行:因為表objA中沒有成員a,但是objA被設(shè)置了元表A,而且該元表A帶有__index屬性,該屬性的值是表A自己,于是就到A中查找是否有成員a,于是就打印出:

__index 屬性的值,可以是一個表,可以是一個函數(shù);
只不過這里特殊一點:__index 設(shè)置為 A 自己;
24行:查找函數(shù)的過程是一樣的,找到元表A的__index屬性的值,也就是表A自己中的funcA函數(shù),然后調(diào)用,打印出:

派生類(子類) B
28-33行:定義了子類B,其實它也是一個對象。
在創(chuàng)建函數(shù)A:new(t)中,參數(shù)t的值是:

此時,self仍然是父類A,B的創(chuàng)建過程與objA的創(chuàng)建過程是一樣的,只不過給參數(shù)t設(shè)置了子類B自己的成員變量和函數(shù)。
所以,B的元表被設(shè)置為A(14行代碼的功勞),當(dāng)然了A的__index仍然被設(shè)置為A自己。
關(guān)鍵是35行:objB = B:new(),得仔細嘮嘮。
子類B并沒有自己的new函數(shù),但是類B(也是一個 table) 的元表被設(shè)置為A,并且A.__index = A,所以最終就找到了A中的new函數(shù),也就是11-16行代碼。
進入這個函數(shù)中時,第一個隱藏參數(shù)self被設(shè)置為 B 了,因為函數(shù)調(diào)用形式是:B:new()。
所以:
13 行 self.__index = self 相當(dāng)于設(shè)置 B.__index = B
14 行 etmetatable(t, self) 相當(dāng)于把表 t 的元表設(shè)置為 B
new()函數(shù)返回之后,就把t賦值給objB。
下面再看一下36-39行的打印語句:

36行:objB中并沒有成員a,但是objB的元表是B,而且B.__index = B,所以就到B中去查找a。
雖然B中也沒有a,但是B的元表是A,而且A.__index = A,所以就在A中找到了成員a,打印出:

37行:objB中并沒有成員b,但是objB的元表是B,而且B.__index = B,所以在B中找到了成員b,因此打印出:

37和38行的查找過程是類似的,只不過換成了函數(shù)而已。
子類對象操作自己的變量
41行:objB:myadd(10)。
查找myadd函數(shù)的過程與查找obj.a(chǎn)的過程是一樣的,這里再嘮叨一遍:
1. objB 中并沒有函數(shù) myadd,但是 objB 的元表是 B,而且 B.__index = B,所以就到 B 中去查找 myadd;
2. 雖然 B 中也沒有 myadd,但是 B 的元表是 A,而且 A.__index = A,所以就在 A 中找到了函數(shù) myadd;
于是就調(diào)用了函數(shù):

而且self等于objB,因此函數(shù)體中就等于是:

加法表達式中的objB.a(chǎn)的讀取過程,上面已經(jīng)描述過了,最終定位到的是父類A中的a,即:1。
1 + 10 = 11,然后把11賦值給objB.a(chǎn)。
在賦值操作中,被賦值的objB.a(chǎn)就不再是父類A中的那個a了!
因為objB本質(zhì)是一個table,給objB設(shè)置鍵值對的時候:
1. 如果鍵已經(jīng)存在了,那么就直接設(shè)置該鍵的值;
2. 如果鍵不存在,那么 lua 會看它的元表中是否有 __newindex 字段(可以是一個table,也可以是一個函數(shù));
2-1. 如果有 __newindex 字段,那么就是調(diào)用 __newindex (如果是一個函數(shù)),或者在 __newindex 中添加鍵值對(如果是一個table);
2-2. 如果沒有 __newindex 字段,那么就直接在 objB 中存儲該鍵值對;
根據(jù)上面這個規(guī)則,就會設(shè)置objB.a(chǎn) = 11。
明白以上這些之后,42和43行的打印語句就不復(fù)雜了。
42行:objA最終找到的a是父類A中的成員a,打印出:objA.a(chǎn) = 1。
43行:objB中自己已經(jīng)有了成員a,所以打印出:objB.a(chǎn) = 11。
繼續(xù)往下繼承
有了上面的基礎(chǔ),再從子類B中派生出類C,C派生出類D... 都不是什么問題了,如下所示:

感興趣的讀者可以自己測試一下。