lua中的数据类型
#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宏定义的成员,并且这个成员在结构体定义的最开始部分。
#define CommonHeader GCObject *next; lu_byte tt; lu_byte marked
- next:下一个GC链表成员
- tt:表示数据类型
- marked:GC相关的标记位
于是lua中就是用GCObject联合体将所有需要进行垃圾回收 的数据类型囊括了进来:
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;
};
结构体GCheader 成员只有CommonHeader。
typedef struct GCheader {
CommonHeader;
} GCheader;
Lua将GCObject和其他不需要垃圾回收的数据类型一起放在联合体Value中:
typedef union {
GCObject *gc;
void *p;
lua_Number n;
int b;
} Value;
这样就可以表示所有的数据类型了。
为了表示数据是什么类型,Lua中又有了TValuefields,它用于将Value和类型结合在一起。
#define TValuefields Value value; int tt
最后形成了TValue结构体,Lua中任何数据都可以通过该结构体表示:
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; }
|
请发表评论