Lua是一种动态类型的脚本语言,意味着变量没有类型,类型信息包含在值中。目前lua支持八种基本类型:nil,boolean,number,string,table,function,userdata,thread。所有的值都是第一类值,都是可以存储在变量中或者作为函数参数传递,以及作为函数返回值。
-
- /*
- ** basic types
- */
- #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_NUMTYPES 9
源码中实际定义了九种类型,其中 LUA_TLIGHTUSERDATA 与 LUA_TUSERDATA统称为userdata,lightuserdata被认为是一种特殊的userdata,它仅表示一个c的指针,类似数字:你不用创建它,它没有原表,也不需要被gc。Lua如何实现变量可以存储任意类型呢?源码中用一个大的联合体来实现。
-
-
- /*
- ** Union of all Lua values
- */
- typedef union Value {
- struct GCObject *gc; /* collectable objects */
- void *p; /* light userdata */
- lua_CFunction f; /* light C functions */
- lua_Integer i; /* integer numbers */
- lua_Number n; /* float numbers */
- } 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_; lu_byte tt_
-
- typedef struct TValue {
- TValuefields;
- } TValue;
Value中包含各种实际类型需要用到的变量,其中GCobject用于存储需要被gc类型的地址,目前string, userdata, table, function, thread是需要gc的类型,其他几个字段分别用于存储lightuserdata指针,c导出的函数地址,整数,浮点数。TValue包含Value和一个字节的类型信息,是Lua内部存储变量的基础结构。下面我们详细分析一下每种类型的实现。
只有一个值nil,与其他类型均不相同。通常用于区分一个值是否是有效值。
类型 boolean 有两个值,false 和 true。 nil 和 false 都使条件为假;它们统称为假值。任何其他值都会使条件为真。boolean在内部实现上,直接给LUA_TBOOLEAN定义了两个扩展类型:LUA_VFALSE和LUA_VTRUE。
- /*
- ** tags for Tagged Values have the following use of bits:
- ** bits 0-3: actual tag (a LUA_T* constant)
- ** bits 4-5: variant bits
- ** bit 6: whether value is collectable
- */
-
- /* add variant bits to a type */
- #define makevariant(t,v) ((t) | ((v) << 4))
-
- #define LUA_VFALSE makevariant(LUA_TBOOLEAN, 0)
- #define LUA_VTRUE makevariant(LUA_TBOOLEAN, 1)
类型的0到3位用于表示基本类型,4到5位被扩展用于表示其他附加信息。
类型 number 表示整数和实数(浮点数),包含两个子类型:整数和浮点数。标准 Lua 使用 64 位整数和双精度(64 位)浮点数,也可以修改宏定义重新编译 Lua,使其使用 32 位整数和/或单精度(32 位)浮点数。整数和浮点数均为 32 位的选项对于小型机器和嵌入式系统特别有吸引力。 (参见文件 luaconf.h 中的宏 LUA_32BITS。)
- /* Variant tags for numbers */
- #define LUA_VNUMINT makevariant(LUA_TNUMBER, 0) /* integer numbers */
- #define LUA_VNUMFLT makevariant(LUA_TNUMBER, 1) /* float numbers */
-
- #define ttisnumber(o) checktype((o), LUA_TNUMBER)
- #define ttisfloat(o) checktag((o), LUA_VNUMFLT)
- #define ttisinteger(o) checktag((o), LUA_VNUMINT)
源码中定义了LUA_TNUMBER两个子类型LUA_VNUMFLT和LUA_VNUMINT分别表示浮点数和整数。实际上内部将整数和浮点数已经按子类型区分开了。
-
- /*
- ** Header for a string value.
- */
- 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;
- char contents[1];
- } TString;
-
-
上面是字符串的底层结构,CommonHeader就是支持gc的相关成员。lua中将字符串按长度是否大于LUAI_MAXSHORTLEN(40)分成两种类型LUA_VLNGSTR和LUA_VSHRSTR。extra默认为0,为1表示已经对长字符串hash过,hash字段可以直接使用。如果是短字符串,shrlen表示其长度;如果是长字符串,lnglen表示长字符串的长度。对于短字符串是存放在内部hash表中,hnext指向hash表同一hash桶的下一个短字符串。contents长度为1的数组,用于在字符串末尾添加0,后续分配字符串空间的时候只需要分配TSting和字符串长度即可使用。为了重用短字符串,在global_State中使用hash表strt字段存放。hash表类型stringtable
定义如下:
- typedef struct stringtable {
- TString **hash;
- int nuse; /* number of elements */
- int size;
- } stringtable;
其中hash字段就是hash表的桶数组,每个桶是代表这个hash值的TString的链表的头结点。
再回头梳理下字符串的创建过程,可以发现还有一个strcache的过程:
- /*
- ** Create or reuse a zero-terminated string, first checking in the
- ** cache (using the string address as a key). The cache can contain
- ** only zero-terminated strings, so it is safe to use 'strcmp' to
- ** check hits.
- */
- TString *luaS_new (lua_State *L, const char *str) {
- unsigned int i = point2uint(str) % STRCACHE_N; /* hash */
- int j;
- TString **p = G(L)->strcache[i];
- for (j = 0; j < STRCACHE_M; j++) {
- if (strcmp(str, getstr(p[j])) == 0) /* hit? */
- return p[j]; /* that is it */
- }
- /* normal route */
- for (j = STRCACHE_M - 1; j > 0; j--)
- p[j] = p[j - 1]; /* move out last element */
- /* new element is first in the list */
- p[0] = luaS_newlstr(L, str, strlen(str));
- return p[0];
- }
stcache是在globalstate中定义的一个二维数组:TString *strcache[STRCACHE_N][STRCACHE_M];
这个缓存是按照字符串指针地址取模来定位的。无论是长短字符串,如果是经常使用的情况下,会在缓存中快速找到能复用的字符串,提高程序性能。