lua存储数据

1. LuaJIT源码分析（二）数据类型

LuaJIT，作为Lua的高性能版本，其源码分析中关于数据类型处理的细节颇值得研究。它在数据结构的定义上与Lua 5.1稍有不同，通过通用的数据结构TValue来表示各种Lua数据类型，但其复杂性体现在了内含的若干宏上，增加了理解的难度。这些宏如LJ_ALIGN、LJ_GC64、LJ_ENDIAN_LOHI、LJ_FR2等，分别用于内存对齐、GC64模式的选择、大小端判断以及浮点数编码格式的选择。

LJ_ALIGN宏用于确保struct内存对齐，以提高内存访问效率。LJ_GC64宏在当前平台为64位且无强制禁用的情况下生效，表明LuaJIT支持64位GC（垃圾回收）模式。LJ_ENDIAN_LOHI宏则根据平台的字节顺序来确定结构的布局，而x64平台采用小端序。

对于TValue结构的定义，通过处理宏后可以简化为一个64位的结构体，包含一个union，用于统一表示Lua的各种数据类型。这种设计利用了NaN Boxing技术，即通过在浮点数编码中预留空间来实现不同类型数据的紧凑存储。每个类型通过4位的itype指针来标识，使得数据的解析与存储变得高效。

对于number数据类型，其值被存储在一个double中，而其他类型如nil、true、false等则利用剩余的空间来标识其类型。这种设计允许LuaJIT在内存中以一种紧凑且高效的方式存储各种数据类型，同时通过简单的位操作就能识别出具体的数据类型。

对于GC对象（如string、table等），LuaJIT通过特定的itype值来区分它们与普通数据类型，以及与值类型（如nil和bool）和轻量级用户数据的差异。通过宏判断，LuaJIT能够快速识别出TValue是否为GC对象，以及具体是哪种类型的GC对象。

在开启LJ_GC64模式下，GC对象的地址被存储在TValue的特定字段gcr中，提供64位的地址支持。虽然前13位用于标识数据类型，但实际使用时仅利用了低47位的地址空间，对于大多数实际应用而言，这部分内存已经绰绰有余。

在GCobj数据结构中，通过union的特性实现不同类型对象的共通性与特定性。GChead提供了通用的接口来获取对象的通用信息，而nextgc、marked等字段用于实现垃圾回收机制。通过gct字段，LuaJIT能够将一个GCObj转换为实际的类型对象，进一步增强了内存管理的灵活性。

对于整数类型，默认情况下LuaJIT使用double进行存储以确保精度，但在实际应用中，频繁使用的整数通过宏LJ_DUALNUM启用，以int类型存储，提高了数据处理的效率。此时，TValue的i字段用于保存int值，同时通过位移操作确保了数据的正确存储与解析。