lua设计与实现（二）数据类型

lua中的数据类型

//lua.h
/*
** basic types
*/
#define LUA_TNONE		(-1)

#define LUA_TNIL		0
#define LUA_TBOOLEAN		1
#define LUA_TLIGHTUSERDATA	2
#define LUA_TNUMBER		3
#define LUA_TSTRING		4
#define LUA_TTABLE		5
#define LUA_TFUNCTION		6
#define LUA_TUSERDATA		7
#define LUA_TTHREAD		8

#define LUA_NUMTAGS		9

宏	类型	对应数据结构
LUA_TNONE	无类型	无
LUA_TNIL	空类型	无
LUA_TBOOLEAN	布尔类型	无
LUA_TLIGHTUSERDATA	指针	void*
LUA_TNUMBER	数据	lua_Number
LUA_TSTRING	字符串	TString
LUA_TTABLE	表	table
LUA_TFUNCTION	函数	CClosure,LClosure
LUA_TUSERDATA	指针	void*
LUA_TTHREAD	lua虚拟机，协程	lua_State

LUA_NUMTAGS 表示多少种数据类型，这里是9。
Lua内部用一个宏来表示那些数据需要进行GC（Garbage Collection,垃圾回收）操作：

//lobject.h 189
#define iscollectable(o)	(ttype(o) >= LUA_TSTRING)

可以看到，LUA TSTRING （包括LUA TSTRING ）之后的数据类型都需要进行GC操作。这些需要进行GC操作的数据类型都会有一个CommonHeader宏定义的成员，并且这个成员在结构体定义的最开始部分。

//lobject.h
/*
** 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

• next:下一个GC链表成员
• tt:表示数据类型
• marked:GC相关的标记位

于是lua中就是用GCObject联合体将所有需要进行垃圾回收 的数据类型囊括了进来：

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

结构体GCheader 成员只有CommonHeader。

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

Lua将GCObject和其他不需要垃圾回收的数据类型一起放在联合体Value中：

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

这样就可以表示所有的数据类型了。
为了表示数据是什么类型，Lua中又有了TValuefields，它用于将Value和类型结合在一起。

/*
** Tagged Values
*/
#define TValuefields	Value value; int tt

最后形成了TValue结构体，Lua中任何数据都可以通过该结构体表示：

//lobject.h
typedef struct lua_TValue {
  TValuefields;
} TValue;

Lua的通用数据结构的组织图

在具体的代码中TValue用于统一的表示数据，而一旦知道了具体的类型，就需要使用具体的类型了，因此代码中不少涉及TValue与具体类型之间的转换的代码，其主要逻辑都是将Tvalue中的tt,value与具体类型的数据进行转换。比如将lua_Number转换为TValue的宏定义为:

#define setnvalue(obj,x) \
  { TValue *i_o=(obj); i_o->value.n=(x); i_o->tt=LUA_TNUMBER; }