lua的类型，lua_State，函数调用，协程

数据类型

lua中的数据可以这样分为两位：值类型和引用类型。引用类型创建时需要从堆上分配内存，复制时只需要复制指针，分配的内存由GC负责维护生命期。

所有lua类型都用一个union来表示：

c 复制代码

/*
** Union of all Lua values
*/
typedef union {
  GCObject *gc;
  void *p; /* lightuserdata */
  lua_Number n;
  int b; /* boolean */
} Value;

引用类型用一个gc指针来引用，其他值类型都直接保存在Value中。

每个引用类型的开头都是CommonHeader;，所以都可强转成GCheader*使用：

c 复制代码

/*
** Common Header for all collectable objects (in macro form, to be
** included in other objects)
*/
#define CommonHeader GCObject *next; lu_byte tt; lu_byte marked

/*
** Common header in struct form
*/
typedef struct {
  CommonHeader;
} GCheader;

/*
** Union of all collectable objects
*/
union GCObject {
  GCheader gch;
  TString ts;
  Udata u;
  Closure cl;
  Table h;
  Proto p;
  UpVal uv;
  lua_State th; /* thread */
};

为了区分Value中存放的数据类型，再额外绑定一个类型字段：

c 复制代码

/*
** Tagged Values
*/
typedef struct {
  Value value;
  int tt;
} TValue;

lua_State、数据栈、调用栈

lua_State表示一个线程/协程（后面线程与协程通用）的状态，lua_newstate用于创建主线程：

c 复制代码

/*
** Main thread combines a thread state and the global state
*/
typedef struct {
  lua_State l;
  global_State g;
} LG;

LUA_API lua_State *lua_newstate (lua_Alloc f, void *ud) {
  int i;
  lua_State *L;
  global_State *g;
  void *l = (*f)(ud, NULL, 0, state_size(LG));
  if (l == NULL) return NULL;
  ...

用lua_newstate创建主线程的时候，同时也创建了一个global_State，所有的线程共享这个global_State，luaE_newthread用于创建协程：

c 复制代码

lua_State *luaE_newthread (lua_State *L) {
  lua_State *L1 = tostate(luaM_malloc(L, state_size(lua_State)));
  luaC_link(L, obj2gco(L1), LUA_TTHREAD);
  preinit_state(L1, G(L));
  ...

lua的数据栈是一个TValue数组，代码中用StkId类型用来指代对TValue的引用：

c 复制代码

typedef TValue *StkId; /* index to stack elements */

调用栈放在CallInfo数组中，CallInfo保存着正在调用的函数的运行状态：

c 复制代码

/*
** informations about a call
*/
typedef struct {
  StkId base; /* base for this function */
  StkId func; /* function index in the stack */
  StkId top; /* top for this function */
  const Instruction *savedpc;
  int nresults; /* expected number of results from this function */
  int tailcalls; /* number of tail calls lost under this entry */
} CallInfo;

正在调用的函数一定存在于数据栈上，由func引用正在调用的函数对象。