主頁 > 知識庫 > Lua中類的實現原理探討(Lua中實現類的方法)

Lua中類的實現原理探討(Lua中實現類的方法)

熱門標簽:開通400電話申請流程 電腦外呼系統(tǒng)輻射大嗎 武漢百應人工智能電銷機器人 揚州電銷外呼系統(tǒng)軟件 上海企業(yè)外呼系統(tǒng)排名 智能語音電銷的機器人 如何利用高德地圖標注家 百度地圖標注位置網站 400手機電話免費辦理

Lua中沒有類的概念,但我們可以利用Lua本身的語言特性來實現類。

下文將詳細的解釋在Lua中實現類的原理,涉及到的細節(jié)點將拆分出來講,相信對Lua中實現類的理解有困難的同學將會釋疑。

類是什么?

想要實現類,就要知道類到底是什么。

在我看來,類,就是一個自己定義的變量類型。它約定了一些它的屬性和方法,是屬性和方法的一個集合。

所有的方法都需要一個名字,即使是匿名函數實際上也有個名字。這就形成了方法名和方法函數的鍵值映射關系,即方法名為鍵,映射的值為方法函數。

比如說有一個類是人,人有一個說話的方法,那就相當于,人(Person)是一個類,說話(talk)是它的一個方法名,說話函數是它的實際說話所執(zhí)行到的內容。

人也有一個屬性,比如性別,性別就是一個鍵(sex),性別的實際值就是這個鍵所對應的內容。

理解了類實際上是一個鍵值對的集合,我們不難想到用Lua中自帶的表來實現類。

實例是什么?

如果理解了類實際就是一個鍵值映射的表,那么我們再來理解實例是什么。

實例就是具有類的屬性和方法的集合,也是一個表了。聽起來好像和類差不多?

類全局只有一個集合,相當于上帝,全局只有一塊內存;而實例就普通了,普天之下有那么多人,你可以叫A說一句話,A便執(zhí)行了他的說話方法,但是不會影響B(tài)的說話。因為他們是實例,彼此分配著不同的內存。

說了那么多廢話,其實實例就是由類創(chuàng)建出來的值,試著把類想象成類型而不是類。

兩個語法糖

試著創(chuàng)建一個人類 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。

注意:所有的表都可以設置元表,然而新創(chuàng)建的空表如果不設置,是沒有元表的。

元方法

元表作為一個表,可以擁有任意類型的鍵值對,其真正對被設置的表的影響是Lua規(guī)定的元方法鍵值對。

這些鍵值對就是Lua所規(guī)定的鍵,比如前面說到的__index,__add,__concat等等。這些鍵名都是以雙斜杠__為前綴。其對應的值則為一個函數,被稱為元方法(metamethod),這些元方法定義了你想對表自定義的操作。

例如:前面所說的__index鍵,在Lua中它所對應的元方法執(zhí)行的時機是當查找不存在于表中的鍵時應該做的操作??紤]以下代碼:

復制代碼 代碼如下:

--定義元表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屬性,所以執(zhí)行其對應的元方法,返回“undefined”
print(pos.z) -- undefined

pos表中本沒有z這個鍵,通過設置pos的元表為m,并設置m的__index對應的方法,這樣所有取不到的鍵都會返回“undefined”了。

以上我們了解到,元表的__index屬性實際上是給表配備了找不到鍵時的行為。

注意:元表的__index屬性對應的也可以為一個表。

再舉個栗子,希望能夠加深對元表和元方法的理解,__add鍵,考慮以下代碼:

復制代碼 代碼如下:

--創(chuàng)建元表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)
 
--表本來是不能執(zhí)行 + 操作的,但是通過元表,我們做到了!
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這個鍵,于是便執(zhí)行了Person的talk函數
--默認參數self是調用者p,p的name屬性為“路人甲”
p:talk("我是路人甲")
 
--于是得到輸出
--路人甲說:我是路人甲

為了方便,我們給人類一個創(chuàng)建函數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類創(chuàng)建出pa和pb兩個實例,這兩個實例都具備Person的屬性和方法。

以上便是Lua實現一個類的方法,至于類的繼承,當成一次練習吧,請大家思考~

您可能感興趣的文章:
  • Lua實現類繼承
  • Lua中類的實現

標簽:江西 宜賓 黑龍江 武漢 延邊 嘉峪關 新余 張掖

巨人網絡通訊聲明:本文標題《Lua中類的實現原理探討(Lua中實現類的方法)》,本文關鍵詞  Lua,中類,的,實現,原理,探討,;如發(fā)現本文內容存在版權問題,煩請?zhí)峁┫嚓P信息告之我們,我們將及時溝通與處理。本站內容系統(tǒng)采集于網絡,涉及言論、版權與本站無關。
  • 相關文章
  • 下面列出與本文章《Lua中類的實現原理探討(Lua中實現類的方法)》相關的同類信息!
  • 本頁收集關于Lua中類的實現原理探討(Lua中實現類的方法)的相關信息資訊供網民參考!
  • 推薦文章