深入理解lua源码：值表示与lua_state剖析

"《lua源码剖析》是一本深入研究lua编程语言内部机制的书籍，由simohayha在JavaEye社区分享。该书共分为三个部分：lua源码剖析(一)，lua源码剖析(二)，以及lua源码剖析(三)，通过剖析lua的核心数据结构和内存管理来理解lua的工作原理。 在lua中，TValue是核心的数据类型，用于表示值。它由两部分组成：字段Value和整数tt，tt指示值的类型，如对象、整数、浮点数或布尔值。Value则是一个联合体，包含三种可能的存储形式：GCObject类型的指针（用于垃圾回收的对象，如字符串和表）；void*类型的指针，用于lightuserdata，它们不参与垃圾回收；lua_Number表示双精度数值，intb则代表整型。原作者指出，虽然这样的设计可能会导致一些空间浪费，但由于标准限制，必须遵循C99规范，这影响了灵活性。 lua_state是lua虚拟机的主要表示，它是per-thread（线程相关的）的，每个lua交互的C模块对应一个lua_state，反映了lua支持多线程和协程的特性。lua_state中的两个关键域是top和base，top表示栈顶的第一个空闲位置，而base则是当前函数调用的栈底，相当于栈的起始位置。 此外，书中还提到了指针对齐的问题，虽然lua没有直接利用指针的低几位存储类型以节省空间，但这主要是出于与C语言模块交互的兼容性考虑，确保所有参与交互的代码都能遵循一致的内存模型。《lua源码剖析》深入剖析了lua的内部实现，对于理解和优化lua性能，或者进行lua扩展开发具有很高的参考价值。"