Lua解析1 TValue_lua tvalue-优快云博客

本文链接：https://blog.youkuaiyun.com/bianfuba/article/details/38821281

本文探讨了Lua作为一种动态语言，其变量无类型而值有类型的特性。核心数据结构TValue在值被赋值时会更新类型信息。同时，文章提及GCObject在垃圾回收中的作用，说明了某些类型需要lua的回收机制，GCheader在垃圾回收过程中的关键角色，但GC部分的内容留待后续深入讨论。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

我们知道，lua是动态语言，也就是说lua中的变量没有类型，只有lua中的值才有类型，lua中的值带有自己的类型

首先，我们先看下Lua中最基本数据结构TValuefields：

/*
** 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_

这里的int tt_就是这个value值的类型，value中包含所有种类型的值：

union Value {
  GCObject *gc;    /* collectable objects */
  void *p;         /* light userdata */
  int b;           /* booleans */
  lua_CFunction f; /* light C functions */
  numfield         /* numbers */
};

我们可以看到，int b是布尔类型的， numfiled是表示数字类型， p是light userdata类型

所以当这些值赋值的时候，会修改TValuefields中的类型tt，以及给相应的类型赋值。

那gc是做什么用的呢？ gc主要保存的是lua需要自己回收的一些类型，也就是说，Value中的其他几种变量是不用lua回收机制的。

接下来我们看看GCObject的源码：

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

我们可以看到里面的类型有， string， table, userdata, closure, proto, lua_state

这些类型是要回收的。

我们可以看到还存在一个GCheader gch，它在垃圾回收的时候将会用到，我们可以看看它的结构：

/*
** 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 header in struct form
*/
typedef struct GCheader {
  CommonHeader;
} GCheader;

我们可以看到next 可以看出来垃圾回收机制就是一个链表。 tt就是这个GCObject的类型，而marked就表示是否回收。

GC这部分得以后再说。。。