為了實現Lua和其他語言之間的通信，Lua虛擬機為C\C++提供了兩個特性：

一，Lua_State狀態機

lua_State主要是管理一個lua虛擬機的執行環境, 一個lua虛擬機可以有多個執行環境。Lua虛擬機通過維護這樣一個虛擬棧來實現兩種之間的通信，lua_State定義如下：

struct lua_State {  
  CommonHeader;  
  lu_byte status;  
  StkId top;  /* first free slot in the stack */ 
  global_State *l_G;  
  CallInfo *ci;  /* call info for current function */ 
  const Instruction *oldpc;  /* last pc traced */ 
  StkId stack_last;  /* last free slot in the stack */ 
  StkId stack;  /* stack base */ 
  int stacksize;  
  unsigned short nny;  /* number of non-yieldable calls in stack */ 
  unsigned short nCcalls;  /* number of nested C calls */ 
  lu_byte hookmask;  
  lu_byte allowhook;  
  int basehookcount;  
  int hookcount;  
  lua_Hook hook;  
  GCObject *openupval;  /* list of open upvalues in this stack */ 
  GCObject *gclist;  
  struct lua_longjmp *errorJmp;  /* current error recover point */ 
  ptrdiff_t errfunc;  /* current error handling function (stack index) */ 
  CallInfo base_ci;  /* CallInfo for first level (C calling Lua) */ 
}; 

1，虛擬棧的管理, 包括管理整個棧和當前函數使用的棧的情況

2，CallInfo的管理, 包括管理整個CallInfo數組和當前函數的CallInfo

3，hook相關的, 包括hookmask, hookcount, hook函數等

4，global_State是全局唯一的，存放多個lua_State之間的一些共享數據

5，gc的一些管理和當前棧中upvalue的管理

6，錯誤處理的支持等等

C\C++和Lua擁有不同的數據類型，要實現兩者之間的數據通信怎么辦？Lua虛擬機提供Lua_State這樣一種數據結構。任何一種數據從C\C++傳入Lua虛擬機中，Lua都會將這類數據轉換為一種通用的結構lua_TValue，并且將數據復制一份，將其壓入虛擬棧中。lua_TValue定義如下：

struct lua_TValue {  
  TValuefields;  
};  
   
#define TValuefields  \  
    union { struct { Value v__; int tt__; } i; double d__; } u  
   
union Value {  
  GCObject *gc;    /* collectable objects */ 
  void *p; /* light userdata */ 
  int b;   /* booleans */ 
  lua_CFunction f; /* light C functions */ 
  numfield /* numbers */ 
}; 

Lua有自己的GC，C\C++由自己申請和釋放內存，所以兩者之間的內存管理是獨立的。從C\C++中傳遞數據到Lua虛擬機會發生數據拷貝，從Lua虛擬機中傳遞出來是直接從虛擬棧中取值或者地址，所以數據從虛擬棧中pop之后，是否依然是有效引用需要額外注意。

 二，C API

Lua腳本實現交互提供了一系列的C API，常用API有：

luaL_newstate函數用于初始化一個lua_State實例

luaL_openlibs函數用于打開Lua中的所有標準庫，如io庫、string庫等。

luaL_loadbuffer編譯了buff中的Lua代碼，如果沒有錯誤，則返回0，同時將編譯后的程序塊壓入虛擬棧中。

lua_pcall函數會將程序塊從棧中彈出，并在保護模式下運行該程序塊。執行成功返回0，否則將錯誤信息壓入棧中。

lua_tostring函數中的-1，表示棧頂的索引值，棧底的索引值為1，以此類推。該函數將返回棧頂的錯誤信息，但是不會將其從棧中彈出。

lua_pop是一個宏，用于從虛擬棧中彈出指定數量的元素，這里的1表示僅彈出棧頂的元素。

lua_close用于釋放狀態指針所引用的資源。

入棧操作：

Lua針對每種C類型，都有一個C API函數與之對應，如：

void lua_pushnil(lua_State* L);  --nil值

void lua_pushboolean(lua_State* L, int b); --布爾值

void lua_pushnumber(lua_State* L, lua_Number n); --浮點數

void lua_pushinteger(lua_State* L, lua_Integer n);  --整型

void lua_pushlstring(lua_State* L, const char* s, size_t len); --指定長度的內存數據

void lua_pushstring(lua_State* L, const char* s);  --以零結尾的字符串，其長度可由strlen得出。 

出棧操作：

API使用“索引”來引用棧中的元素，第一個壓入棧的為1，第二個為2，依此類推。我們也可以使用負數作為索引值，其中-1表示為棧頂元素，-2為棧頂下面的元素，同樣依此類推。

Lua提供了一組特定的函數用于檢查返回元素的類型，如：

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);

以上函數，成功返回1，否則返回0。需要特別指出的是，對于lua_isnumber而言，不會檢查值是否為數字類型，而是檢查值是否能轉換為數字類型。

有關API的具體用法或者了解更多的API請訪問其官方網站

原文出自：http://my.oschina.net/xlplbo/blog/314956