麻豆小视频在线观看_中文黄色一级片_久久久成人精品_成片免费观看视频大全_午夜精品久久久久久久99热浪潮_成人一区二区三区四区

首頁 > 開發 > 綜合 > 正文

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

2024-07-21 23:04:14
字體:
來源:轉載
供稿:網友

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的屬性和方法。

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

發表評論 共有條評論
用戶名: 密碼:
驗證碼: 匿名發表
主站蜘蛛池模板: 精品偷拍久久 | 一级大黄毛片免费观看 | 日韩美香港a一级毛片免费 欧美一级淫片007 | 免费a级黄色片 | www.91sese | 精品在线视频播放 | 国产一级二级视频 | 毛片大全免费 | 久久免费视频精品 | 成人午夜影院 | 97青青草视频 | 国产精品久久久久久久久久久久午夜 | 黄色网址免费入口 | 激情综合在线 | 日本中文一级片 | 国产乱淫a∨片免费观看 | 免费一级毛片免费播放 | 国产精品一区二区三区在线播放 | 免费国产人成网站 | 国产69精品福利视频 | 在线成人精品视频 | 中文字幕综合在线观看 | 色网站在线免费观看 | 欧美成人精品欧美一级乱黄 | 极品美女一级毛片 | 国产精品视频在线观看免费 | 在线男人天堂 | 精品国产91久久久久久久妲己 | 美国一级黄色毛片 | 久久精品国产一区二区电影 | 免费在线观看成年人视频 | 在线男人天堂 | 色爱99| 国产深夜福利视频在线播放 | 中国字幕av| 中午字幕无线码一区2020 | 中文字幕网在线 | 欧美在线观看视频一区 | 黄在线免费| 久久色在线| 视频一区国产 |