一、函數(shù)：
在Lua中函數(shù)的調(diào)用方式和C語(yǔ)言基本相同，如：print("Hello World")和a = add(x, y)。唯一的差別是，如果函數(shù)只有一個(gè)參數(shù)，并且該參數(shù)的類型為字符串常量或table的構(gòu)造器，那么圓括號(hào)可以省略，如print "Hello World"和f {x = 20, y = 20}。
Lua為面對(duì)對(duì)象式的調(diào)用也提供了一種特殊的語(yǔ)法--冒號(hào)操作符。表達(dá)式o.foo(o,x)的另一種寫法是o:foo(x)。冒號(hào)操作符使調(diào)用o.foo時(shí)將o隱含的作為函數(shù)的第一個(gè)參數(shù)。
Lua中函數(shù)的聲明方式如下：
復(fù)制代碼 代碼如下:
function add(a)
local sum = 0
for i, v in ipairs(a) do
sum = sum + v
end
return sum
end
在以上聲明中，包含了函數(shù)名(add)，參數(shù)列表(a)，以及函數(shù)體。需要說(shuō)明的是，Lua中實(shí)參和形參的數(shù)量可以不一致，一旦出現(xiàn)這種情況，Lua的處理規(guī)則等同于多重賦值，即實(shí)參多于形參，多出的部分被忽略，如果相反，沒(méi)有被初始化的形參的缺省值為nil。
1. 多重返回值：
Lua支持返回多個(gè)結(jié)果值。如：
復(fù)制代碼 代碼如下:
s,e = string.find("Hello Lua users","Lua")
print("The begin index is " .. s .. ", the end index is " .. e .. ".");
-- The begin index is 7, the end index is 9.
以上的代碼示例只是演示了如何獲取Lua函數(shù)的多個(gè)返回值，下面的示例將給出如何聲明返回多個(gè)值的Lua函數(shù)。如：
[code]
function maximum(a)
local mi = 1
local m = a[mi]
for i, val in ipairs(a) do
if val > m then
mi,m = i,val
end
end
return m,mi
end
print(maximum{8,10,23,12,5})
--23 3
Lua會(huì)調(diào)整一個(gè)函數(shù)的返回值數(shù)量以適應(yīng)不同的調(diào)用情況。若將函數(shù)調(diào)用作為一條單獨(dú)語(yǔ)句時(shí)，Lua會(huì)丟棄函數(shù)的所有返回值。若將函數(shù)作為表達(dá)式的一部分來(lái)調(diào)用時(shí)，Lua只保留函數(shù)的第一個(gè)返回值。只有當(dāng)一個(gè)函數(shù)調(diào)用是一系列表達(dá)式中的最后一個(gè)元素時(shí)，才能獲得所有返回值。這里先給出三個(gè)樣例函數(shù)，如：
復(fù)制代碼 代碼如下:
function foo0() end
function foo1() return "a" end
function foo2() return "a","b" end
最后一個(gè)需要介紹的是Lua中unpack函數(shù)，該函數(shù)將接收數(shù)組作為參數(shù)，并從下標(biāo)1開(kāi)始返回該數(shù)組的所有元素。如：
復(fù)制代碼 代碼如下:
/> lua
> print(unpack{10,20,30})
10 20 30
> a,b = unpack{10,20,30}
> print(a,b)
10 20
> string.find(unpack{"hello","ll"}) --等同于string.find("hello","ll")
在Lua中unpack函數(shù)是用C語(yǔ)言實(shí)現(xiàn)的。為了便于理解，下面給出在Lua中通過(guò)遞歸實(shí)現(xiàn)一樣的效果，如：
復(fù)制代碼 代碼如下:
function unpack(t,i)
i = i or 1
if t[i] then
return t[i], unpack(t,i + 1)
end
end
2. 變長(zhǎng)參數(shù)：
Lua中的函數(shù)可以接受不同數(shù)量的實(shí)參，其聲明和使用方式如下：
復(fù)制代碼 代碼如下:
function add(...)
local s = 0
for i, v in ipairs{...} do
s = s + v
end
return s
end
print(add(3,4,5,6,7))
--輸出結(jié)果為：25
解釋一下，函數(shù)聲明中的(...)表示該函數(shù)可以接受不同數(shù)量的參數(shù)。當(dāng)這個(gè)函數(shù)被調(diào)用時(shí)，所有的參數(shù)都被匯聚在一起，函數(shù)中訪問(wèn)它時(shí)，仍需用3個(gè)點(diǎn)(...)。但不同的是，此時(shí)這3個(gè)點(diǎn)將作為表達(dá)式來(lái)使用，如{...}表示一個(gè)由所有變參構(gòu)成的數(shù)組。在含有變長(zhǎng)參數(shù)的函數(shù)中個(gè)，同樣可以帶有固定參數(shù)，但是固定參數(shù)一定要在變長(zhǎng)參數(shù)之前聲明，如：
復(fù)制代碼 代碼如下:
function test(arg1,arg2,...)
...
end
關(guān)于Lua的變長(zhǎng)參數(shù)最后需要說(shuō)明的是，由于變長(zhǎng)參數(shù)中可能包含nil值，因此再使用類似獲取table元素?cái)?shù)量(#)的方式獲取變參的數(shù)量就會(huì)出現(xiàn)問(wèn)題。如果要想始終獲得正確的參數(shù)數(shù)量，可以使用Lua提供的select函數(shù)，如：
復(fù)制代碼 代碼如下:
for i = 1, select('#',...) do --這里'#'值表示讓select返回變參的數(shù)量(其中包括nil)。
local arg = select(i, ...) --這里的i表示獲取第i個(gè)變參，1為第一個(gè)。
--do something
end
3. 具名實(shí)參：
在函數(shù)調(diào)用時(shí)，Lua的傳參規(guī)則和C語(yǔ)言相同，并不真正支持具名實(shí)參。但是我們可以通過(guò)table來(lái)模擬，比如：
復(fù)制代碼 代碼如下:
function rename(old,new)
...
end
這里我們可以讓上面的rename函數(shù)只接收一個(gè)參數(shù)，即table類型的參數(shù)，與此同時(shí)，該table對(duì)象將含有old和new兩個(gè)key。如：
復(fù)制代碼 代碼如下:
function rename(arg)
local old = arg.old
local new = arg.new
...
end
這種修改方式有些類似于JavaBean，即將多個(gè)參數(shù)合并為一個(gè)JavaBean。然而在使用時(shí)，Lua的table存在一個(gè)天然的優(yōu)勢(shì)，即如果函數(shù)只有一個(gè)參數(shù)且為string或table類型，在調(diào)用該函數(shù)時(shí)，可以不用加圓括號(hào)，如：
復(fù)制代碼 代碼如下:
rename {old = "oldfile.txt", new = "newfile.txt"}
二、深入函數(shù)：
在Lua中函數(shù)和所有其它值一樣都是匿名的，即它們都沒(méi)有名稱。在使用時(shí)都是操作持有該函數(shù)的變量，如：
復(fù)制代碼 代碼如下:
a = { p = print }
a.p("Hello World")
b = print
b("Hello World")
在聲明Lua函數(shù)時(shí)，可以直接給出所謂的函數(shù)名，如：
復(fù)制代碼 代碼如下:
function foo(x) return 2 * x end
我們同樣可以使用下面這種更為簡(jiǎn)化的方式聲明Lua中的函數(shù)，如：
復(fù)制代碼 代碼如下:
foo = function(x) return 2 * x end
因此，我們可以將函數(shù)理解為由語(yǔ)句構(gòu)成的類型值，同時(shí)將這個(gè)值賦值給一個(gè)變量。由此我們可以將表達(dá)式"function(x) body> end"視為一種函數(shù)的構(gòu)造式，就想table的{}一樣。我們將這種函數(shù)構(gòu)造式的結(jié)果稱為一個(gè)"匿名函數(shù)"。下面的示例顯示了匿名函數(shù)的方便性，它的使用方式有些類似于Java中的匿名類，如：
復(fù)制代碼 代碼如下:
table.sort(test_table,function(a,b) return (a.name > b.name) end)
1. closure(閉合函數(shù))：
若將一個(gè)函數(shù)寫在另一個(gè)函數(shù)之內(nèi)，那么這個(gè)位于內(nèi)部的函數(shù)便可以訪問(wèn)外部函數(shù)中的局部變量，見(jiàn)如下示例：
復(fù)制代碼 代碼如下:
function newCounter()
local i = 0
return function() --匿名函數(shù)
i = i + 1
return i
end
end
c1 = newCounter()
print("The return value of first call is " .. c1())
print("The return value of second call is " .. c1())
--輸出結(jié)果為：
--The return value of first call is 1
--The return value of second call is 2
在上面的示例中，我們將newCounter()函數(shù)稱為閉包函數(shù)。其函數(shù)體內(nèi)的局部變量i被稱為"非局部變量"，和普通局部變量不同的是該變量被newCounter函數(shù)體內(nèi)的匿名函數(shù)訪問(wèn)并操作。再有就是在函數(shù)newCounter返回后，其值仍然被保留并可用于下一次計(jì)算。再看一下下面的調(diào)用方式。
復(fù)制代碼 代碼如下:
function newCounter()
local i = 0
return function() --匿名函數(shù)
i = i + 1
return i
end
end
c1 = newCounter()
c2 = newCounter()
print("The return value of first call with c1 is " .. c1())
print("The return value of first call with c2 is " .. c2())
print("The return value of second call with c1 is " .. c1())
--輸出結(jié)果為：
--The return value of first call with c1 is 1
--The return value of first call with c2 is 1
--The return value of second call with c1 is 2
由此可以推出，Lua每次在給新的閉包變量賦值時(shí)，都會(huì)讓不同的閉包變量擁有獨(dú)立的"非局部變量"。下面的示例將給出基于閉包的更為通用性的用法：
復(fù)制代碼 代碼如下:
do
--這里將原有的文件打開(kāi)函數(shù)賦值給"私有變量"oldOpen，該變量在塊外無(wú)法訪問(wèn)。
local oldOpen = io.open
--新增一個(gè)匿名函數(shù)，用于判斷本次文件打開(kāi)操作的合法性。
local access_OK = function(filename,mode) 檢查訪問(wèn)權(quán)限> end
--將原有的io.open函數(shù)變量指向新的函數(shù)，同時(shí)在新函數(shù)中調(diào)用老函數(shù)以完成真正的打開(kāi)操作。
io.open = function(filename,mode)
if access_OK(filename,mode) then
return oldOpen(filename,mode)
else
return nil,"Access denied"
end
end
end
上面的這個(gè)例子有些類似于設(shè)計(jì)模式中裝飾者模式。
2. 非全局函數(shù)：
從上一小節(jié)中可以看出，Lua中的函數(shù)不僅可以直接賦值給全局變量，同時(shí)也可以賦值給其他類型的變量，如局部變量和table中的字段等。事實(shí)上，Lua庫(kù)中大多數(shù)table都帶有函數(shù)，如io.read、math.sin等。這種寫法有些類似于C++中的結(jié)構(gòu)體。如：
復(fù)制代碼 代碼如下:
Lib = {}
Lib.add = function(x,y) return x + y end
Lib.sub = function(x,y) return x - y end
或者是在table的構(gòu)造式中直接初始化，如：
復(fù)制代碼 代碼如下:
Lib = { add = function(x,y) return x + y end,
sub = function(x,y) return x - y end
}
除此之外，Lua還提供另外一種語(yǔ)法來(lái)定義此類函數(shù)，如：
復(fù)制代碼 代碼如下:
Lib = {}
function Lib.add(x,y) return x + y end
function Lib.sub(x,y) return x - y end
對(duì)于Lua中的局部函數(shù)，其語(yǔ)義在理解上也是非常簡(jiǎn)單的。由于Lua中都是以程序塊作為執(zhí)行單元，因此程序塊內(nèi)的局部函數(shù)在程序塊外是無(wú)法訪問(wèn)的，如：
復(fù)制代碼 代碼如下:
do
local f = function(x,y) return x + y end
--do something with f.
f(4,5)
end
對(duì)于這種局部函數(shù)，Lua還提供另外一種更為簡(jiǎn)潔的定義方式，如：
復(fù)制代碼 代碼如下:
local function f(x,y) return x + y end
該寫法等價(jià)于：
復(fù)制代碼 代碼如下:
local f
f = function(x,y) return x + y end
3. 正確的尾調(diào)用：
在Lua中支持這樣一種函數(shù)調(diào)用的優(yōu)化，即“尾調(diào)用消除”。我們可以將這種函數(shù)調(diào)用方式視為goto語(yǔ)句，如：
復(fù)制代碼 代碼如下:
function f(x) return g(x) end
由于g(x)函數(shù)是f(x)函數(shù)的最后一條語(yǔ)句，在函數(shù)g返回之后，f()函數(shù)將沒(méi)有任何指令需要被執(zhí)行，因此在函數(shù)g()返回時(shí)，可以直接返回到f()函數(shù)的調(diào)用點(diǎn)。由此可見(jiàn)，Lua解釋器一旦發(fā)現(xiàn)g()函數(shù)是f()函數(shù)的尾調(diào)用，那么在調(diào)用g()時(shí)將不會(huì)產(chǎn)生因函數(shù)調(diào)用而引起的棧開(kāi)銷。這里需要強(qiáng)調(diào)的是，尾調(diào)用函數(shù)一定是其調(diào)用函數(shù)的最后一條語(yǔ)句，否則Lua不會(huì)進(jìn)行優(yōu)化。然而事實(shí)上，我們?cè)诤芏嗫此剖俏舱{(diào)用的場(chǎng)景中，實(shí)際上并不是真正的尾調(diào)用，如：
復(fù)制代碼 代碼如下:
function f(x) g(x) end --沒(méi)有return語(yǔ)句的明確提示
function f(x) return g(x) + 1 --在g()函數(shù)返回之后仍需執(zhí)行一次加一的指令。
function f(x) return x or g(x) --如果g()函數(shù)返回多個(gè)值，該操作會(huì)強(qiáng)制要求g()函數(shù)只返回一個(gè)值。
function f(x) return (g(x)) --原因同上。
在Lua中，只有"return func>(args>)"形式才是標(biāo)準(zhǔn)的尾調(diào)用，至于參數(shù)中(args)是否包含表達(dá)式，由于表達(dá)式的執(zhí)行是在函數(shù)調(diào)用之前完成的，因此不會(huì)影響該函數(shù)成為尾調(diào)用函數(shù)。
您可能感興趣的文章:- Lua教程（四）：在Lua中調(diào)用C語(yǔ)言、C++的函數(shù)
- Lua進(jìn)階教程之閉包函數(shù)、元表實(shí)例介紹
- Lua基礎(chǔ)教程之賦值語(yǔ)句、表達(dá)式、流程控制、函數(shù)學(xué)習(xí)筆記
- Lua教程（一）：簡(jiǎn)介、優(yōu)勢(shì)和應(yīng)用場(chǎng)景介紹
- Lua教程（二）：基礎(chǔ)知識(shí)、類型與值介紹
- Lua教程（三）：表達(dá)式和語(yǔ)句
