一、函數：
在Lua中函數的調用方式和C語言基本相同，如：print("Hello World")和a = add(x, y)。唯一的差別是，如果函數只有一個參數，並且該參數的類型為字符串常量或table的構造器，那么圓括號可以省略，如print "Hello World"和f {x = 20, y = 20}。
Lua為面對對象式的調用也提供了一種特殊的語法--冒號操作符。表達式o.foo(o,x)的另一種寫法是o:foo(x)。冒號操作符使調用o.foo時將o隱含的作為函數的第一個參數。
Lua中函數的聲明方式如下：
function add(a)
local sum = 0
for i, v in ipairs(a) do
sum = sum + v
end
return sum
end
在以上聲明中，包含了函數名(add)，參數列表(a)，以及函數體。需要說明的是，Lua中實參和形參的數量可以不一致，一旦出現這種情況，Lua的處理規則等同於多重賦值，即實參多於形參，多出的部分被忽略，如果相反，沒有被初始化的形參的缺省值為nil。
1. 多重返回值：
Lua支持返回多個結果值。如：
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函數的多個返回值，下面的示例將給出如何聲明返回多個值的Lua函數。如：
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會調整一個函數的返回值數量以適應不同的調用情況。若將函數調用作為一條單獨語句時，Lua會丟棄函數的所有返回值。若將函數作為表達式的一部分來調用時，Lua只保留函數的第一個返回值。只有當一個函數調用是一系列表達式中的最后一個元素時，才能獲得所有返回值。這里先給出三個樣例函數，如：
function foo0() end
function foo1() return "a" end
function foo2() return "a","b" end
| 示例代碼 | 結果 | 注釋 |
| x,y = foo2() | x = "a", y = "b" | 函數調用時最后的(或僅有的)一個表達式，Lua會保留其盡可能多的返回值，用於匹配賦值變量。 |
| x = foo2() | x = "a", 返回值"b"被忽略 | |
| x,y,z = 10,foo2() | x = 10, y = "a", z = "b" | |
| x,y = foo0() | x = nil, y = nil | 如果一個函數沒有返回值或者沒有足夠多的返回值，那么Lua會用nil來填補。 |
| x,y = foo1() | x = "a", y = nil | |
| x,y,z = foo2() | x = "a", y = "b", z = nil | |
| x,y = foo2(),20 | x = "a", y = 20 | 如果一個函數調用不是一系列表達式的最后一個元素，那么將只產生一個值。 |
| x,y = foo0(),20,30 | x = nil, y = 20, 30被忽略。 | |
| print(foo0()) | 當一個函數調用左右另一個函數調用的最后一個實參時，第一個函數的所有返回值都將作為實參傳入第二個函數。 | |
| print(foo1()) | a | |
| print(foo2()) | a b | |
| print(foo2(),1) | a 1 | |
| t = {foo0()} | t = {} --空table | table構造器可以完整的接收一個函數調用的所有結果，即不會有任何數量方面的調整。 |
| t = {foo1()} | t = {"a"} | |
| t = {foo2()} | t = {"a", "b"} | |
| t = { foo0(), foo2(), 4} | t[1] = nil, t[2] = "a", t[3] = 4 | 如果函數調用不是作為最后一個元素，那么只返回函數的第一個結果值。 |
| print((foo2())) | a | 如果函數調用放入圓括號中，那么Lua將只返回該函數的第一個結果值。 |
最后一個需要介紹的是Lua中unpack函數，該函數將接收數組作為參數，並從下標1開始返回該數組的所有元素。如：
/> 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函數是用C語言實現的。為了便於理解，下面給出在Lua中通過遞歸實現一樣的效果，如：
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. 變長參數：
Lua中的函數可以接受不同數量的實參，其聲明和使用方式如下：
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 --輸出結果為：25
解釋一下，函數聲明中的(...)表示該函數可以接受不同數量的參數。當這個函數被調用時，所有的參數都被匯聚在一起，函數中訪問它時，仍需用3個點(...)。但不同的是，此時這3個點將作為表達式來使用，如{...}表示一個由所有變參構成的數組。在含有變長參數的函數中個，同樣可以帶有固定參數，但是固定參數一定要在變長參數之前聲明，如：
function test(arg1,arg2,...)
...
end
關於Lua的變長參數最后需要說明的是，由於變長參數中可能包含nil值，因此再使用類似獲取table元素數量(#)的方式獲取變參的數量就會出現問題。如果要想始終獲得正確的參數數量，可以使用Lua提供的select函數，如：
1 for i = 1, select('#',...) do --這里'#'值表示讓select返回變參的數量(其中包括nil)。
2 local arg = select(i, ...) --這里的i表示獲取第i個變參，1為第一個。
3 --do something
4 end
3. 具名實參：
在函數調用時，Lua的傳參規則和C語言相同，並不真正支持具名實參。但是我們可以通過table來模擬，比如：
function rename(old,new)
...
end
這里我們可以讓上面的rename函數只接收一個參數，即table類型的參數，與此同時，該table對象將含有old和new兩個key。如：
function rename(arg)
local old = arg.old
local new = arg.new
...
end
這種修改方式有些類似於JavaBean，即將多個參數合並為一個JavaBean。然而在使用時，Lua的table存在一個天然的優勢，即如果函數只有一個參數且為string或table類型，在調用該函數時，可以不用加圓括號，如：
rename {old = "oldfile.txt", new = "newfile.txt"}
二、深入函數：
在Lua中函數和所有其它值一樣都是匿名的，即它們都沒有名稱。在使用時都是操作持有該函數的變量，如：
a = { p = print }
a.p("Hello World")
b = print
b("Hello World")
在聲明Lua函數時，可以直接給出所謂的函數名，如：
function foo(x) return 2 * x end
我們同樣可以使用下面這種更為簡化的方式聲明Lua中的函數，如：
foo = function(x) return 2 * x end
因此，我們可以將函數理解為由語句構成的類型值，同時將這個值賦值給一個變量。由此我們可以將表達式"function(x) <body> end"視為一種函數的構造式，就想table的{}一樣。我們將這種函數構造式的結果稱為一個"匿名函數"。下面的示例顯示了匿名函數的方便性，它的使用方式有些類似於Java中的匿名類，如：
table.sort(test_table,function(a,b) return (a.name > b.name) end)
1. closure(閉合函數)：
若將一個函數寫在另一個函數之內，那么這個位於內部的函數便可以訪問外部函數中的局部變量，見如下示例：
1 function newCounter()
2 local i = 0
3 return function() --匿名函數
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 --輸出結果為：
12 --The return value of first call is 1
13 --The return value of second call is 2
在上面的示例中，我們將newCounter()函數稱為閉包函數。其函數體內的局部變量i被稱為"非局部變量"，和普通局部變量不同的是該變量被newCounter函數體內的匿名函數訪問並操作。再有就是在函數newCounter返回后，其值仍然被保留並可用於下一次計算。再看一下下面的調用方式。
1 function newCounter()
2 local i = 0
3 return function() --匿名函數
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 --輸出結果為：
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每次在給新的閉包變量賦值時，都會讓不同的閉包變量擁有獨立的"非局部變量"。下面的示例將給出基於閉包的更為通用性的用法：
1 do
2 --這里將原有的文件打開函數賦值給"私有變量"oldOpen，該變量在塊外無法訪問。
3 local oldOpen = io.open
4 --新增一個匿名函數，用於判斷本次文件打開操作的合法性。
5 local access_OK = function(filename,mode) <檢查訪問權限> end
6 --將原有的io.open函數變量指向新的函數，同時在新函數中調用老函數以完成真正的打開操作。
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
上面的這個例子有些類似於設計模式中裝飾者模式。
2. 非全局函數：
從上一小節中可以看出，Lua中的函數不僅可以直接賦值給全局變量，同時也可以賦值給其他類型的變量，如局部變量和table中的字段等。事實上，Lua庫中大多數table都帶有函數，如io.read、math.sin等。這種寫法有些類似於C++中的結構體。如：
Lib = {}
Lib.add = function(x,y) return x + y end
Lib.sub = function(x,y) return x - y end
或者是在table的構造式中直接初始化，如：
Lib = { add = function(x,y) return x + y end,
sub = function(x,y) return x - y end
}
除此之外，Lua還提供另外一種語法來定義此類函數，如：
Lib = {}
function Lib.add(x,y) return x + y end
function Lib.sub(x,y) return x - y end
對於Lua中的局部函數，其語義在理解上也是非常簡單的。由於Lua中都是以程序塊作為執行單元，因此程序塊內的局部函數在程序塊外是無法訪問的，如：
1 do
2 local f = function(x,y) return x + y end
3 --do something with f.
4 f(4,5)
5 end
對於這種局部函數，Lua還提供另外一種更為簡潔的定義方式，如：
local function f(x,y) return x + y end
該寫法等價於：
local f
f = function(x,y) return x + y end
3. 正確的尾調用：
在Lua中支持這樣一種函數調用的優化，即“尾調用消除”。我們可以將這種函數調用方式視為goto語句，如：
function f(x) return g(x) end
由於g(x)函數是f(x)函數的最后一條語句，在函數g返回之后，f()函數將沒有任何指令需要被執行，因此在函數g()返回時，可以直接返回到f()函數的調用點。由此可見，Lua解釋器一旦發現g()函數是f()函數的尾調用，那么在調用g()時將不會產生因函數調用而引起的棧開銷。這里需要強調的是，尾調用函數一定是其調用函數的最后一條語句，否則Lua不會進行優化。然而事實上，我們在很多看似是尾調用的場景中，實際上並不是真正的尾調用，如：
function f(x) g(x) end --沒有return語句的明確提示
function f(x) return g(x) + 1 --在g()函數返回之后仍需執行一次加一的指令。
function f(x) return x or g(x) --如果g()函數返回多個值，該操作會強制要求g()函數只返回一個值。
function f(x) return (g(x)) --原因同上。
在Lua中，只有"return <func>(<args>)"形式才是標准的尾調用，至於參數中(args)是否包含表達式，由於表達式的執行是在函數調用之前完成的，因此不會影響該函數成為尾調用函數。