Lua源码学习笔记-从TValue开始的数据类型

// lobject.h
/*
** basic types
*/
#define LUA_TNONE		(-1)  //表示“无类型”或“未定义类型”。

#define LUA_TNIL		0 //表示nil值
#define LUA_TBOOLEAN		1 //bool值,lua里面0也是真值
#define LUA_TLIGHTUSERDATA	2 //轻量级void*，其内存释放管理由外部传入者负责例如C指针
#define LUA_TNUMBER		3 //数字类型
#define LUA_TSTRING		4 //字符串类型
#define LUA_TTABLE		5 //表类型
#define LUA_TFUNCTION		6 //函数类型
#define LUA_TUSERDATA		7 //void*，内存由luaGC管理，有自己的元表
#define LUA_TTHREAD		8  //协程类型

#define LUA_NUMTYPES		9  //定义基本类型总数

// lobject.h
/*
** Union of all Lua values
*/
typedef union Value {
  struct GCObject *gc;    /* 指向可垃圾回收对象，如 TString, Table 等 */
  /*下面都是不可回收数据类型*/
  void *p;                /* 指向轻量级用户数据 */
  lua_CFunction f;        /* 指向 C 函数 */
  lua_Integer i;          /* 整数类型 */
  lua_Number n;           /* 浮点数类型 */
  lu_byte ub;             /* 未使用，避免警告 */
} Value;

/*
** Tagged Value：一个 Lua 值 = 一个值(value_) + 一个类型标记(tt_)
*/

/*
** TValue 的类型标记（tt_）是一个 8-bit 数字
** bits 0-3: 表示 实际的类型值（type tag）
** bits 4-5: 表示 变体（variant bits）
** bit 6: 表示该值是否为 可垃圾回收对象
*/

#define TValuefields	Value value_; lu_byte tt_
typedef struct TValue {
  TValuefields;
} TValue;

/*
** 所有可垃圾回收对象的公共头部（用宏定义，会被包含进具体对象中）
** next 指针 指向下一个GC对象
** tt GC对象的实际类型(比如上面6中GC对象)
** marked 标识GC的状态
*/
#define CommonHeader	struct GCObject *next; lu_byte tt; lu_byte marked

/*
** 所有可垃圾回收对象的基类（结构体）
*/
typedef struct GCObject {
  CommonHeader;  
} GCObject;

/*
** Header for a string value.
*/
typedef struct TString {
  CommonHeader;   //示例对象，包含了CommandHeader这个结构体对象
  lu_byte extra;  /* 用于短字符串的保留字段；对长字符串可能表示 "has hash" */
  lu_byte shrlen;  /* 短字符串的长度，如果是长字符串则为 0xFF */
  unsigned int hash;
  union {
    size_t lnglen;  /* 长字符串的长度 */
    struct TString *hnext;  /* 哈希冲突时，链表指针 */
  } u;
  char contents[1];  /* 字符串内容（柔性数组，实际字符串紧接其后） */
} TString;