【正文】 s the primitive `unm39。 function unm_event (op) end return h(op1, op2) else at least one of the operands is not numeric local o1, o2 = tonumber(op1), tonumber(op2)行為方式類似 add 操作。 mul: * 操作。 else at least one of the operands is not numeric local h = getbinhandler(op1, op2, __add) if h then call the handler with both operands return h(op1, op2) else no handler available: default behavior error(...) end end end首先，Lua嘗試第一個操作數(shù)。特別地，要獲得一個給定對象的元方法，我們使用這個表達式： metatable(obj)[event]這個要讀作： rawget(metatable(obj) or {}, event)也就是，訪問元方法時不會調(diào)用其它元方法，同時調(diào)用沒有元表的對象不會出錯（它返回一個 nil值）。每個操作有一個相應(yīng)的名稱，代表了他的含義。 元表可以控制對象在算術(shù)操作、比較、串連接、索引取值中如何運行。如果是，Lua調(diào)用它來執(zhí)行加法。 元表 （Metatables）Lua中的每一個表和用戶數(shù)據(jù)都可以擁有一個 元表（metatable）。 錯誤處理因為Lua是一個擴展語言，所有的Lua動作都是從宿主程序中調(diào)用Lua庫中函數(shù)的C代碼開始的（見 ）。 注意每個 local 語句執(zhí)行時會定義一個新的局部變量。, with value 10 print(x) 10 x = x+1 do another block local x = x+1 another `x39。 冒號（:） 語法是用來定義 methods 的，也就是，函數(shù)有一個隱含的額外參數(shù) self. 。 請思考以下函數(shù)定義的例子： function f(a, b) end function g(a, b, ...) end function r() return 1,2,3 end然后，我們有以下實參到形參的對應(yīng)關(guān)系： CALL PARAMETERS f(3) a=3, b=nil f(3, 4) a=3, b=4 f(3, 4, 5) a=3, b=4 f(r(), 10) a=1, b=10 f(r()) a=1, b=2 g(3) a=3, b=nil, arg={n=0} g(3, 4) a=3, b=4, arg={n=0} g(3, 4, 5, 8) a=3, b=4, arg={5, 8。 表示額外參數(shù)的個數(shù)，位置 1,)。 `...180。這個函數(shù)實例（或閉包 closure）是表達式的最終結(jié)果。 Name]語句 function f () ... end會被翻譯為 f = function () ... end語句 function () ... end會被翻譯為 = function () ... end語句 local function f () ... end會被翻譯為 local f。 return results discarded return x or f(x) results adjusted to 1 函數(shù)定義函數(shù)定義的語法是： function ::= function funcbody funcbody ::= `(180。因此，程序執(zhí)行對嵌套尾部調(diào)用的次數(shù)沒有任何限制。這樣，如果你想執(zhí)行為兩條語句，你必須在中間加分號。 return x,y,(f()) returns x, y, and the first value from f() {(f())} creates a table with exactly one element作為Lua語法自由格式的一個例外，你不能在函數(shù)調(diào)用的 `(180。 因為函數(shù)可以返回任意個結(jié)果（見 ），結(jié)果的數(shù)量必須在使用它們前進行調(diào)整。...39。 [explist1] `)180。 形式 functioncall ::= prefixexp `:180。 字段列表可以有一個結(jié)尾的分隔符，這個對由機器生成的列表十分方便。 x, y。name = exp 形式的字段，等同于 [name] = exp。 exp | exp fieldsep ::= `,180。 fieldlist ::= field {fieldsep field} [fieldsep] field ::= `[180。當(dāng)計算構(gòu)造器的時候，就會創(chuàng)建一個新的表。) 和指數(shù)符 (`^180。如果兩邊的操作數(shù)都是字符或者數(shù)字，他們就都會按照 。析取運算 or 如果第一個參數(shù)不是 nil 或 false 則返回第一個參數(shù)，否則 or 返回第二個參數(shù)。否則，Lua嘗試調(diào)用lt或者 le 元方法（見 ）。 而操作符 ~= 是等于 (==) 的相反的操作。這個新的對象將不同于前面存在的任何對象。如果類型不一樣，結(jié)果便是 false。指數(shù)運算其實是調(diào)用一個全局函數(shù) __pow，否則一個合適的元方法將會被調(diào)用（見 ）。這樣，(f(x,y,z)) 將只會返回單一的一個值，即使 f 可以返回多個值，（(f(x,y,z)) 的值將是 f 返回的第一個值或者如果 f 沒有返回任何值就是 nil ）。 表達式Lua中有以下幾種基本表達式： exp ::= prefixexp exp ::= nil | false | true exp ::= Number exp ::= Literal exp ::= function exp ::= tableconstructor prefixexp ::= var | functioncall | `(180。否則，所有的變量都會初始化為 nil。 局部變量聲明局部變量可以在語句塊中任何地方聲明。 循環(huán)變量 var_i 是局部變量；你不可以在 for 循環(huán)結(jié)束之后繼續(xù)使用。 如果你在語句塊中給 var_1 賦值，那么行為就會變得不確定。 一般形式 for 循環(huán)有如下語法： stat ::= for Name {`,180。 循環(huán)變量 var 是局部變量；你不可以在 for 循環(huán)結(jié)束之后繼續(xù)使用。 如果沒有給出第三個表達式（步長），那?茨銜?1。這里只是為了進行解釋。 三種控制表達式只會被計算一次，在循環(huán)開始之前。 exp `,180。實際上，這兩種用法一般只用在調(diào)試中。 由于語法的原因， return 和 break 語句只能作為語句塊的 最后一個 語句。所有其他的值都認(rèn)為是真（特別要說明的：數(shù)字0和空字符串也表示真）。我們這里只是用來進行解釋。 （settable_event詳細(xì)介紹參看 ，Lua中并未定義該函數(shù)，他也無法直接調(diào)用。因為在 a[i] 中的 i 在賦值為4之前是等于3。如果值比需要的多，多出的值就會被扔掉。 explist1 varlist1 ::= var {`,180。顯示語句塊有時也常會在另一個語句塊的中間添加 return 或 break 語句 （見 ）。當(dāng)語句段被執(zhí)行時，他首先被預(yù)編譯成虛擬機使用的字節(jié)碼，然后虛擬機用一個解釋器執(zhí)行被編譯的代碼。180。他包括賦值，控制結(jié)構(gòu)，過程調(diào)用，表構(gòu)造和變量聲明。要改變或者獲得Lua函數(shù)的環(huán)境表，可以調(diào)用 setfenv or getfenv （見 ）。 所有的全局變量存在一個普通的Lua表中，稱之為 環(huán)境變量表（environment tables） 或簡稱 環(huán)境（environments）。對索引變量 t[i] 的訪問等同于調(diào)用 gettable_event(t,i)。第一個表達式 (prefixexp)結(jié)果必須是表；第二個表達式 (exp) 識別表中一個特定條目。局部變量有 詞義范圍（lexically scoped）：局部變量可以被在它們范圍內(nèi)的函數(shù)自由訪問 （見 ）。任何對字符串的算術(shù)操作都會現(xiàn)嘗試?炎址懷墑鄭褂靡話愎嬖蜃?。反过来，祹呕个数譁烀灾B枰址牡胤絞保只嶙遠(yuǎn)懷勺址?，遵循一种簜b淼母袷?。染J付ㄊ等綰巫懷勺址?，菛V褂米址庵械? format 函數(shù)（見 ）。 表，函數(shù)，和用戶數(shù)據(jù)類型的值都是 對象（objects）：變量不會包含他們的實際值，只是一個他們的引用（references）。在Lua中有幾種建立表的簡便方法 （見 ）。 而且，tables 可以是 互異的（heterogeneous），他們可以保存任何類型的值（除了 nil）。API。這種類型直接對應(yīng)著一塊內(nèi)存，Lua中也沒有任何預(yù)先定義的操作，除了賦值和一致性比較。 函數(shù)是Lua中的 第一類值（firstclass values）。 String 字符串類型表示一個字符的序列。 Boolean 布爾類型有兩種不同的值 false and true。語言中沒有類型定義。 ]] 括號對。否則，會認(rèn)為是一個 常注釋（long ment），注釋直到相應(yīng)的 ]]結(jié)束。\97lo\10\0492339。97，換行符是這種括號方式的語法，字符串可以跨越多行，也可以包含嵌套的?輩換嶙迦魏渦蛄小７獎閆鵂?，当开始? `[[180。 字符串也可以用雙方括號來定界[[ 字符串中的字符也可以使用轉(zhuǎn)義字符`\ddd180。 單引號（apostrophe） \v 垂直制表符（vertical tab） \f form feed 下面的字符（串）是其他的一些標(biāo)記： + * / ^ = ~= = = == ( ) { } [ ] 。這條規(guī)則符合大多數(shù)編程語言中的標(biāo)識符的定義。表示0或多個a， [a]Celes. The evolution of an extension language: a history of Lua, Proceedings of V Brazilian Symposium on Programming Languages (2001) B14B28. Lua在葡萄牙語中的意思是“月亮”，發(fā)音是 LOOah。 R.de Figueiredo, R.Ierusalimschy, and W. Experience 26 6 (1996) 635652. Ierusalimschy, L. 如果需要知道Lua設(shè)計背?蟮囊恍┚齠234。Lua的能力可以擴展到更大范圍，在不同的領(lǐng)域內(nèi)，這樣就在同樣的語法框架下創(chuàng)建了你自定義的編程語言。它的目標(biāo)是被用作一種強大的、輕型的配置語言。它同樣可以對面向?qū)ο笳Z言、函數(shù)式程序設(shè)計（Functional Programming，如Lisp）以及數(shù)據(jù)驅(qū)動編程（datadriven programming）提供很好的支持。這個宿主程序可以調(diào)用函數(shù)來執(zhí)行Lua的代碼片斷，可以設(shè)置和讀取Lua的變量，可以注冊C函數(shù)讓Lua代碼調(diào)用。 手冊中描述的實現(xiàn)在Lua的官方網(wǎng)站可以找到。 R.Celes. Luaan extensible extension language. Software: Practice amp。de Figueiredo, R.H.s Journal 21 12 (Dec 1996) 2633. de Figueiredo, and W. 語言結(jié)構(gòu)會使用常用的擴展BNF范式來解釋，如{a} 詞法約定Lua中的標(biāo)識符（Identifiers）可以是任意的數(shù)字、字符和下劃線“_”，但不能以數(shù)字開頭。習(xí)慣上來說，以下劃線開始且后面跟著大寫字母的標(biāo)識符 (例如 _VERSION) 是為Lua內(nèi)部變量所保留的。 \b 回退（backspace） \t 水平制表符（horizontal tab） \39。 （一個反斜杠加上一個真正的換行符）會導(dǎo)致字符串內(nèi)的分行。Lua中的字符串也可以包含8進制數(shù)字，包括嵌入零，它可以表示為 `\0180。 ]]。 的編碼是49）的系統(tǒng)中，以下四種格式得到的都是同一個字符串： (1) alo\n123\ (2) 39。如果緊接著 的文本不是 [[，那么會認(rèn)為是一個 短注釋（short ment）， 這一行往后到行尾都是注釋。 這意味著變量是沒有類型的；只有值才有。 Nil 空類型只對應(yīng) nil