Lua语言基础汇总（12）-- Lua中的面向对象编程

简单说说Lua中的面向对象

Lua中的table就是一种对象，看以下一段简单的代码：


1

2

3

4

5

6

7

8

9

10

11

12

local tb1 = {a = 1, b = 2}

local tb2 = {a = 1, b = 2}

local tb3 = tb1

 

if tb1 == tb2 then

     print("tb1 == tb2")

else

     print("tb1 ~= tb2")

end

 

tb3.a = 3

print(tb1.a)

上述代码会输出tb1 ~= tb2。说明两个具有相同值得对象是两个不同的对象，同时在Lua中table是引用类型的。我在《Lua中的模块与包》中也总结了，我们是基于table来实现的模块，在table中可以定义函数，也就是说，每个table对象都可以拥有其自己的操作。看一段代码：


1

2

3

4

5

6

7

Account = {balance = 0}

function Account.withDraw(v)

     Account.balance = Account.balance - v

end

 

Account.withDraw(10) -- 调用函数

print(Account.balance)

上面的代码创建了一个新函数，并将该函数存入Account对象的withDraw字段中，然后我们就可以调用该函数了。不过，在函数中使用全局名称Account是一个不好的编程习惯，因为这个函数只能针对特定对象工作，并且，这个特定对象还必须存储在特定的全局变量中。如果改变了对象的名称，withDraw就再也不能工作了。例如以下代码：


1

2

3

a = Account

Account = nil

a.withDraw(100)

这样就会出现错误。我在这里使用Account创建了一个新的对象a，当将Account赋值为nil时，应该要对a对象不产生任何影响。但是，由于在函数withDraw内部使用了Account，而不是变量a，所以就出现了错误。如果我们将withDraw函数内部的Account.balance = Account.balance – v语句修改为：a.balance = a.balance – v，这样就不会出现错误了。这就表明，当我们需要对一个函数进行操作时，需要指定实际的操作对象，即这里的a，这就需要一个额外的参数来表示该操作者，就好比C++中的this一样，只不过这里将这个关键字换成了self，换完以后的代码如下：


1

2

3

4

5

6

7

8

9

Account = {balance = 0}

function Account.withDraw(self, v)

     self.balance = self.balance - v

end

 

a = Account

Account = nil

a.withDraw(a, 100)

print(a.balance)

这样再调用，就不会出现错误了。

使用self参数是所有面向对象语言的一个核心。大多数面向对象语言都对程序员隐藏了self参数，从而使得程序员不必显示地声明这个参数。Lua也可以，当我们在定义函数时，使用了冒号，则能隐藏该参数，那么上述代码使用冒号来改下，就是下面这个样子了。


1

2

3

4

5

6

7

8

9

Account = {balance = 0}

function Account:withDraw(v) -- 注意这里的冒号":"

     self.balance = self.balance - v

end

 

a = Account

Account = nil

a:withDraw(100) -- 注意这里的调用时，也需要冒号":"

print(a.balance)

冒号的作用很简单，就是在方法定义中添加一个额外的隐藏参数，以及在一个方法调用中添加一个额外的实参。冒号只是一种语法便利，并没有引入任何新的东西；如果你愿意，你可以可以不使用self，而是在每次定义一个函数时，手动的加上self，只要你处理好了self，它们都是一样的。

这里乱乱的讲了一些Lua中的东西，主要还是说了table是一个不一样的东西，还有self。接下来，就正式进入面向对象的世界。不要忘了，上面总结的东西是非常有用的。

类

类是什么？一个类就是一个创建对象的模具。例如C++中，每个对象都是某个特定类的实例。在C++中，如果一个类没有进行实例化，那这个类中对应的操作，基本就是一堆“没有用”的代码；而Lua则不一样，即使你不实例化一个“类”，你照样也可以使用“类”名直接调用它的方法（对于C++，请忽视静态的方法）；这说明Lua中的“类”的概念与C++这种高级语言中类的概念还是有差别的。在Lua中则没有类的概念，而我们都是通过Lua现有的支持，去模拟类的概念。在Lua中，要表示一个类，只需创建一个专用作其他对象的原型（prototype）。原型也是一种常规的对象，也就是说我们可以直接通过原型去调用对应的方法。当其它对象（类的实例）遇到一个未知操作时，原型会先查找它。

在Lua中实现原型是非常简单的，比如有两个对象a和b，要让b作为a的原型，只需要以下代码就可以完成：


1

setmetatable(a, {__index = b})  -- 又是元表，不会的请看前几篇关于元表的文章

设置了这段代码以后，a就会在b中查找所有它没有的操作。若将b称为是对象a的“类”，就仅仅是术语上的变化。现在我就从最简单的开始，要创建一个实例对象，必须要有一个原型，就是所谓的“类”，看以下代码：


1

local Account = {}  -- 一个原型

好了，现在有了原型，那如何使用这个原型创建一个“实例”呢？接着看以下代码：


1

2

3

4

5

6

function Account:new(o)  -- 这里是冒号哦

     o = o or {}  -- 如果用户没有提供table，则创建一个

     setmetatable(o, self)

     self.__index = self

     return o

end

当调用Account:new时，self就相当于Account。接着，我们就可以调用Account:new来创建一个实例了。再看：


1

2

local a = Account:new{value = 100} -- 这里使用原型Account创建了一个对象a

a:display()

上面这段代码是如何工作的呢？首先使用Account:new创建了一个新的实例对象，并将Account作为新的实例对象a的元表。再当我们调用a:display函数时，就相当于a.display(a)，冒号就只是一个“语法糖”，只是一种方便的写法。我们创建了一个实例对象a，当调用display时，就会查找a中是否有display字段，没有的话，就去搜索它的元表，所以，最终的调用情况如下：


1

getmetatable(a).__index(display(a))

a的元表是Account，Account的__index也是Account。因此，上面的调用也可以使这样的：


1

Account.display(a)

所以，其实我们可以看到的是，实例对象a表中并没有display方法，而是继承自Account方法的，但是传入display方法中的self确是a。这样就可以让Account（这个“类”）定义操作。除了方法，a还能从Account继承所有的字段。

继承不仅可以用于方法，还可以作用于字段。因此，一个类不仅可以提供方法，还可以为实例中的字段提供默认值。看以下代码：


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

local Account = {value = 0}

function Account:new(o)  -- 这里是冒号哦

     o = o or {}  -- 如果用户没有提供table，则创建一个

     setmetatable(o, self)

     self.__index = self

     return o

end

 

function Account:display()

     self.value = self.value + 100

     print(self.value)

end

 

local a = Account:new{} -- 这里使用原型Account创建了一个对象a

a:display() --(1)

a:display() --(2)

在Account表中有一个value字段，默认值为0；当我创建了实例对象a时，并没有提供value字段，在display函数中，由于a中没有value字段，就会查找元表Account，最终得到了Account中value的值，等号右边的self.value的值就来源自Account中的value。调用a:display()时，其实就调用以下代码：


1

a.display(a)

在display的定义中，就会变成这样子：


1

a.value = getmetatable(a).__index(value) + 100

第一次调用display时，等号左侧的self.value就是a.value，就相当于在a中添加了一个新的字段value；当第二次调用display函数时，由于a中已经有了value字段，所以就不会去Account中寻找value字段了。

继承

由于类也是对象（准确地说是一个原型），它们也可以从其它类（原型）获得（继承）方法。这种行为就是继承，可以很容易的在Lua中实现。现在我们有一个类（原型，其实在Lua中说类这个概念，还是很别扭的，毕竟用C++的脑袋去想，还是觉的有点奇怪的。）CA：


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

local CA = {value = 0}

 

function CA:new(o)

     o = o or {}

     setmetatable(o, self)

     self.__index = self

     return o

end

 

function CA:display()

     print(self.value)

end

 

function CA:addValue(v)

     self.value = self.value + v

end

现在需要从这个CA类派生出一个子类CLittleA，则需要创建一个空的类，从基类继承所有的操作：


1

local CLittleA = CA:new()

现在，我创建了一个CA类的一个实例对象，在Lua中，现在CLittleA既是CA类的一个实例对象，也是一个原型，就是所谓的类，就相当于CLittleA类继承自CA类。再如下面的代码:


1

local s = CLittleA:new{value1 = 10}

CLittleA从CA继承了new；不过，在执行CLittleA:new时，它的self参数表示为CLittleA，所以s的元表为CLittleA，CLittleA中字段__index的值也是CLittleA。然后，我们就会看到，s继承自CLittleA，而CLittleA又继承自CA。当执行s:display时，Lua在s中找不到display字段，就会查找CLittleA；如果仍然找不到display字段，就查找CA，最终会在CA中找到display字段。可以这样想一下，如果在CLittleA中存在了display字段，那么就不会去CA中再找了。所以，我们就可以在CLittleA中重定义display字段，从而实现特殊版本的display函数。

多重继承

说到多重继承，我在写C++代码的时候也用的很少，一般都是使用组合的方式解决的，对于“组合”这个概念不明白的朋友，可以阅读我的设计模式系列的文章。既然说到了Lua中的多重继承，那也总结一下，顺便开拓一下视野和知识面。

实现单继承时，依靠的是为子类设置metatable，设置其metatable为父类，并将父类的__index设置为其本身的技术实现的。而多继承也是一样的道理，在单继承中，如果子类中没有对应的字段，则只需要在一个父类中寻找这个不存在的字段；而在多重继承中，如果子类没有对应的字段，则需要在多个父类中寻找这个不存在的字段。

就像上图表示一样，Lua会在多个父类中逐个的搜索display字段。这样，我们就不能像单继承那样，直接指定__index为某个父类，而是应该指定__index为一个函数，在这个函数中指定搜索不存在的字段的规则。这样便可实现多重继承。这里就出现了两个需要去解决的问题：

1. 保存所有的父类；

2. 指定一个搜索函数来完成搜索任务。

对于以上的多重继承，我们来看一段头疼的代码：


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

-- 在多个父类中查找字段k

local function search(k, pParentList)

    for i = 1, #pParentList do

        local v = pParentList[i][k]

        if v then

            return v

        end

    end

end

 

function createClass(...)

    local c = {} -- 新类

    local parents = {...}

 

    -- 类在其元表中搜索方法

    setmetatable(c, {__index = function (t, k) return search(k, parents) end})

 

    -- 将c作为其实例的元表

    c.__index = c

 

    -- 为这个新类建立一个新的构造函数

    function c:new(o)

        o = o or {}

        setmetatable(o, self)

 

        -- self.__index = self 这里不用设置了，在上面已经设置了c.__index = c

        return o

    end

 

    -- 返回新的类（原型）

    return c

end

 

-- 一个简单的类CA

local CA = {}

function CA:new(o)

    o = o or {}

    setmetatable(o, {__index = self})

    self.__index = self

    return o

end

 

function CA:setName(strName)

    self.name = strName

end

 

-- 一个简单的类CB

local CB = {}

function CB:new(o)

    o = o or {}

    setmetatable(o, self)

    self.__index = self

    return o

end

 

function CB:getName()

    return self.name

end

 

-- 创建一个c类，它的父类是CA和CB

local c = createClass(CA, CB)

 

-- 使用c类创建一个实例对象

local objectC = c:new{name = "Jelly"}

 

-- 设置objectC对象一个新的名字

objectC:setName("JellyThink")

local newName = objectC:getName()

print(newName)

代码虽然头疼，但是还的继续看。首先大体阅读一下上面的代码，看不懂不要紧。现在我来解释上面的代码。

  1. 使用createClass创建了一个类（原型），将CA和CB设置为这个类（原型）的父类（原型）；在创建的这个类（原型）中，设置了该类的__index为一个search函数，在这个search函数中寻找在创建的类中没有的字段；
  2. 创建的新类中，有一个构造函数new；这个new和之前的单继承中的new区别不大，很好理解；
  3. 调用new构造函数，创建一个实例对象，该实例对象有一个name字段；
  4. 调用object:setName(“JellyThink”)语句，设置一个新的名字；但是在objectC中没有这个字段，怎么办？好了，去父类找，先去CA找，一下子就找到了，然后就调用了这个setName，setName中的self指向的是objectC；设置以后，就相当于修改了objectC字段的name值；
  5. 调用objectC:getName()，objectC还是没有这个字段。找吧，CA也没有，那就接着找，在CB中找到了，就调用getName，在getName中的self指向的是objectC。所以，在objectC:getName中返回了objectC中name的值，就是“JellyThink”。

还有什么？什么也没有了，对于多重继承，貌似看起来很难，很麻烦，其实也就这么点东西。不懂的话，再来一遍。

我拿什么保护你

我们都知道，在C++或Java中，对于类中的成员函数或变量都有访问权限的。public，protected和private这几个关键字还认识吧。那么在Lua中呢？Lua中是本身就是一门“简单”的脚本语言，本身就不是为了大型项目而生的，所以，它的语言特性中，本身就没有带有这些东西，那如果非要用这样的保护的东西，该怎么办？我们还是“曲线救国”。思想就是通过两个table来表示一个对象。一个table用来保存对象的私有数据；另一个用于对象的操作。对象的实际操作时通过第二个table来实现的。为了避免为授权的访问，保存对象的私有数据的表不保存在其它的table中，而只是保存在方法的closure中。看一段代码：


1

2

3

4

5

6

7

8

9

10

function newObject(defaultName)

     local self = {name = defaultName}

     local setName = function (v) self.name = v end

     local getName = function () return self.name end

     return {setName = setName, getName = getName}

end

 

local objectA = newObject("Jelly")

objectA.setName("JellyThink") -- 这里没有使用冒号访问

print(objectA.getName())

这种设计给予存储在self table中所有东西完全的私密性。当调用newObject返回以后，就无法直接访问这个table了。只能通过newObject中创建的函数来访问这个self table；也就相当于self table中保存的都是私有的，外部是无法直接访问的。大家可能也注意到了，我在访问函数时，并没有使用冒号，这个主要是因为，我可以直接访问的self table中的字段，所以是不需要多余的self字段的，也就不用冒号了。

总结

这篇文章对Lua中的“面向对象”进行了一些简单的总结，本来Lua就很简单，我们只是使用了Lua本身的特性去实现一些更高大上的特性，这样没有什么不好，有的时候也没有什么好。要不要用面向对象的这些特性，在具体项目中具体分析，至于如何理解面向对象的概念，不是这里的重点。Lua的面向对象，总结到此为止，以后有了实际的项目应用，接着总结，这篇基础篇的文章，希望对大家有用。

来源网址：http://www.jellythink.com/archives/529

Lua语言基础汇总（12）-- Lua中的面向对象编程,布布扣,bubuko.com

时间： 2024-10-10 21:06:07

Lua语言基础汇总（12）-- Lua中的面向对象编程的相关文章

Lua语言基础汇总（13）-- Lua中一些常用的库

前言 这篇文章将会来一些比较轻松的内容,就是简单的介绍一下Lua中几个常用的库.简单的说就是几个API的介绍.所以说,看起来比较容易,也没有多大的分量.就是纯粹的总结.使用库就是为了方便我们的开发,提高开发效率,同时也能保证代码的质量.希望大家以后也不要重复造轮子了. 数学库 数学库(math)由一组标准的数学函数构成.这里主要介绍几个常用的函数,其它的大家可以自行百度解决. 1. 三角函数(sin,cos,tan……) 所有的三角函数都使用弧度单位,可以用函数deg(角度)和rad(弧度)来转

Lua语言基础汇总（9）-- Lua中__index和__newindex实践

前言 本文将通过几个简单的实例演示,巩固对__index和__newindex的理解,同时加深对Lua中元表和元方法的理解,如果对Lua的元表和元方法还不是很熟悉的话,请参考这篇文章:<Lua中的元表与元方法>. 具有默认值的table 我们都知道,table中的任何字段的默认值都是nil,但是通过元表,我们可以很容易的修改这一规定,代码如下: 1 2 3 4 5 6 7 8 9 function setDefault(tb, defaultValue)      local mt = {__

Lua语言基础汇总（8） -- Lua中的元表与元方法

前言 元表对应的英文是metatable,元方法是metamethod.我们都知道,在C++中,两个类是无法直接相加的,但是,如果你重载了“+”符号,就可以进行类的加法运算.在Lua中也有这个道理,两个table类型的变量,你是无法直接进行“+”操作的,如果你定义了一个指定的函数,就可以进行了.那本文就是主要讲的是如何定义这个指定的函数,这个指定的函数是什么?希望对学习Lua的朋友有帮助. Lua是怎么做的? 通常,Lua中的每个值都有一套预定义的操作集合,比如数字是可以相加的,字符串是可以连接

Lua语言基础汇总（11） -- Lua中的模块与包

前言 从Lua5.1版本开始,就对模块和包添加了新的支持,可是使用require和module来定义和使用模块和包.require用于使用模块,module用于创建模块.简单的说,一个模块就是一个程序库,可以通过require来加载.然后便得到了一个全局变量,表示一个table.这个table就像是一个命名空间,其内容就是模块中导出的所有东西,比如函数和常量,一个符合规范的模块还应使require返回这个table.现在就来具体的总结一下require和module这两个函数. require函

Lua语言基础汇总（10） -- Lua中的环境概念

前言 Lua将其所有的全局变量保存在一个常规的table中,这个table称为“环境”.这种组织结构的优点在于,其一,不需要再为全局变量创造一种新的数据结构,因此简化了Lua的内部实现:另一个优点是,可以像其他table一样操作这个table.为了便于实施这种操作,Lua将环境table自身保存在一个全局变量_G中.例如,我们可以使用以下代码打印当前环境中所有全局变量的名称. 1 for n in pairs(_G) do print(n) end 在你的电脑上运行一下以上代码,看看结果. 全局

Lua语言基础汇总（3） -- 语句

赋值 赋值的基本含义是修改一个变量或一个table中字段的值,这个和其它语言没有多少区别,但是对于Lua,有一个特性,它允许“多重赋值”,也就是一下子将多个值赋予多个变量,例如以下代码: 1 2 3 local x1, x2 = 2, 4 print(x1)     -->2 print(x2)     -->4 在多重赋值中,Lua先对等号右边的所有元素求值,然后才执行赋值,例如以下用法,可以非常简便的交换两个元素的值: 1 2 3 4 local x1, x2 = 2, 4 x1, x2 

Lua语言基础汇总（6）-- 迭代器与泛型for

前言 迭代器就是一种可以遍历一种集合中所有元素的机制,在Lua中,通常将迭代器表示为函数.每调用一次函数,就返回集合中的“下一个”元素.每个迭代器都需要在每次成功调用之后保存一些状态,这样才能知道它所在的位置及如何走到下一个位置,通过之前博文的总结,闭包对于这样的任务提供了极佳的支持.现在我们就用代码来实现一个简单的迭代器. 1 2 3 4 5 6 7 8 9 10 11 12 function values(tb)      local i = 0      return function (

Lua语言基础汇总（5） -- 闭包

前言 在很多语言中都有闭包的概念,而在这里,我将主要对Lua语言的闭包概念进行分析与总结.希望对大家学习Lua有帮助. 什么是闭包? 闭包在Lua中是一个非常重要的概念,闭包是由函数和与其相关的引用环境组合而成的实体.我们再来看一段代码: 1 2 3 4 5 6 7 8 9 10 11 function newCounter()      local i = 0      return function () -- 匿名函数           i = i + 1           retur

Lua语言基础汇总（7） -- 协同程序

前言 协同程序与线程差不多,也就是一条执行序列,拥有自己独立的栈.局部变量和指令指针,同时又与其它协同程序共享全局变量和其它大部分东西.从概念上讲,线程与协同程序的主要区别在于,一个具有多个线程的程序可以同时运行几个线程,而协同程序却需要彼此协作的运行.就是说,一个具有多个协同程序的程序在任意时刻只能运行一个协同程序,并且正在运行的协同程序只会在其显式地要求挂起时,它的执行才会暂停. 协同程序基础 Lua将所有关于协同程序的函数放置在一个名为“coroutine”的table中.函数create