Lua是一種嵌入式腳本語(yǔ)言，即Lua不是可以單獨(dú)運(yùn)行的程序，在實(shí)際應(yīng)用中，主要存在兩種應(yīng)用形式。第一種形式是，C/C++作為主程序，調(diào)用Lua代碼，此時(shí)可以將Lua看做“可擴(kuò)展的語(yǔ)言”，我們將這種應(yīng)用稱為“應(yīng)用程序代碼”。第二種形式是Lua具有控制權(quán)，而C/C++代碼則作為L(zhǎng)ua的“庫(kù)代碼”。在這兩種形式中，都是通過(guò)Lua提供的C API完成兩種語(yǔ)言之間的通信的。
1. 基礎(chǔ)知識(shí)：
C API是一組能使C/C++代碼與Lua交互的函數(shù)。其中包括讀寫Lua全局變量、調(diào)用Lua函數(shù)、運(yùn)行一段Lua代碼，以及注冊(cè)C函數(shù)以供Lua代碼調(diào)用等。這里先給出一個(gè)簡(jiǎn)單的示例代碼：
1 #include <stdio.h>
2 #include <string.h>
3 #include <lua.hpp>
4 #include <lauxlib.h>
5 #include <lualib.h>
6
7 int main(void)
8 {
9 const char* buff = "print(\"hello\")";
10 int error;
11 lua_State* L = luaL_newstate();
12 luaL_openlibs(L);
13
14 error = luaL_loadbuffer(L,buff,strlen(buff),"line") || lua_pcall(L,0,0,0);
15 int s = lua_gettop(L);
16 if (error) {
17 fprintf(stderr,"%s",lua_tostring(L,-1));
18 lua_pop(L,1);
19 }
20 lua_close(L);
21 return 0;
22 }
下面是針對(duì)以上代碼給出的具體解釋：
1). 上面的代碼是基于我的C++工程，而非C工程，因此包含的頭文件是lua.hpp，如果是C工程，可以直接包含lua.h。
2). Lua庫(kù)中沒(méi)有定義任何全局變量，而是將所有的狀態(tài)都保存在動(dòng)態(tài)結(jié)構(gòu)lua_State中，后面所有的C API都需要該指針作為第一個(gè)參數(shù)。
3). luaL_openlibs函數(shù)是用于打開Lua中的所有標(biāo)準(zhǔn)庫(kù)，如io庫(kù)、string庫(kù)等。
4). luaL_loadbuffer編譯了buff中的Lua代碼，如果沒(méi)有錯(cuò)誤，則返回0，同時(shí)將編譯后的程序塊壓入虛擬棧中。
5). lua_pcall函數(shù)會(huì)將程序塊從棧中彈出，并在保護(hù)模式下運(yùn)行該程序塊。執(zhí)行成功返回0，否則將錯(cuò)誤信息壓入棧中。
6). lua_tostring函數(shù)中的-1，表示棧頂?shù)乃饕担瑮５椎乃饕禐?，以此類推。該函數(shù)將返回棧頂?shù)腻e(cuò)誤信息，但是不會(huì)將其從棧中彈出。
7). lua_pop是一個(gè)宏，用于從虛擬棧中彈出指定數(shù)量的元素，這里的1表示僅彈出棧頂?shù)脑亍?br /> 8). lua_close用于釋放狀態(tài)指針?biāo)玫馁Y源。
2. 棧：
在Lua和C語(yǔ)言之間進(jìn)行數(shù)據(jù)交換時(shí)，由于兩種語(yǔ)言之間有著較大的差異，比如Lua是動(dòng)態(tài)類型，C語(yǔ)言是靜態(tài)類型，Lua是自動(dòng)內(nèi)存管理，而C語(yǔ)言則是手動(dòng)內(nèi)存管理。為了解決這些問(wèn)題，Lua的設(shè)計(jì)者使用了虛擬棧作為二者之間數(shù)據(jù)交互的介質(zhì)。在C/C++程序中，如果要獲取Lua的值，只需調(diào)用Lua的C API函數(shù)，Lua就會(huì)將指定的值壓入棧中。要將一個(gè)值傳給Lua時(shí)，需要先將該值壓入棧，然后調(diào)用Lua的C API，Lua就會(huì)獲取該值并將其從棧中彈出。為了可以將不同類型的值壓入棧，以及從棧中取出不同類型的值，Lua為每種類型均設(shè)定了一個(gè)特定函數(shù)。
1). 壓入元素：
Lua針對(duì)每種C類型，都有一個(gè)C API函數(shù)與之對(duì)應(yīng)，如：
void lua_pushnil(lua_State* L); --nil值
void lua_pushboolean(lua_State* L, int b); --布爾值
void lua_pushnumber(lua_State* L, lua_Number n); --浮點(diǎn)數(shù)
void lua_pushinteger(lua_State* L, lua_Integer n); --整型
void lua_pushlstring(lua_State* L, const char* s, size_t len); --指定長(zhǎng)度的內(nèi)存數(shù)據(jù)
void lua_pushstring(lua_State* L, const char* s); --以零結(jié)尾的字符串，其長(zhǎng)度可由strlen得出。
對(duì)于字符串?dāng)?shù)據(jù)，Lua不會(huì)持有他們的指針，而是調(diào)用在API時(shí)生成一個(gè)內(nèi)部副本，因此，即使在這些函數(shù)返回后立刻釋放或修改這些字符串指針，也不會(huì)有任何問(wèn)題。
在向棧中壓入數(shù)據(jù)時(shí)，可以通過(guò)調(diào)用下面的函數(shù)判斷是否有足夠的棧空間可用，一般而言，Lua會(huì)預(yù)留20個(gè)槽位，對(duì)于普通應(yīng)用來(lái)說(shuō)已經(jīng)足夠了，除非是遇到有很多參數(shù)的函數(shù)。
int lua_checkstack(lua_State* L, int extra) --期望得到extra數(shù)量的空閑槽位，如果不能擴(kuò)展并獲得，返回false。
2). 查詢?cè)兀?br /> API使用“索引”來(lái)引用棧中的元素，第一個(gè)壓入棧的為1，第二個(gè)為2，依此類推。我們也可以使用負(fù)數(shù)作為索引值，其中-1表示為棧頂元素，-2為棧頂下面的元素，同樣依此類推。
Lua提供了一組特定的函數(shù)用于檢查返回元素的類型，如：
int lua_isboolean (lua_State *L, int index);
int lua_iscfunction (lua_State *L, int index);
int lua_isfunction (lua_State *L, int index);
int lua_isnil (lua_State *L, int index);
int lua_islightuserdata (lua_State *L, int index);
int lua_isnumber (lua_State *L, int index);
int lua_isstring (lua_State *L, int index);
int lua_istable (lua_State *L, int index);
int lua_isuserdata (lua_State *L, int index);
以上函數(shù)，成功返回1，否則返回0。需要特別指出的是，對(duì)于lua_isnumber而言，不會(huì)檢查值是否為數(shù)字類型，而是檢查值是否能轉(zhuǎn)換為數(shù)字類型。
Lua還提供了一個(gè)函數(shù)lua_type，用于獲取元素的類型，函數(shù)原型如下：
int lua_type (lua_State *L, int index);
該函數(shù)的返回值為一組常量值，分別是：LUA_TNIL、LUA_TNUMBER、LUA_TBOOLEAN、LUA_TSTRING、LUA_TTABLE、LUA_TFUNCTION、LUA_TUSERDATA、LUA_TTHREAD和LUA_TLIGHTUSERDATA。這些常量通常用于switch語(yǔ)句中。
除了上述函數(shù)之外，Lua還提供了一組轉(zhuǎn)換函數(shù)，如：
int lua_toboolean (lua_State *L, int index);
lua_CFunction lua_tocfunction (lua_State *L, int index);
lua_Integer lua_tointeger (lua_State *L, int index);
const char *lua_tolstring (lua_State *L, int index, size_t *len);
lua_Number lua_tonumber (lua_State *L, int index);
const void *lua_topointer (lua_State *L, int index);
const char *lua_tostring (lua_State *L, int index);
void *lua_touserdata (lua_State *L, int index);
--string類型返回字符串長(zhǎng)度，table類型返回操作符'#'等同的結(jié)果，userdata類型返回分配的內(nèi)存塊長(zhǎng)度。
size_t lua_objlen (lua_State *L, int index);
對(duì)于上述函數(shù)，如果調(diào)用失敗，lua_toboolean、lua_tonumber、lua_tointeger和lua_objlen均返回0，而其他函數(shù)則返回NULL。在很多時(shí)候0不是一個(gè)很有效的用于判斷錯(cuò)誤的值，但是ANSI C沒(méi)有提供其他可以表示錯(cuò)誤的值。因此對(duì)于這些函數(shù)，在有些情況下需要先使用lua_is*系列函數(shù)判斷是否類型正確，而對(duì)于剩下的函數(shù)，則可以直接通過(guò)判斷返回值是否為NULL即可。
對(duì)于lua_tolstring函數(shù)返回的指向內(nèi)部字符串的指針，在該索引指向的元素被彈出之后，將無(wú)法保證仍然有效。該函數(shù)返回的字符串末尾均會(huì)有一個(gè)尾部0。
下面將給出一個(gè)工具函數(shù)，可用于演示上面提到的部分函數(shù)，如：
1 static void stackDump(lua_State* L)
2 {
3 int top = lua_gettop(L);
4 for (int i = 1; i <= top; ++i) {
5 int t = lua_type(L,i);
6 switch(t) {
7 case LUA_TSTRING:
8 printf("'%s'",lua_tostring(L,i));
9 break;
10 case LUA_TBOOLEAN:
11 printf(lua_toboolean(L,i) ? "true" : "false");
12 break;
13 case LUA_TNUMBER:
14 printf("%g",lua_tonumber(L,i));
15 break;
16 default:
17 printf("%s",lua_typename(L,t));
18 break;
19 }
20 printf("");
21 }
22 printf("\n");
23 }
3). 其它棧操作函數(shù)：
除了上面給出的數(shù)據(jù)交換函數(shù)之外，Lua的C API還提供了一組用于操作虛擬棧的普通函數(shù)，如：
int lua_gettop(lua_State* L); --返回棧中元素的個(gè)數(shù)。
void lua_settop(lua_State* L, int index); --將棧頂設(shè)置為指定的索引值。
void lua_pushvalue(lua_State* L, int index); --將指定索引的元素副本壓入棧。
void lua_remove(lua_State* L, int index); --刪除指定索引上的元素，其上面的元素自動(dòng)下移。
void lua_insert(lua_State* L, int index); --將棧頂元素插入到該索引值指向的位置。
void lua_replace(lua_State* L, int index); --彈出棧頂元素，并將該值設(shè)置到指定索引上。
Lua還提供了一個(gè)宏用于彈出指定數(shù)量的元素：#define lua_pop(L,n) lua_settop(L, -(n) - 1)
見如下示例代碼：
1 int main()
2 {
3 lua_State* L = luaL_newstate();
4 lua_pushboolean(L,1);
5 lua_pushnumber(L,10);
6 lua_pushnil(L);
7 lua_pushstring(L,"hello");
8 stackDump(L); //true 10 nil 'hello'
9
10 lua_pushvalue(L,-4);
11 stackDump(L); //true 10 nil 'hello' true
12
13 lua_replace(L,3);
14 stackDump(L); //true 10 true 'hello'
15
16 lua_settop(L,6);
17 stackDump(L); //true 10 true 'hello' nil nil
18
19 lua_remove(L,-3);
20 stackDump(L); //true 10 true nil nil
21
22 lua_settop(L,-5);
23 stackDump(L); //true
24
25 lua_close(L);
26 return 0;
27 }
3. C API中的錯(cuò)誤處理：
1). C程序調(diào)用Lua代碼的錯(cuò)誤處理：
通常情況下，應(yīng)用程序代碼是以“無(wú)保護(hù)”模式運(yùn)行的。因此，當(dāng)Lua發(fā)現(xiàn)“內(nèi)存不足”這類錯(cuò)誤時(shí)，只能通過(guò)調(diào)用“緊急”函數(shù)來(lái)通知C語(yǔ)言程序，之后在結(jié)束應(yīng)用程序。用戶可通過(guò)lua_atpanic來(lái)設(shè)置自己的“緊急”函數(shù)。如果希望應(yīng)用程序代碼在發(fā)生Lua錯(cuò)誤時(shí)不會(huì)退出，可通過(guò)調(diào)用lua_pcall函數(shù)以保護(hù)模式運(yùn)行Lua代碼。這樣再發(fā)生內(nèi)存錯(cuò)誤時(shí)，lua_pcall會(huì)返回一個(gè)錯(cuò)誤代碼，并將解釋器重置為一致的狀態(tài)。如果要保護(hù)與Lua的C代碼，可以使用lua_cpall函數(shù)，它將接受一個(gè)C函數(shù)作為參數(shù)，然后調(diào)用這個(gè)C函數(shù)。
2). Lua調(diào)用C程序：
通常而言，當(dāng)一個(gè)被Lua調(diào)用的C函數(shù)檢測(cè)到錯(cuò)誤時(shí)，它就應(yīng)該調(diào)用lua_error，該函數(shù)會(huì)清理Lua中所有需要清理的資源，然后跳轉(zhuǎn)回發(fā)起執(zhí)行的那個(gè)lua_pcall，并附上一條錯(cuò)誤信息。