TValue是lua中的通用数据结构，lua中的所有数据都可以使用这个结构表示。下面看一下与TValue定义相关的数据结构：
/*
** {======================================================
** types and prototypes
** =======================================================
*/
union Value {
GCObject *gc; /* collectable objects */
void *p; /* light userdata */
int b; /* booleans */
lua_CFunction f; /* light C functions */
lua_Integer i; /* integer numbers */
lua_Number n; /* float numbers */
};
/*
** Union of all Lua values
*/
typedef union Value Value;
/*
** Tagged Values. This is the basic representation of values in Lua,
** an actual value plus a tag with its type.
*/
#define TValuefields Value value_; int tt_
struct lua_TValue {
TValuefields;
};
typedef struct lua_TValue TValue;
/*
** Common type for all collectable objects
*/
typedef struct GCObject GCObject;
/*
** 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 type has only the common header
*/
struct GCObject {
CommonHeader;
};
下面把TValue结构中相关的宏展开：
typedef struct lua_TValue {
union {
struct GCObject {
GCObject *next;
lu_byte tt;
lu_byte marked;
} *gc;
void *p;
int b;
lua_CFunction f;
lua_Integer i;
lua_Number n;
} value_;
int tt_;
} TValue;
这个结构可以分为两部分：一部分tt_用来标识数据类型，而另一部分value_用来存放相关的数据。联合体gc部分用来存放可gc对象的gc相关的信息：next指针将可gc对象连成链表，tt表示数据类型，marked表示gc处理时的颜色值。从源码时可以看出各种可gc的对象的结构都会包含CommonHeader这个头信息来处理gc相关的信息。
lua中stack相关的信息被表示为TValue的指针，如果：
typedef TValue *StkId; /* index to stack elements */
下面是字符串结构：
/*
** Header for string value; string bytes follow the end of this structure
** (aligned according to 'UTString'; see next).
*/
typedef struct TString {
CommonHeader;
lu_byte extra; /* reserved words for short strings; "has hash" for longs */
lu_byte shrlen; /* length for short strings */
unsigned int hash;
union {
size_t lnglen; /* length for long strings */
struct TString *hnext; /* linked list for hash table */
} u;
} TString;
/*
** Ensures that address after this type is always fully aligned.
*/
typedef union UTString {
L_Umaxalign dummy; /* ensures maximum alignment for strings */
TString tsv;
} UTString;
字符串一旦创建，则不可被改写。lua的值对象若这字符串类型，则以引用方式存在。属于被gc管理的对象。当一个字符串没有任何地方引用就可以回收它。 除了用于gc的CommonHeader外，还有extra shrlen hash和u域。extra对于短字符串来说用于记录这个字符串是否为保留字，这个标识用于词法分析器对保留字的快速判断，对于长字符串存hash值。 hash记录字符串的hash值用来加快字符串的相关操作。shrlen用于记录短字符串的长度。u为联合体其中lnglen记录长字符串的长度，hnext为链表指针。 字符串的实际值并没有分配独立的内在来保存，而是直接加在UTString后面。用下面的宏就可以取到实际的C字符串指针：
/*
** Get the actual string (array of bytes) from a 'TString'.
** (Access to 'extra' ensures that value is really a 'TString'.)
*/
#define getaddrstr(ts) (cast(char *, (ts)) + sizeof(UTString))
#define getstr(ts)
check_exp(sizeof((ts)->extra), cast(const char*, getaddrstr(ts)))
所有的短字符串被存放在全局状态机(global_State)的strt域中，strt的数据类型如下：
typedef struct stringtable {
TString **hash;
int nuse; /* number of elements */
int size;
} stringtable;
相同的短字符串在同一个lua state中存在唯一一份，这样不仅能减小内在而且还提高了比较相关的操作的效率。 长字符串则独立存在，从外部压入一个长字符串时，简单的复制一遍字符串。但不立即计算其hash值，推迟到对字符串作匹配时。
Userdata在lua中并没有特别之处，在储存形式上和字符串相同。可以看成是拥有独立的元表，不被内部化处理，也不需要追加