一、函數(shù)：

    在Lua中函數(shù)的調(diào)用方式和C語(yǔ)言基本相同，如：print("Hello World")和a = add(x, y)。唯一的差別是，如果函數(shù)只有一個(gè)參數(shù)，并且該參數(shù)的類(lèi)型為字符串常量或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)的另一種寫(xiě)法是o:foo(x)。冒號(hào)操作符使調(diào)用o.foo時(shí)將o隱含的作為函數(shù)的第一個(gè)參數(shù)。
    Lua中函數(shù)的聲明方式如下：
    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é)果值。如：

1 s,e = string.find("Hello Lua users","Lua")
2 print("The begin index is " .. s .. ", the end index is " .. e .. ".");
3 -- The begin index is 7, the end index is 9.

    以上的代碼示例只是演示了如何獲取Lua函數(shù)的多個(gè)返回值，下面的示例將給出如何聲明返回多個(gè)值的Lua函數(shù)。如：

 1 function maximum(a)
 2     local mi = 1
 3     local m = a[mi]
 4     for i, val in ipairs(a) do
 5         if val > m then
 6             mi,m = i,val
 7         end
 8     end
 9     return m,mi
10 end
11 print(maximum{8,10,23,12,5})
12 --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ù)，如：
    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ù)組的所有元素。如：
    /> 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)一樣的效果，如：

1 function unpack(t,i)
2     i = i or 1
3     if t[i] then
4         return t[i], unpack(t,i + 1)
5     end
6 end

    2. 變長(zhǎng)參數(shù)：
    Lua中的函數(shù)可以接受不同數(shù)量的實(shí)參，其聲明和使用方式如下：

1 function add(...)
2     local s = 0
3     for i, v in ipairs{...} do
4         s = s + v
5     end
6     return s
7 end
8 print(add(3,4,5,6,7))
9 --輸出結(jié)果為：25

    解釋一下，函數(shù)聲明中的(...)表示該函數(shù)可以接受不同數(shù)量的參數(shù)。當(dāng)這個(gè)函數(shù)被調(diào)用時(shí)，所有的參數(shù)都被匯聚在一起，函數(shù)中訪(fǎng)問(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ù)之前聲明，如：
    function test(arg1,arg2,...)
        ...
    end
    關(guān)于Lua的變長(zhǎng)參數(shù)最后需要說(shuō)明的是，由于變長(zhǎng)參數(shù)中可能包含nil值，因此再使用類(lèi)似獲取table元素?cái)?shù)量(#)的方式獲取變參的數(shù)量就會(huì)出現(xiàn)問(wèn)題。如果要想始終獲得正確的參數(shù)數(shù)量，可以使用Lua提供的select函數(shù)，如：

1 for i = 1, select('#',...) do  --這里'#'值表示讓select返回變參的數(shù)量(其中包括nil)。
2     local arg = select(i, ...) --這里的i表示獲取第i個(gè)變參，1為第一個(gè)。
3     --do something
4 end

    3. 具名實(shí)參：
    在函數(shù)調(diào)用時(shí)，Lua的傳參規(guī)則和C語(yǔ)言相同，并不真正支持具名實(shí)參。但是我們可以通過(guò)table來(lái)模擬，比如：
    function rename(old,new)
        ...
    end
    這里我們可以讓上面的rename函數(shù)只接收一個(gè)參數(shù)，即table類(lèi)型的參數(shù)，與此同時(shí)，該table對(duì)象將含有old和new兩個(gè)key。如：
    function rename(arg)
        local old = arg.old
        local new = arg.new
        ...
    end
    這種修改方式有些類(lèi)似于JavaBean，即將多個(gè)參數(shù)合并為一個(gè)JavaBean。然而在使用時(shí)，Lua的table存在一個(gè)天然的優(yōu)勢(shì)，即如果函數(shù)只有一個(gè)參數(shù)且為string或table類(lèi)型，在調(diào)用該函數(shù)時(shí)，可以不用加圓括號(hào)，如：
    rename {old = "oldfile.txt", new = "newfile.txt"}

二、深入函數(shù)：

    在Lua中函數(shù)和所有其它值一樣都是匿名的，即它們都沒(méi)有名稱(chēng)。在使用時(shí)都是操作持有該函數(shù)的變量，如：
    a = { p = print }
    a.p("Hello World")
    b = print
    b("Hello World")
    在聲明Lua函數(shù)時(shí)，可以直接給出所謂的函數(shù)名，如：
    function foo(x) return 2 * x end
    我們同樣可以使用下面這種更為簡(jiǎn)化的方式聲明Lua中的函數(shù)，如：
    foo = function(x) return 2 * x end
    因此，我們可以將函數(shù)理解為由語(yǔ)句構(gòu)成的類(lèi)型值，同時(shí)將這個(gè)值賦值給一個(gè)變量。由此我們可以將表達(dá)式"function(x) <body> end"視為一種函數(shù)的構(gòu)造式，就想table的{}一樣。我們將這種函數(shù)構(gòu)造式的結(jié)果稱(chēng)為一個(gè)"匿名函數(shù)"。下面的示例顯示了匿名函數(shù)的方便性，它的使用方式有些類(lèi)似于Java中的匿名類(lèi)，如：
    table.sort(test_table,function(a,b) return (a.name > b.name) end)

    1. closure(閉合函數(shù))：
    若將一個(gè)函數(shù)寫(xiě)在另一個(gè)函數(shù)之內(nèi)，那么這個(gè)位于內(nèi)部的函數(shù)便可以訪(fǎng)問(wèn)外部函數(shù)中的局部變量，見(jiàn)如下示例：

 1 function newCounter() 
 2     local i = 0
 3     return function() --匿名函數(shù)
 4         i = i + 1
 5         return i
 6     end
 7 end
 8 c1 = newCounter()
 9 print("The return value of first call is " .. c1())
10 print("The return value of second call is " .. c1())
11 --輸出結(jié)果為：
12 --The return value of first call is 1
13 --The return value of second call is 2

    在上面的示例中，我們將newCounter()函數(shù)稱(chēng)為閉包函數(shù)。其函數(shù)體內(nèi)的局部變量i被稱(chēng)為"非局部變量"，和普通局部變量不同的是該變量被newCounter函數(shù)體內(nèi)的匿名函數(shù)訪(fǎng)問(wèn)并操作。再有就是在函數(shù)newCounter返回后，其值仍然被保留并可用于下一次計(jì)算。再看一下下面的調(diào)用方式。

 1 function newCounter() 
 2     local i = 0
 3     return function() --匿名函數(shù)
 4         i = i + 1
 5         return i
 6     end
 7 end
 8 c1 = newCounter()
 9 c2 = newCounter()
10 print("The return value of first call with c1 is " .. c1())
11 print("The return value of first call with c2 is " .. c2())
12 print("The return value of second call with c1 is " .. c1())
13 --輸出結(jié)果為：
14 --The return value of first call with c1 is 1
15 --The return value of first call with c2 is 1
16 --The return value of second call with c1 is 2

    由此可以推出，Lua每次在給新的閉包變量賦值時(shí)，都會(huì)讓不同的閉包變量擁有獨(dú)立的"非局部變量"。下面的示例將給出基于閉包的更為通用性的用法：

 1 do
 2     --這里將原有的文件打開(kāi)函數(shù)賦值給"私有變量"oldOpen，該變量在塊外無(wú)法訪(fǎng)問(wèn)。
 3     local oldOpen = io.open
 4     --新增一個(gè)匿名函數(shù)，用于判斷本次文件打開(kāi)操作的合法性。
 5     local access_OK = function(filename,mode) <檢查訪(fǎng)問(wèn)權(quán)限> end
 6     --將原有的io.open函數(shù)變量指向新的函數(shù)，同時(shí)在新函數(shù)中調(diào)用老函數(shù)以完成真正的打開(kāi)操作。
 7     io.open = function(filename,mode)
 8         if access_OK(filename,mode) then
 9             return oldOpen(filename,mode)
10         else
11             return nil,"Access denied"
12         end
13     end
14 end

    上面的這個(gè)例子有些類(lèi)似于設(shè)計(jì)模式中裝飾者模式。

    2. 非全局函數(shù)：
    從上一小節(jié)中可以看出，Lua中的函數(shù)不僅可以直接賦值給全局變量，同時(shí)也可以賦值給其他類(lèi)型的變量，如局部變量和table中的字段等。事實(shí)上，Lua庫(kù)中大多數(shù)table都帶有函數(shù)，如io.read、math.sin等。這種寫(xiě)法有些類(lèi)似于C++中的結(jié)構(gòu)體。如：
    Lib = {}
    Lib.add = function(x,y) return x + y end
    Lib.sub = function(x,y) return x - y end
    或者是在table的構(gòu)造式中直接初始化，如：
    Lib = { add = function(x,y) return x + y end, 
               sub = function(x,y) return x - y end
             }
    除此之外，Lua還提供另外一種語(yǔ)法來(lái)定義此類(lèi)函數(shù)，如：
    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ú)法訪(fǎng)問(wèn)的，如：

1 do
2     local f = function(x,y) return x + y end
3     --do something with f.
4     f(4,5)
5 end  

    對(duì)于這種局部函數(shù)，Lua還提供另外一種更為簡(jiǎn)潔的定義方式，如：
    local function f(x,y) return x + y end
    該寫(xiě)法等價(jià)于：
    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ǔ)句，如：
    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)銷(xiāo)。這里需要強(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)用，如：
    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ù)。