1 typedef TValue *StkId;  /* 堆栈中的元素 */ 2 typedef struct lua_TValue TValue; 3  4 struct lua_TValue { 5   TValuefields;  /* 堆栈中的元素 */ 6 }; 7  8 // 定义了双精度浮点或者通用类型定义 9 #define TValuefields  10     union { struct { Value v__; int tt__; } i; double d__; } u11 12 #define LUA_NUMBER    double13 typedef LUA_NUMBER    lua_Number;14 #define numfield    lua_Number n;    /* 双精度浮点数 */15 #define numfield    /* no such field; numbers are the entire struct(另外一种定义) */16 17 // Value包括可回收对象和不可回收对象两种类型18 // 不可回收对象包括：bool、19 union Value {20   GCObject *gc;    /* collectable objects */21   void *p;         /* light userdata */22   int b;           /* booleans */23   lua_CFunction f; /* light C functions */24   numfield         /* 双精度浮点数，实际上可能为空 */25 };26 27 /*28 ** Union of all collectable objects29 */30 union GCObject {31   GCheader gch;  /* common header */32   union TString ts; /* 字符串 */33   union Udata u; /* 用户自定义数据 */34   union Closure cl; /* 函数闭包，其实似乎Proto的一个实例 */35   struct Table h; /* 表结构 */36   struct Proto p; /* 函数原型，被闭包共享同一个定义 */37   struct UpVal uv; /* 闭包所引用的变量 */38   struct lua_State th;  /* thread */39 };

 1 /* raw type tag of a TValue */ 2 #define rttype(o)    ((o)->tt_) 3  4 /* tag with no variants (bits 0-3) */ 5 #define novariant(x)    ((x) & 0x0F) 6  7 /* type tag of a TValue (bits 0-3 for tags + variant bits 4-5) */ 8 #define ttype(o)    (rttype(o) & 0x3F) 9 10 /* type tag of a TValue with no variants (bits 0-3) */11 #define ttypenv(o)    (novariant(rttype(o)))12 13 /* mark a tag as collectable */14 #define ctb(t)            ((t) | BIT_ISCOLLECTABLE)15 16 /* Macros to test type */17 #define checktag(o,t)        (rttype(o) == (t))18 #define checktype(o,t)        (ttypenv(o) == (t))19 #define ttisnumber(o)        checktag((o), LUA_TNUMBER)20 #define ttisnil(o)        checktag((o), LUA_TNIL)21 #define ttisboolean(o)        checktag((o), LUA_TBOOLEAN)22 #define ttislightuserdata(o)    checktag((o), LUA_TLIGHTUSERDATA)23 #define ttisstring(o)        checktype((o), LUA_TSTRING)24 #define ttisshrstring(o)    checktag((o), ctb(LUA_TSHRSTR))25 #define ttislngstring(o)    checktag((o), ctb(LUA_TLNGSTR))26 #define ttistable(o)        checktag((o), ctb(LUA_TTABLE))27 #define ttisfunction(o)        checktype(o, LUA_TFUNCTION)28 #define ttisclosure(o)        ((rttype(o) & 0x1F) == LUA_TFUNCTION)29 #define ttisCclosure(o)        checktag((o), ctb(LUA_TCCL))30 #define ttisLclosure(o)        checktag((o), ctb(LUA_TLCL))31 #define ttislcf(o)        checktag((o), LUA_TLCF)32 #define ttisuserdata(o)        checktag((o), ctb(LUA_TUSERDATA))33 #define ttisthread(o)        checktag((o), ctb(LUA_TTHREAD))34 #define ttisdeadkey(o)        checktag((o), LUA_TDEADKEY)35 36 #define ttisequal(o1,o2)    (rttype(o1) == rttype(o2))

 1 /* Macros to access values */ 2 #define val_(o)        ((o)->value_) 3 #define num_(o)        (val_(o).n) 4  5 /* internal assertions for in-house debugging */ 6 #if defined(lua_assert) 7 #define check_exp(c,e)        (lua_assert(c), (e)) 8 /* to avoid problems with conditions too long */ 9 #define lua_longassert(c)    { if (!(c)) lua_assert(0); }10 #else11 #define lua_assert(c)        ((void)0)12 #define check_exp(c,e)        (e)13 #define lua_longassert(c)    ((void)0)14 #endif15 16 #define nvalue(o)    check_exp(ttisnumber(o), num_(o))17 #define gcvalue(o)    check_exp(iscollectable(o), val_(o).gc)18 #define pvalue(o)    check_exp(ttislightuserdata(o), val_(o).p)19 #define rawtsvalue(o)    check_exp(ttisstring(o), &val_(o).gc->ts)20 #define tsvalue(o)    (&rawtsvalue(o)->tsv)21 #define rawuvalue(o)    check_exp(ttisuserdata(o), &val_(o).gc->u)22 #define uvalue(o)    (&rawuvalue(o)->uv)23 #define clvalue(o)    check_exp(ttisclosure(o), &val_(o).gc->cl)24 #define clLvalue(o)    check_exp(ttisLclosure(o), &val_(o).gc->cl.l)25 #define clCvalue(o)    check_exp(ttisCclosure(o), &val_(o).gc->cl.c)26 #define fvalue(o)    check_exp(ttislcf(o), val_(o).f)27 #define hvalue(o)    check_exp(ttistable(o), &val_(o).gc->h)28 #define bvalue(o)    check_exp(ttisboolean(o), val_(o).b)29 #define thvalue(o)    check_exp(ttisthread(o), &val_(o).gc->th)

 1 /* Macros to set values */ 2 #define settt_(o,t)    ((o)->tt_=(t)) 3 #define val_(o)        ((o)->value_) 4 #define num_(o)        (val_(o).n) 5  6 #define setnvalue(obj,x)  7   { TValue *io=(obj); num_(io)=(x); settt_(io, LUA_TNUMBER); } 8  9 #define setnilvalue(obj) settt_(obj, LUA_TNIL)10 11 #define setfvalue(obj,x) 12   { TValue *io=(obj); val_(io).f=(x); settt_(io, LUA_TLCF); }13 14 #define setpvalue(obj,x) 15   { TValue *io=(obj); val_(io).p=(x); settt_(io, LUA_TLIGHTUSERDATA); }16 17 #define setbvalue(obj,x) 18   { TValue *io=(obj); val_(io).b=(x); settt_(io, LUA_TBOOLEAN); }19 20 #define setgcovalue(L,obj,x) 21   { TValue *io=(obj); GCObject *i_g=(x); 22     val_(io).gc=i_g; settt_(io, ctb(gch(i_g)->tt)); }23 24 #define setsvalue(L,obj,x) 25   { TValue *io=(obj); 26     TString *x_ = (x); 27     val_(io).gc=cast(GCObject *, x_); settt_(io, ctb(x_->tsv.tt)); 28     checkliveness(G(L),io); }29 30 #define setuvalue(L,obj,x) 31   { TValue *io=(obj); 32     val_(io).gc=cast(GCObject *, (x)); settt_(io, ctb(LUA_TUSERDATA)); 33     checkliveness(G(L),io); }34 35 #define setthvalue(L,obj,x) 36   { TValue *io=(obj); 37     val_(io).gc=cast(GCObject *, (x)); settt_(io, ctb(LUA_TTHREAD)); 38     checkliveness(G(L),io); }39 40 #define setclLvalue(L,obj,x) 41   { TValue *io=(obj); 42     val_(io).gc=cast(GCObject *, (x)); settt_(io, ctb(LUA_TLCL)); 43     checkliveness(G(L),io); }44 45 #define setclCvalue(L,obj,x) 46   { TValue *io=(obj); 47     val_(io).gc=cast(GCObject *, (x)); settt_(io, ctb(LUA_TCCL)); 48     checkliveness(G(L),io); }49 50 #define sethvalue(L,obj,x) 51   { TValue *io=(obj); 52     val_(io).gc=cast(GCObject *, (x)); settt_(io, ctb(LUA_TTABLE)); 53     checkliveness(G(L),io); }