实现Lua中数据类型的源码分享
概述
在Lua中有8种基础类型：nil、boolean、number、string、userdata、function、thread和table。可以使用函数type查看某个变量或值的类型，返回相应的类型名称。像其他动态语言一样，在语言中没有类型定义的语法，每个值都携带了它自身的类型信息。下面将通过Lua 5.2.1的源码来看类型的实现。
源码实现
Lua将值表示成带标志的联合结构，代码如下（lobject.h）：
90 /*
91 ** Union of all Lua values
92 */
93 typedef union Value Value;
100 /*
101 ** Tagged Values. This is the basic representation of values in Lua,
102 ** an actual value plus a tag with its type.
103 */
104
105 #define TValuefields Value value_; int tt_
400 struct lua_TValue {
401 TValuefields;
402 };
可以看出结构体有两个成员：
一个是整型的tt_用来表示数据类型，Lua中所有的数据类型定义如下（lua.h）：
78 #define LUA_TNIL 0 79 #define LUA_TBOOLEAN 1 80 #define LUA_TLIGHTUSERDATA 2 81 #define LUA_TNUMBER 3 82 #define LUA_TSTRING 4 83 #define LUA_TTABLE 5 84 #define LUA_TFUNCTION 6 85 #define LUA_TUSERDATA 7 86 #define LUA_TTHREAD 8
可以看到实现了9种数据类型，其中把语法中userdata分为LUA_TLIGHTUSERDATA和LUA_TUSERDATA，其中前一种类型即为轻量级userdata（light userdata），轻量级userdata是一种表示C指针的值，对Lua虚拟机来说，这种数据类型不需要GC（垃圾回收），其指向的内存由用户分配和释放；后一种userdata类型完全userdata（full userdata），内存是由Lua虚拟机分配，并有GC机制负责处理。
结构体lua_TValue另一个数据成员是value_，它是一个联合体，代码如下（lobject.h）：
96 #define numfield lua_Number n; /* numbers */
103 typedef LUA_NUMBER lua_Number;(lua.h)
392 #define LUA_NUMBER double(luaconf.h)
391 union Value {
392 GCObject *gc; /* collectable objects */
393 void *p; /* light userdata */
394 int b; /* booleans */
395 lua_CFunction f; /* light C functions */
396 numfield /* numbers */
397 };
通过注释，可以很容易理解每个成员的含义，但有必要对以下几个成员说明：
numfield：用来表示所有数值，其实质对应的是double类型。包括整型也是用这个来表示。另外在Lua 5.3实现，分开了整型和浮点数的表示。
GCObject *gc：用来指向那些需要垃圾回收的对象，包括string、table、function、完全userdata和thread类型。GCObject用来表示可以垃圾回收的对象，它也是一个联合体，其代码如下（lstate.h）
185 union GCObject {
186 GCheader gch; /* common header */
187 union TString ts;
188 union Udata u;
189 union Closure cl;
190 struct Table h;
191 struct Proto p;
192 struct UpVal uv;
193 struct lua_State th; /* thread */
194 };
其中成员GCheader gch主要用于GC回收机制使用。其他成员比如TString ts才是真正存储值的结构，而这些数据结构也会有GCheader，用于GC管理。
总的来说，Lua中各种数值类型结构如下：
最后，关于Lua的数据类型实现，值得指出使用带标志的结构体来表示Lua的数值类型，使得Lua中任何一种数据类型至少占用的空间是个16字节（结构体还需要对其），就算nil类型，也会占用8个字节的空间，因此拷贝Lua值是比较耗时的。下一篇文章将讨论Lua字符串的实现。
以上所述就是本文的全部内容了，希望大家能够喜欢。
相关文章
这篇文章主要介绍了Lua教程（十九）：C调用Lua,本文讲解了C调用Lua基础知识、table操作、调用Lua函数等内容,需要的朋友可以参考下2015-04-04
这篇文章主要介绍了Lua判断数据类型的方法,本文讲解了判断数据类型的方法和Lua脚本语言的8种基本数据类型,需要的朋友可以参考下2015-04-04
与其他主流脚本语言不同的是，Lua在实现字符串类型有两方面不同。第一，所有的字符串在Lua中都只储存一份拷贝。第二，所有的字符串变量，只保存字符串引用，而不保存它的buffer。我们来具体看看lua源码中如何实现字符串类型的吧2015-04-04
这篇文章主要介绍了在Lua中模块的基本使用方法,是Lua入门学习中的基础知识,需要的朋友可以参考下2015-05-05
这篇文章主要介绍了举例简介Lua中函数的基本用法,--两个横线开始单行的注释,--[[加上两个[和]表示多行的注释--]],需要的朋友可以参考下2015-07-07
今天小编就为大家分享一篇关于Lua中的变量与赋值方法，小编觉得内容挺不错的，现在分享给大家，具有很好的参考价值，需要的朋友一起跟随小编来看看吧2018-12-12
这篇文章主要介绍了Lua实现正序和倒序的文件读取方法,本文讲解使用table生成链表完成正序和倒序的文件读入功能,需要的朋友可以参考下2015-04-04
Lua脚本可以很容易的被C/C++代码调用，也可以反过来调用C/C++的函数，这使得Lua在应用程序中可以被广泛应用。不仅仅作为扩展脚本，也可以作为普通的配置文件，代替XML,Ini等文件格式，并且更容易理解和维护。2014-11-11
这篇文章主要介绍了Lua脚本语言入门笔记,本文讲解了什么是Lua、Lua里的注释、Lua里的变量、Lua里的运算符、Lua里的数据类型、Lua里的代码块、Lua里的关系类型、Lua里的函数、Lua里的类等内容,需要的朋友可以参考下2014-12-12
这篇文章主要介绍了Lua教程（五）：C/C++操作Lua数组和字符串示例,本文同时还讲解了如何在C/C++函数里面存储Lua状态,需要的朋友可以参考下2014-09-09
最新评论