Lua面向?qū)ο缶幊痰幕驹硎纠忝靼讕追郑?/h1>
一些廢話
Lua語言是一個小而美的語言，使用者不多。
估計閱讀這篇文章的人也不會多，姑且當(dāng)做一篇筆記吧。
這篇文章主要描述：在Lua語言中，如何通過table結(jié)構(gòu)來實(shí)現(xiàn)面向?qū)ο缶幊獭?/p>
主要是看到某鳥教程上錯誤百出，估計示例代碼自己都沒有測試過;
關(guān)于Lua語言中的table以及metatable的基本知識，這里就不贅述了，官方手冊中描述的很清楚。
測試代碼
1 #!/usr/bin/lua
2
3 ------------------------------ class A
4 A = {
5 a = 1,
6 funcA = function()
7 print("this is funcA")
8 end
9 }
10
11 function A:new(t)
12 local t = t or {}
13 self.__index = self
14 setmetatable(t, self)
15 return t
16 end
17
18 function A:myadd(num)
19 self.a = self.a + num
20 end
21
22 objA = A:new()
23 print("objA.a = " .. objA.a)
24 print(objA.funcA())
25 print(string.rep("-", 20))
26
27 ------------------------------ class B
28 B = A:new({
29 b = 2,
30 funcB = function()
31 print("this is funcB")
32 end
33 })
34
35 objB = B:new()
36 print("objB.a = " .. objB.a)
37 print("objB.b = " .. objB.b)
38 print(objB.funcA())
39 print(objB.funcB())
40
41 objB:myadd(10)
42 print("objA.a = " .. objA.a)
43 print("objB.a = " .. objB.a)
執(zhí)行結(jié)果如下：
$ ./oop.lua
objA.a = 1
this is funcA
--------------------
objB.a = 1
objB.b = 2
this is funcA
this is funcB
objA.a = 1
objB.a = 11
代碼說明
基類(父類) 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，于是就打印出：
objA.a = 1
__index 屬性的值，可以是一個表，可以是一個函數(shù);
只不過這里特殊一點(diǎn)：__index 設(shè)置為 A 自己;
24行：查找函數(shù)的過程是一樣的，找到元表A的__index屬性的值，也就是表A自己中的funcA函數(shù)，然后調(diào)用，打印出：
this is funcA派生類(子類) B
28-33行：定義了子類B，其實(shí)它也是一個對象。
在創(chuàng)建函數(shù)A:new(t)中，參數(shù)t的值是：
local t = {
b = 2,
funcB = function()
print("this is funcB")
end
}
此時，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()，得仔細(xì)嘮嘮。
子類B并沒有自己的new函數(shù)，但是類B(也是一個 table) 的元表被設(shè)置為A，并且A.__index = A，所以最終就找到了A中的new函數(shù)，也就是11-16行代碼。
進(jìn)入這個函數(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 print("objB.a = " .. objB.a)
37 print("objB.b = " .. objB.b)
38 print(objB.funcA())
39 print(objB.funcB())
36行：objB中并沒有成員a，但是objB的元表是B，而且B.__index = B，所以就到B中去查找a。
雖然B中也沒有a，但是B的元表是A，而且A.__index = A，所以就在A中找到了成員a，打印出：
objB.a = 1
37行：objB中并沒有成員b，但是objB的元表是B，而且B.__index = B，所以在B中找到了成員b，因此打印出：
objB.b = 2
37和38行的查找過程是類似的，只不過換成了函數(shù)而已。
子類對象操作自己的變量
41行：objB:myadd(10)。
查找myadd函數(shù)的過程與查找obj.a的過程是一樣的，這里再嘮叨一遍：
- objB 中并沒有函數(shù) myadd，但是 objB 的元表是 B，而且 B.__index = B，所以就到 B 中去查找 myadd;
- 雖然 B 中也沒有 myadd，但是 B 的元表是 A，而且 A.__index = A，所以就在 A 中找到了函數(shù) myadd;
于是就調(diào)用了函數(shù)：
18 function A:myadd(num)
19 self.a = self.a + num
20 end
而且self等于objB，因此函數(shù)體中就等于是：
objB.a = objB.a + 10
加法表達(dá)式中的objB.a的讀取過程，上面已經(jīng)描述過了，最終定位到的是父類A中的a，即：1。
1 + 10 = 11，然后把11賦值給objB.a。
在賦值操作中，被賦值的objB.a就不再是父類A中的那個a了！
因為objB本質(zhì)是一個table，給objB設(shè)置鍵值對的時候:
- 如果鍵已經(jīng)存在了，那么就直接設(shè)置該鍵的值;
- 如果鍵不存在，那么 lua 會看它的元表中是否有 __newindex 字段(可以是一個table，也可以是一個函數(shù));
- 2-1. 如果有 __newindex 字段，那么就是調(diào)用 __newindex (如果是一個函數(shù))，或者在 __newindex 中添加鍵值對(如果是一個table);
- 2-2. 如果沒有 __newindex 字段，那么就直接在 objB 中存儲該鍵值對;
根據(jù)上面這個規(guī)則，就會設(shè)置objB.a = 11。
明白以上這些之后，42和43行的打印語句就不復(fù)雜了。
42行：objA最終找到的a是父類A中的成員a，打印出：objA.a = 1。
43行：objB中自己已經(jīng)有了成員a，所以打印出：objB.a = 11。
繼續(xù)往下繼承
有了上面的基礎(chǔ)，再從子類B中派生出類C，C派生出類D... 都不是什么問題了，如下所示：
C = B:new()
objC = C:new()
print("objC.a = " .. objC.a)
print("objC.b = " .. objC.b)
print(objC.funcA())
print(objC.funcB())
感興趣的讀者可以自己測試一下。
