李錦俊(mybios)的blog

Lua 的 5.1 版本已經(jīng)正式發(fā)布?，F(xiàn)在，我們應(yīng)該把全部討論放在這個(gè)版本上。

應(yīng)該盡量使用 local 變量而非 global 變量。這是 Lua 初學(xué)者最容易犯的錯(cuò)誤。global 變量實(shí)際上是放在一張全局的 table 里的。global 變量實(shí)際上是利用一個(gè) string (變量名作 key) 去訪問(wèn)這個(gè) table 。雖然Lua5 的 table 效率很高 ，但是相對(duì)于 local 變量，依然有很大的效率損失。local 變量是直接通過(guò) Lua 的堆棧訪問(wèn)的。有些 global 變量的訪問(wèn)是不經(jīng)意的，比如我們有雙重循環(huán)操作一個(gè)迭代的 table：

for k1,v1 inpairs(tbl)dofor k2,v2 inpairs(v1)do
        ...	
    end
end

這里，pairs 其實(shí)是一個(gè)全局變量應(yīng)用的函數(shù)。如果我們這樣做：

dolocalpairs=pairs
    for k1,v1 inpairs(tbl)dofor k2,v2 inpairs(v1)do
            ...	
        endend
end

效率會(huì)稍微提高一些。如果是單層循環(huán)，這樣做就沒(méi)有意義。因?yàn)?for ... in 循環(huán)中的 pairs 這個(gè)函數(shù)只會(huì)被調(diào)用一次，而不是每次循環(huán)都去調(diào)。我們的原則其實(shí)是，被多次讀取的 global 變量，都應(yīng)該提取出來(lái)放到 local 變量中。

警惕臨時(shí)變量 字符串的連接操作，會(huì)產(chǎn)生新的對(duì)象。這是由 lua 本身的 string 管理機(jī)制導(dǎo)致的。lua 在 VM 內(nèi)對(duì)相同的 string 永遠(yuǎn)只保留一份唯一 copy ，這樣，所有字符串比較就可以簡(jiǎn)化為地址比較。這也是 lua 的 table 工作很快的原因之一。這種 string 管理的策略，跟 java 等一樣，所以跟 java 一樣，應(yīng)該盡量避免在循環(huán)內(nèi)不斷的連接字符串，比如 a = a..x 這樣。每次運(yùn)行，都很可能會(huì)生成一份新的 copy 。

同樣，記住，每次構(gòu)造一份 table 都會(huì)多一份 table 的 copy 。比如在 lua 里，把平面坐標(biāo)封裝成 { x, y } 用于參數(shù)傳遞，就需要考慮這個(gè)問(wèn)題。每次你想構(gòu)造一個(gè)坐標(biāo)對(duì)象傳遞給一個(gè)函數(shù)，{ 10,20 }??這樣明確的寫(xiě)出，都會(huì)構(gòu)造一個(gè)新的 table 出來(lái)。要么，我們想辦法考慮 table 的重用；要么，干脆用 x,y 兩個(gè)參數(shù)傳遞坐標(biāo)。

同樣需要注意的是以 function foo (...) 這種方式定義函數(shù)， ... 這種不定參數(shù)，每次調(diào)用的時(shí)候都會(huì)被定義出一個(gè) table 存放不定數(shù)量的參數(shù)。

這些臨時(shí)構(gòu)造的對(duì)象往往要到 gc 的時(shí)候才被回收，過(guò)于頻繁的 gc 有時(shí)候正是效率瓶頸。

使用 closure 代替 table 上面提到封裝坐標(biāo)的問(wèn)題。誠(chéng)然，我們可以用 { x=1,y=2 } 這樣封裝一個(gè)坐標(biāo)。不過(guò)還有一個(gè)方法可供選擇。它稍微輕量一點(diǎn)。

function point (x,y)returnfunction()return x,y end
end
?
-- 使用范例
p=point(1,2)print(p())-- 輸出 1	 2 
?

如果你愿意，還可以做的復(fù)雜一點(diǎn)：

function point (x,y)returnfunction(idx)if idx=="x"thenreturn x
		elseif idx=="y"thenreturn y
		elsereturn x,y endend
end
?
-- 使用范例
p=point(1,2)print(p("x"))-- 1print(p("y"))-- 2 
?

x,y 實(shí)際被存放在 closure 里，每次調(diào)用 function point 都有一份獨(dú)立的 closure。當(dāng)然，function 的 code 只有一份。

設(shè)法減少?gòu)?C 向 Lua 傳遞字符串 字符串常量在 Lua VM 內(nèi)部工作的非常快，但是一個(gè)從 C 向 lua vm 通過(guò) lua_pushstring 之類的 api 傳遞進(jìn) VM 時(shí)，就需要掂量一下了。這至少包含一個(gè)再 hash 和匹配的過(guò)程。我的 Blog 上的一篇文章討論了這個(gè)問(wèn)題。

lua 中的繼承 lua 中實(shí)現(xiàn) OO ，虛表往往設(shè)置一個(gè) metatable 并設(shè)置 __index ，而繼承則用 metatable 的 __index 把虛表串起來(lái)。當(dāng)類繼承層次過(guò)多的時(shí)候，效率比較低，那么就可以用下面這個(gè)技巧。

function inherit(sub,super)setmetatable(sub,
     { __index=function(t,k)local ret=super[k]
             sub[k]=ret
             return ret
     end})end

利用邏輯運(yùn)算的短路效應(yīng) lua 編程中，and or 跟 C 一樣是有短路效應(yīng)的，不過(guò)他們的返回值并非 bool 類型，而是表達(dá)式中的左值或者右值。我們常常利用這個(gè)特性來(lái)簡(jiǎn)化代碼。

function foo(arg)
     arg=arg or"default"
     ...
end

利用 or 運(yùn)算賦缺省值是最常用的技巧。上例中，如果 arg 為 nil ，arg 就會(huì)被賦值為 "default" 。但是這個(gè)技巧有個(gè)缺陷，當(dāng)缺省值是 true 的時(shí)候會(huì)有點(diǎn)問(wèn)題。

a=a ortrue-- 錯(cuò)誤的寫(xiě)法，當(dāng) a 明確寫(xiě)為 false 的時(shí)候，也會(huì)被改變成 true 。
a= a ~= false-- 正確的寫(xiě)法，當(dāng) a 為 nil 的時(shí)候，被賦值為 true ；而 false 則不變。 
?

另外，巧妙使用 and or 還可以實(shí)現(xiàn)類似 C 語(yǔ)言中的 ?: 三元操作：

functionmax(a,b)return a>b and a or b
end

上面這個(gè)函數(shù)可以返回 a 和 b 中較大的一個(gè)，其邏輯類似 C 語(yǔ)言中的 return (a>b) ? a : b ;