Lua程式設計 非全域的函數

標籤：style   使用   io   re   c   cti   

         由於函數是一種“第一類值”，因此一個顯而易見的推論就是，函數不僅可以儲存在全域變數中，還可以儲存在table的欄位和局部變數中。

        大部分Lua庫也採用了這種將函數儲存在欄位中的機制（io.read、math.sin）.若要在Lua中建立這種函數，只需將常規的函數文法與table文法結合起來使用即可：

lib = {}lib.foo = function(x,y) return x + y end lib.goo = function(x,y) return x - y end也可以使用構造式：lib = {  foo = function(x,y) return x + y end  goo = function(x,y) return x - y end }還可以使用另一種文法來定義這類函數：lib = {}function lib.foo (x, y) return x + y endfunction lib.goo (x, y) return x - y end

     只要將一個函數儲存到一個局部變數中，即得到了一個“局部函數”，也就是說該函數只能在某個特定的範圍中使用。

     因為Lua是將每個程式塊作為一個函數來處理的，所以在一個程式塊中聲明的函數就是局部函數，這些局部函數只在該程式塊中可見。“詞法域”確保了程式包中的其他函數可以使用這些局部函數：

local f = function(參數)   <函數體>endlocal g = function(參數)   <一些代碼>   f()  -- f在這裡是可見的。   <一些代碼>end對於這種局部函數的定義，Lua還支援一種“文法糖”：local function f(參數)<函數體>end在定義遞迴的局部函數時，像下面這種函數的定義文法是錯誤的：local fact = function (n)    if n == 0 then return 1   else return n*fact(n -1)   endend 因為，當Lua編譯到函數體中調用fact(n-1)的地方時，由於局部的fact尚未定義完畢，因此這句運算式其實是調用一個全域的fact，而非此函數自身。 解決辦法： local fact fact = function(n)  if n == 0 then return 1 else return n*fact(n - 1)   end end 現在函數中的fact調用就表示了局部變數。即使在函數定義時，這個局部變數的值尚未完成定義，但之後在函數執行時，fact則肯定已經擁有了正確的值。

       當Lua展開局部函數定義的“文法糖”時，並不是使用基本函數定義文法。而是對於局部函數定義：

local function foo(參數)  <函數體> endLua將其展開為：local foofoo = function(參數) <函數體> end 使用這種文法來定義遞迴函式不會產生錯誤：local function fact(n)   if n == 0 then return 1  else return n*fact(n - 1)   endend然而，在間接遞迴的情況中，必須使用一個明確的前向聲明：local  f, g  --前向聲明function g ()   <一些代碼>   f()        <一些代碼> end function f ()  <一些代碼>   g()        <一些代碼> end 注意：別把第二個函數定義寫為“local function f”.如果那樣的話，Lua會建立一個全新的局部變數f，而將原來聲明的f置於未定義的狀態。