【正文】 int lua_isuserdata (lua_State *L, int index)。 int lua_isstring (lua_State *L, int index)。 標(biāo)記了棧頂），那么： lua_pushvalue(L, 3) 10 20 30 40 50 30* lua_pushvalue(L, 1) 10 20 30 40 50 30 30* lua_remove(L, 3) 10 20 30 40 30 30* lua_remove(L, 6) 10 20 30 40 30* lua_insert(L, 1) 30 10 20 30 40* lua_insert(L, 1) 30 10 20 30 40* (no effect) lua_replace(L, 2) 30 40 20 30* lua_settop(L, 3) 30 40* lua_settop(L, 6) 30 40 nil nil nil nil* 堆棧查詢下面的函數(shù)可以用來檢測(cè)棧內(nèi)元素的類型： int lua_type (lua_State *L, int index)。lua_replace 將棧頂元素移動(dòng)到指定位置而不移動(dòng)其他任何其他元素（因此替代了給定位置的元素的值）。在 里面定義了一個(gè)有用的宏 define lua_pop(L,n) lua_settop(L, (n)1)用以從棧中彈出 n 個(gè)元素。 void lua_replace (lua_State *L, int index)。 堆棧操作一下的API提供了基本的棧操作： void lua_settop (lua_State *L, int index)。amp。這樣的索引稱為可接受索引（acceptable indices）。這個(gè)函數(shù)從不對(duì)棧進(jìn)行收縮；如果棧已經(jīng)比新的大小更大，它將不產(chǎn)生任何作用那個(gè)。因?yàn)樗饕龔?1 開始，lua_gettop 的結(jié)果等于棧中的元素?cái)?shù)量（如果是0就意味著棧為空）。他們可以使用 索引（index） 引用任何棧中元素：一個(gè)正數(shù)索引代表了棧中的絕對(duì)位置（從1開始）；一個(gè)負(fù)數(shù)索引代表了從棧頂?shù)钠屏俊＠锩娴拿恳粋€(gè)元素都代表一個(gè)Lua值 (nil, number, string, etc.)。調(diào)用 lua_close 去釋放這個(gè)由 lua_open 創(chuàng)建的狀態(tài)： void lua_close (lua_State *L)。整個(gè)Lua解釋器的狀態(tài)（全局變量、棧、等等）儲(chǔ)存在一個(gè)動(dòng)態(tài)分配的 lua_State 結(jié)構(gòu)類型中。 請(qǐng)考慮以下例子： function foo1 (a) print(foo, a) return (2*a)endco = (function (a,b) print(cobody, a, b) local r = foo1(a+1) print(cobody, r) local r, s = (a+b, ab) print(cobody, r, s) return b, endend) a, b = (co, 1, 10)print(main, a, b)a, b, c = (co, r)print(main, a, b, c)a, b, c = (co, x, y)print(main, a, b, c)a, b = (co, x, y)print(main, a, b)當(dāng)你運(yùn)行它的時(shí)候，它會(huì)產(chǎn)生以下輸出結(jié)果： cobody 1 10foo 2main true 4cobody rmain true 11 9cobody x ymain true 10 endmain false cannot resume dead coroutine3 應(yīng)用程序接口這一節(jié)描述Lua中的C API，這是對(duì)于宿主程序可用的C函數(shù)集合，用以和Lua通訊。 函數(shù)創(chuàng)建一個(gè)和 一樣的同步程序，但它不返回同步程序本身，而是返回一個(gè)繼續(xù)同步程序的函數(shù)（當(dāng)調(diào)用的時(shí)候）。當(dāng)一個(gè)同步程序產(chǎn)生結(jié)果，相應(yīng)的 就立刻返回，即使操作發(fā)生在嵌套函數(shù)調(diào)用中（也就是，不在主函數(shù)中，而在被主函數(shù)直接或間接調(diào)用的函數(shù)中）。 一個(gè)同步程序通過兩種方式結(jié)束它的運(yùn)行：正常情況下，當(dāng)它的主函數(shù)返回（顯式地或隱式的，在最后一個(gè)指令之后）時(shí)結(jié)束；異常地，如果有未保護(hù)的錯(cuò)誤。create 函數(shù)僅僅建立一個(gè)新的同步程序然后返回一個(gè)它的句柄 （一個(gè)線程 thread 類型的對(duì)象）；它不會(huì)啟動(dòng)該同步程序。Lua中的一個(gè)同步程序代表了一個(gè)獨(dú)立的執(zhí)行線程。 的字符串，那么表中的值是弱值。如果 __mode 字段是一個(gè)包含字符一個(gè)包含弱鍵的表允許它的鍵被回收，但值不可以。 弱表一個(gè) 弱表（weak table） 是一個(gè)包含的元素是 弱引用（weak references）的表。 用元表中包含 __gc 字段的自由用戶數(shù)據(jù)不會(huì)立即被垃圾收集器回收。 垃圾收集元方法 （GarbageCollection Metamethods）使用 C一旦字節(jié)計(jì)數(shù)器被調(diào)整，那么閥值就會(huì)被設(shè)為字節(jié)計(jì)數(shù)器新值的兩倍。Lua中所有的對(duì)象都是自動(dòng)管理的目標(biāo)：表，用戶數(shù)據(jù)，函數(shù)，線程，和字符串。 end return h(func, unpack(arg)) return func(unpack(arg)) primitive call call: 當(dāng)Lua調(diào)用某個(gè)值時(shí)調(diào)用。 return h(table, key,value) call the handler else return end local h end end if h == nil then h = metatable(table).__index local h enda = b is equivalent to b = a. Note that, in the absence of a le metamethod, Lua tries the lt, assuming that a = b is equivalent to not (b a). if h then if h then elseif type(op1) == string and type(op2) == string then end else else if type(op1) == number and type(op2) == number then end事件如下定義： function eq_event (op1, op2) if type(op1) ~= type(op2) then different types? return false different objects end if op1 == op2 then primitive equal? return true objects are equal end try metamethod local h = getphandler(op1, op2, __eq) if h then return h(op1, op2) else return false end enda ~= b is equivalent to not (a == b). if type(op1) ~= type(op2) then return nil end函數(shù) getphandler 定義了Lua是如何為比較操作選擇一個(gè)元方法的。 end if h then (type(op2) == string or type(op2) == number) then concat: .. （串連接）操作。 error(...) if h then local o = tonumber(op) end else no handler available: default behavior local h = getbinhandler(op1, op2, __pow) if o1 and o2 then both operands are numeric? 行為方式類似 add 操作。 sub: 操作。如果它的類型沒有定義這個(gè)操作的處理器，那么然后Lua嘗試第二個(gè)操作數(shù)。 他們?cè)谠碇械逆I是由名稱前加上兩條下劃線；如，操作 add 的鍵是 __add。元表也可以定義一個(gè)函數(shù)當(dāng)收集內(nèi)存垃圾時(shí)調(diào)用。 我們稱元表中的鍵（字段名，key）為 事件（events） ，值為 元方法（metamethods）。這個(gè) 元表 是一個(gè)普通的Lua表，定義了在特定操作下原始表和用戶數(shù)據(jù)的行為。無論錯(cuò)誤發(fā)生在Lua編譯過程時(shí)或執(zhí)行時(shí)，控制返回C，然后可以做相應(yīng)的處理（比如打印一個(gè)錯(cuò)誤）?？匆韵吕樱? a = {} local x = 20 for i=1,10 do local y = 0 a[i] = function () y=y+1。 print(x) 12 end print(x) 11 end print(x) 10 (the global one)注意：在類似 local x = x，正在聲明的新的 x 尚未進(jìn)入范圍，所以第二個(gè) x 指代的是外面的變量。這樣，語句： function :f (...) ... end相對(duì)以下是較好的形式： = function (self, ...) ... end 可見性規(guī)則Lua是一個(gè)有詞法范圍的語言。 n=2} g(5, r()) a=5, b=1, arg={2, 3。2, 變長(zhǎng)參數(shù)函數(shù)不會(huì)對(duì)參數(shù)列表進(jìn)行調(diào)整；而是，它把所有的額外實(shí)參放到一個(gè)隱含的形參 arg中。] parlist1 ::= `...180。同一個(gè)函數(shù)的不同的實(shí)例可以引用不同的外部局部變量也可以有不同的環(huán)境表。 f = function () ... end一個(gè)函數(shù)定義是一個(gè)可執(zhí)行的表達(dá)式，他的類型為 函數(shù)（function） 。 [parlist1] `)180。然而，尾部調(diào)用會(huì)清楚調(diào)用函數(shù)的調(diào)試信息。如果你實(shí)際上想調(diào)用 f，你就必須刪除 (g) 前面的換行。 前面加入一個(gè)換行。如果函數(shù)按照語句進(jìn)行調(diào)用（見 ），那么它的返回列表就會(huì)被調(diào)整為零個(gè)元素，這樣就舍棄了所有的返回值。 （或者 f... 或者 f[[...]]） 較 f(39。 args ::= tableconstructor args ::= Literal所有的參數(shù)表達(dá)式都會(huì)在實(shí)際調(diào)用之前進(jìn)行計(jì)算。 Name args可以用來調(diào)用“方法”（methods）。 函數(shù)調(diào)用Lua中的一個(gè)函數(shù)調(diào)用有如下語法： functioncall ::= prefixexp args在函數(shù)調(diào)用中，首先會(huì)計(jì)算 prefixexp 和 args 。 x = 1, f(x), [30] = 23。最后，exp 形式的字段等同于 [i] = exp 其中 i 是連續(xù)的整數(shù)，從1開始。 | `。 exp `]180。構(gòu)造器可以用來創(chuàng)建空的表，或者創(chuàng)建表并初始化一些字段。) 都是右結(jié)合的。否則，將調(diào)用 concat 元方法（見 ）。 and 和 or 都使用截取計(jì)算，也就是，只有有必要的情況下才計(jì)算第二個(gè)參數(shù)。 邏輯運(yùn)算符Lua中的邏輯運(yùn)算符是： and or not和控制結(jié)構(gòu)一樣（見 ），所有的邏輯操作符認(rèn)為 false 和 nil 都是假，其他的值都是真。 T操作符的執(zhí)行順序如下。 你可以用eq元方法改變Lua比較表的方式（見 ）。否則，再比較操作數(shù)的值。標(biāo)準(zhǔn)數(shù)學(xué)庫(kù)定義了函數(shù) __pow，給出了指數(shù)運(yùn)算的定義（見 ）。 表達(dá)式也可以使用各種算術(shù)運(yùn)算符，關(guān)系運(yùn)算符和邏輯運(yùn)算符，下面幾節(jié)就會(huì)講到。 exp `)180。 一個(gè)語句段也是一個(gè)語句塊（見 ），所以語句段之內(nèi)的任何顯式語句塊之外也可以聲明局部變量。聲明時(shí)也可以添加一個(gè)初始賦值： stat ::= local namelist [`=180。如果你需要使用這個(gè)值，請(qǐng)?jiān)谕顺鲅h(huán)之前把它們傳給其他變量。 _f 和 _s 是不可見的變量。 Name} in explist1 do block end一個(gè)這樣的