【转载】Lua中实现类的原理

原文地址 http://wuzhiwei.net/lua_make_class/

不错,将metatable讲的很透彻,我终于懂了。

------------------------------------------------------------

Lua中没有的概念,但我们可以利用Lua本身的语言特性来实现

下文将详细的解释在Lua中实现类的原理,涉及到的细节点将拆分出来讲,相信对Lua中实现类的理解有困难的同学将会释疑。

类是什么?

想要实现类,就要知道类到底是什么。

在我看来,类,就是一个自己定义的变量类型。它约定了一些它的属性和方法,是属性和方法的一个集合。

所有的方法都需要一个名字,即使是匿名函数实际上也有个名字。这就形成了方法名和方法函数的键值映射关系,即方法名为键,映射的值为方法函数。

比如说有一个类是人,人有一个说话的方法,那就相当于,人(Person)是一个类,说话(talk)是它的一个方法名,说话函数是它的实际说话所执行到的内容。

人也有一个属性,比如性别,性别就是一个键(sex),性别的实际值就是这个键所对应的内容。

理解了类实际上是一个键值对的集合,我们不难想到用Lua中自带的表来实现类。

实例是什么?

如果理解了类实际就是一个键值映射的表,那么我们再来理解实例是什么。

实例就是具有类的属性和方法的集合,也是一个表了。听起来好像和类差不多?

类全局只有一个集合,相当于上帝,全局只有一块内存;而实例就普通了,普天之下有那么多人,你可以叫A说一句话,A便执行了他的说话方法,但是不会影响B的说话。因为他们是实例,彼此分配着不同的内存。

说了那么多废话,其实实例就是由类创建出来的值,试着把类想象成类型而不是类。

两个语法糖

试着创建一个人类 Person

Person = {name="这个人很懒"}

以上代码将Person初始化为一个表,这个表拥有一个为name的键,其默认值是"这个人很懒"

说成白话就是人类拥有一个叫名字的属性。

那就再赋予人类一个说话的功能吧。

Person.talk = function(self, words)
    print(self.name.."说:"..words)
end

以上代码在Person表中加入一个键值对,键为talk,值为一个函数。

好了,只要调用,Person.talk(Person, "你好"),将会打印出:这个人很懒说:你好

不过在写程序时,大家都习惯把function放在前面,这就是函数的语法糖:

function Person.talk(self, words)
    print(self.name.."说:"..words)
end

这与上面的函数定义是等价的,但是这么写你就很难看出来talk其实是Person表中的一个键,其对应的值为一个函数。

当然嘴巴都是长在自己身上的,说话只能自己说,不可能自己张嘴别人说话,所以每次都传个self参数实在是有点不美观,于是冒号语法糖上场。

我们还可以这么定义人类的说话功能:

function Person:talk(words)
    print(self.name.."说:"..words)
end

这与上面两段代码都是等价的,它的变化是少了self的参数,将点Person.talk改为了冒号Person:talk

但是函数体内,却依然可以使用self,在使用:代替.时,函数的参数列表的第一个参数不再是words,Lua会自动将self做为第一个参数。这个self参数代表的意思就是这个函数的实际调用者。

所以我们调用Person:talk("你好")Person.talk(Person, "你好")是等价的,这就是冒号语法糖带来的便利。

如何查找表中的元素?

下面我们需要理解在Lua的表中是怎么查找一个键所对应的值的。

假设我们要在表p中查找talk这个键所对应的值,请看下面的流程图:

p中有没有talk这个键? 有 --> 返回talk对应的值
        |
       没有
        |
p中是否设置过metatable? 否 -->  返回nil
        |
        有
        |
在p的metatable中有没有__index这个键? 没有 -->  返回nil
        |
        有
        |
在p的metatable中的__index这个键对应的表中有没有talk这个键? 没有 --> 返回nil
        |
        有,返回getmetatable(p).__index.talk

理解以上内容是本文的重点,反复阅读直至你记住了。

可以看到,由于metatable__index这两个神奇的东西,Lua能在当前表中不存在这个键的时候找到其返回值。

下面将会讲一讲metatable这个语言特性。

对metatable的理解

metatable是什么?

metatable的中文名叫做元表。它不是一个单独的类型,元表其实就是一个表。

我们知道在Lua中表的操作是有限的,例如表不能直接相加,不能进行比较操作等等。

元表的作用就是增加和改变表的既定操作。只有设置过元表的表,才会受到元表的影响而改变自身的行为。

通过全局方法setmetatable(t, m),会将表t的元表设置为表m。通过另一个全局方法getmetatable(t)则会返回它的元表m

注意:所有的表都可以设置元表,然而新创建的空表如果不设置,是没有元表的。

元方法

元表作为一个表,可以拥有任意类型的键值对,其真正对被设置的表的影响是Lua规定的元方法键值对。

这些键值对就是Lua所规定的键,比如前面说到的__index__add__concat等等。这些键名都是以双斜杠__为前缀。其对应的值则为一个函数,被称为元方法(metamethod),这些元方法定义了你想对表自定义的操作。

例如:前面所说的__index键,在Lua中它所对应的元方法执行的时机是当查找不存在于表中的键时应该做的操作。考虑以下代码:

--定义元表m
m = {}
--定义元表的__index的元方法
--对任何找不到的键,都会返回"undefined"
m.__index = function ( table, key )
  return "undefined"
end  

--表pos
pos = {x=1, y=2}
--初始没有元表,所以没有定义找不到的行为
--因为z不在pos中,所以直接返回nil
print(pos.z) -- nil
--将pos的元表设为m
setmetatable(pos, m)
--这是虽然pos里仍然找不到z,但是因为pos有元表,
--而且元表有__index属性,所以执行其对应的元方法,返回“undefined”
print(pos.z) -- undefined

pos表中本没有z这个键,通过设置pos的元表为m,并设置m__index对应的方法,这样所有取不到的键都会返回“undefined”了。

以上我们了解到,元表的__index属性实际上是给表配备了找不到键时的行为。

注意:元表的__index属性对应的也可以为一个表。

再举个栗子,希望能够加深对元表和元方法的理解,__add键,考虑以下代码:

--创建元表m,其中有__add键和其定义的方法
local m = {
  __add = function(t1, t2)
    local sum = {}
    for key, value in pairs(t1) do
      sum[key] = value
    end

    for key, value in pairs(t2) do
      if sum[key] then
        sum[key] = sum[key] + value
      else
        sum[key] = value
      end
    end
    return sum
  end
}

--将table1和table2都设置为m
local table1 = setmetatable({10, 11, 12}, m)
local table2 = setmetatable({13, 14, 15}, m)

--表本来是不能执行 + 操作的,但是通过元表,我们做到了!
for k, v in pairs(table1 + table2) do
  print(k, v)
end
--print
--1 23
--2 25
--3 27

表本身是不能用+连起来计算的,但是通过定义元表的__add的方法,并setmetatable到希望有此操作的表上去,那些表便能进行加法操作了。

因为元表的__add属性是给表定义了使用+号时的行为。

类的实现手段

好,假设前面的内容你都没有疑问的阅读完毕话,我们开始进入正题。

请先独立思考一会,我们该怎么去实现一个Lua的类?

思考ing…

种种铺垫后,我们的类是一个表,它定义了各种属性和方法。我们的实例也是一个表,然后我们类作为一个元表设置到实例上,并设置类的__index值为自身。

例如人类:

--设置Person的__index为自身
Person.__index = Person  

--p是一个实例
local p = {}

--p的元表设置为Person
setmetatable(p, Person)

p.name = "路人甲"

--p本来是一个空表,没有talk这个键
--但是p有元表,并且元表的__index属性为一个表Person
--而Person里面有talk这个键,于是便执行了Person的talk函数
--默认参数self是调用者p,p的name属性为“路人甲”
p:talk("我是路人甲")

--于是得到输出
--路人甲说:我是路人甲

为了方便,我们给人类一个创建函数create:

function Person:create(name)
    local p = {}
    setmetatable(p, Person)
    p.name = name
    return p
end

local pa = Person:create("路人甲")
local pb = Person:create("路人乙")
pa:talk("我是路人甲") --路人甲说:我是路人甲
pb:talk("我是路人乙") --路人乙说:我是路人乙

这样我们可以很方便用Person类创建出pa和pb两个实例,这两个实例都具备Person的属性和方法。

-----------------------------

这篇文章非常有助于对metatable的理解。但是,我个人觉得,实现类,用metatable显的太复杂,lua中直接用class实现更清晰。

比如 我定义一个类Person

local Person = class("Person")
function Person:ctor()
    self.name = "这个人很懒"
end
function Person:talk( words)
    print(self.name.."说:"..words)
end
return Person

定义好以后,这样调用

import("..module.Person") -- 首先要引入Person类,看你的路径修改

local pa= Person.new()
pa.name = "张三"
pa:talk("路人甲") --张三说:我是路人甲
local pb= Person.new() pb.name = "李四" pb:talk("路人乙")  --李四说:我是路人甲

我觉得这样比metatable更加清晰明了,你觉得呢。

时间: 2024-10-08 12:05:06

【转载】Lua中实现类的原理的相关文章

lua中基类和“继承机制”

基类:基类定义了所有对于派生类来说普通的属性和方法,派生类从基类继承所需的属性和方法,且在派生类中增加新的属性和方法. 继承:继承是C++语言的一种重要机制,它允许在已定义的类的基础上产生新类. lua基类和C++基类极为相似,但是lua中却没有继承这一说,更没有所谓的派生类.lua只能通过一种行为(元表)来模拟C++继承这一方法. 元表:lua中提供的元表是用于帮助lua数据变量完成某些非预定义功能的个性化行为,当它做某一种操作,然而self表中却没有定义实现这种操作的方法,那么为了实现这一操

关于boost中enable_shared_from_this类的原理分析

首先要说明的一个问题是:如何安全地将this指针返回给调用者.一般来说,我们不能直接将this指针返回.想象这样的情况,该函数将this指针返回到外部某个变量保存,然后这个对象自身已经析构了,但外部变量并不知道,此时如果外部变量使用这个指针,就会使得程序崩溃. 使用智能指针shared_ptr看起来是个不错的解决方法.但问题是如何去使用它呢?我们来看如下代码: #include <iostream> #include <boost/shared_ptr.hpp> class Tes

并发包中automic类的原理

提到同步,我们一般首先想到的是lock,synchronized,但java中有一套更加轻量级的同步方式即atomic类.java的并发原子包里面提供了很多可以进行原子操作的类,比如: AtomicInteger AtomicBoolean AtomicLong AtomicReference 下面以AtomicInteger类为例: package com.javaBase.LineDistance; import java.util.concurrent.atomic.AtomicInteg

【游戏开发】在Lua中实现面向对象特性——模拟类、继承、多态

一.简介 Lua是一门非常强大.非常灵活的脚本语言,自它从发明以来,无数的游戏使用了Lua作为开发语言.但是作为一款脚本语言,Lua也有着自己的不足,那就是它本身并没有提供面向对象的特性,而游戏开发是一项庞大复杂的工程,如果没有面向对象功能势必会为开发带来一定的不便.不过幸好Lua中有table这样强大的数据结构,利用它再结合元表(metatable),我们便可以很方便地在Lua中模拟出类.继承和多态等面向对象编程具有的特性. 二.前提知识 按照惯例,我们还是先来熟悉一下必要的前提知识,以便方便

Lua中的Table操作

Lua中table类似与C#种的字典,其实就是一个key-value键值对数据结构.来学习下table基本操作 Table的创建 myTable = {} --表名后面使用{}赋值,表示一个空的表 myTable = {name="海洋",age=18,isMan=true} --创建时候就添加键-值 myTable = {10,20,30,"Ocean"} --创建数字下标值的table,默认是从1开始 Table的赋值 myTable[3] = 34 --当键是

Cocos2d-x Lua中使用标签

游戏场景中的文字包括了静态文字和动态文字.静态文字如下图所示游戏场景中①号文字“COCOS2DX”,动态文字如图4-1所示游戏场景中的②号文字“Hello World”.静态文字一般是由美工使用Photoshop绘制在背景图片上,这种方式的优点是表现力很丰富,例如:①号文字“COCOS2DX”中的“COCOS”.“2D”和“X”设计的风格不同,而动态文字则不能,而且静态文字无法通过程序访问,无法动态修改内容.动态文字一般是需要通过程序访问,需要动态修改内容.Cocos2d-x Lua可以通过标签

lua中的面向对象编程

简单说说Lua中的面向对象 Lua中的table就是一种对象,看以下一段简单的代码: 上述代码会输出tb1 ~= tb2.说明两个具有相同值得对象是两个不同的对象,同时在Lua中table是引用类型的.我在<Lua中的模块与包>中也总结了,我们是基于table来实现的模块,在table中可以定义函数,也就是说,每个table对象都可以拥有其自己的操作.看一段代码: 上面的代码创建了一个新函数,并将该函数存入Account对象的withDraw字段中,然后我们就可以调用该函数了.不过,在函数中使

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 pri

【转载】Java中String类的方法及说明

转载自:http://www.cnblogs.com/YSO1983/archive/2009/12/07/1618564.html String : 字符串类型 一.构造函数     String(byte[ ] bytes):通过byte数组构造字符串对象.     String(char[ ] value):通过char数组构造字符串对象.     String(Sting original):构造一个original的副本.即:拷贝一个original.     String(Strin