1.1 应用程序的月亮：三十年寄宿史

1.1 应用程序的月亮：三十年寄宿史

本节摘要：Lua 是 1993 年巴西里约热内卢天主教大学 Tecgraf 实验室为石油设备配置系统造出的嵌入式脚本语言，名字意为"月亮"——卫星不与行星争辉，正如 Lua 不取代宿主程序，只负责让它更灵活。本节梳理它三十年间的版本演化与四处安家的历史，回答一个问题：为什么一门"顺手造出来的小语言"能成为嵌入之王。

从两门失败的语言说起

很多语言的诞生故事始于一位天才的不满，Lua 的故事却始于一次务实的交接。上世纪九十年代初，巴西石油公司在里约热内卢天主教大学资助了一个图形技术实验室 Tecgraf，任务之一是给海上石油平台的监测设备做配置工具。当时团队已经有两门自制的配置语言：SOL（葡萄牙语"太阳"）用来描述静态配置，DEL 用来描述动态行为。

两门语言各管一段，很快暴露出问题：配置和行为本是一体的，硬拆成两套语法，用户要在两份文档之间来回对照，解析器也要维护两份。团队意识到，与其继续打补丁，不如合并成一门既有数据描述能力、又有过程式编程能力的语言。1993 年，Roberto Ierusalimschy、Luiz Henrique de Figueiredo 和 Waldemar Celes 三位研究者交出了答案：Lua，葡萄牙语的"月亮"。

这个命名不是浪漫，是立场声明。SOL 是太阳，Lua 是月亮——卫星自己不发光，它反射太阳的光。官方手册此后三十年反复强调：Lua 是为嵌入应用程序而设计的扩展语言，它不打算拥有自己的主流场，它要成为"应用程序的月亮"。理解了这个定位，后面所有语法设计都不再需要死记：一切都是为了让宿主更省心。

三个约束从一开始就钉死了：

第一，小。石油设备、后来的路由器和固件，内存以 KB 计。Lua 的核心至今保持在一个 ANSI C 源文件集合内，编译后解释器加标准库约两百多 KB，完整参考手册薄到可以打印成一本小册子通读。对比动辄几百 MB 工具链的主流语言，这是它进得了嵌入式大门的门票。

第二，快。脚本要被宿主高频调用——游戏每帧都可能执行脚本逻辑。Lua 用寄存器式虚拟机（5.0 起）换来在当时脚本语言里领先的执行速度；后来 Pall Khukharytskyi 等人做的 LuaJIT 分支更是把即时编译做到极致，让它能扛住游戏物理与网络包处理这类硬实时场景。

第三，好嵌。宿主与脚本的边界必须极薄：宿主用几行 C 代码就能创建一个 Lua 状态、执行一段脚本、取回结果；反过来，宿主也能把自己的 C 函数注册给脚本调用。整个交互协议建立在一座虚拟栈上，两边的内存互不越界——这套礼数我们到第 9 章再细拆。

有一段常被引用的旁证：Lua 团队自己统计过，语言的完整语法用一页文法就能写下。没有宏、没有操作符重载语法、没有继承关键字——不是做不到，是每加一个特性，宿主的嵌入成本、学习成本、与 C 边界的复杂度都会上升。"减法"是 Lua 最主动的设计决策。

三十年版本演化

版本史里最值得记的是三件事。

Lua 5.0（2003）换成寄存器式虚拟机。早期版本是栈式虚拟机，每条指令都要在栈上倒腾；5.0 改为寄存器式，指令更少、分发更省，这一改动让 Lua 在当时的脚本语言性能榜上站稳第一梯队，也为后来 LuaJIT 的爆发铺了路。对宿主的意义很直接：同样的逻辑，脚本占的 CPU 更少，游戏帧率就多一分余量。

Lua 5.1（2006）成为事实标准。此后二十年的大量宿主——魔兽世界的插件体系、很多游戏引擎的脚本层、早期 OpenResty——都停在这一版。原因不是 5.1 多完美，而是它恰好在游戏业大规模采用的时间窗口前定型，成了生态的"公共底座"。后果延续至今：你在现场遇到的 Lua 很可能是 5.1 语法，math.floor 和除法行为、没有整数类型、unpack 而非 table.unpack，这些差异我们到 9.3 节专门盘点。

Lua 5.2 到 5.4 的三次搬家。5.2 用 _ENV 取代了 setfenv 环境机制，全局访问在词法上变成了对一张上值表的索引；5.3 终于引入真正的 64 位整数，并把 #、字符串库的字符语义梳理了一遍；5.4 带来分代垃圾回收、警告机制和更严格的整数除法语义。每次改版都小心翼翼地保持核心小巧，官方对兼容性的态度一贯是"给迁移工具，不给永久包袱"——因为宿主最怕的就是脚本层频繁折腾。

四处安家的编年

语言史之外，更生动的是宿主史。Lua 的 adoption 曲线几乎是一部"软件复杂度史"：每当一个程序的配置需求膨胀到"配置文件已经表达不了，改 C 代码又太重"的临界点，Lua 就会被请进门。

游戏是最早也最深的家。2004 年《魔兽世界》把整个 UI 插件体系交给 Lua，玩家社区的创造力被彻底释放，数以万计的插件反过来教育了一代程序员。其后 Roblox 把 Lua 作为平台唯一创作语言，数百万青少年写的第一行代码就是 Lua；《愤怒的小鸟》用它写关卡逻辑与物理参数；国内从《大话西游》到各类自研引擎，策划表加 Lua 脚本的组合几乎是行业标配。游戏爱 Lua 的理由本章反复出现：改脚本不用重编引擎、热更新可行、掉脚本帧不至于崩掉整个进程。

服务端是第二个家。Redis 在 2.6 版本把 Lua 5.1 嵌进服务进程，EVAL 命令让用户脚本在单线程里原子执行，一口气补上了"多步操作不原子"和"来回网络往返"两个痛点；此后限流、令牌桶、库存扣减的参考实现里到处是 Lua。Nginx 生态这边，OpenResty 把 LuaJIT 嵌进每个 worker 进程，从 URI 改写到鉴权、限流、动态路由都能在请求的十一个处理阶段里挂脚本，扛住了国内外大量网关的每秒几十万请求。

设备端是第三个家。OpenWRT 的 Web 配置界面 LuCI 用 Lua 写成，跑在几十 MB 内存的路由器上；一些厂商的路由器固件直接用 Lua 做事件脚本。工具软件这条支线上，Vim 的现代分支 Neovim 把 Lua 定为第一方配置语言，Wireshark 用它写协议解析器，Adobe Lightroom 早期用它做批量处理脚本。

把四个家摆在一起，能看到 Lua 的占地策略：哪里有"宿主强、变化多、要快、内存紧"的组合，哪里就有它。反过来说，如果你要写一个独立的大型应用（Web 后端、操作系统、编译器），Lua 从来不是主角——它自己也从未申请过这个角色。

关于 LuaJIT：分支与主线

讲 Lua 的历史绕不开 LuaJIT。2005 年前后，Mike Pall 开始重写 Lua 实现：同样的语言（以 5.1 语法为主体），但执行引擎换成跟踪式即时编译——热点代码在运行中被翻译成机器码，配合手写的汇编解释器模板，综合性能逼近 C，部分基准甚至持平。它还附带 FFI（外部函数接口）库，让脚本不写一行 C 胶水就能直接声明并调用动态库里的 C 函数，嵌入成本又砍掉一大截。

LuaJIT 的存在解释了业界的两个"怪现象"。其一，OpenResty 生态长期停在 Lua 5.1 语法：因为 LuaJIT 主线支持的就是 5.1（外加选择性吸收的 5.2 特性），网关场景要的是它的性能，语法版本只能跟着走。其二，很多公司的"Lua 性能经验"其实全部来自 LuaJIT：比如 string.rep 大内存复制会撞上 GC 步进参数、FFI 分配的内存不受 Lua GC 直接管理等，这些经验搬到官方 5.4 上并不完全适用。判断一个现场跑的是什么实现，是做性能诊断的第一步——问宿主版本，也问实现是官方解释器还是 JIT。

主线这边对 JIT 的态度也值得玩味：官方从未合并 LuaJIT，而是持续打磨解释器与 GC（5.4 的分代回收就是成果）。社区因此形成双轨：要极致性能与 FFI 选 LuaJIT，要新语法与官方支持选 5.3/5.4。游戏服务端、网关偏前者；固件、教学、工具偏后者。本书以官方 5.4 为基准讲解，涉及 LuaJIT 差异处会显式标注。

三个常被问起的问题

Lua 算"脚本语言"还是"编程语言"？ 两者并不对立。脚本语言通常指"由宿主程序在运行时解释执行文本"的形态，Lua 的设计目标正是这个形态；但语言能力上它有闭包、协程、元编程，写编译器解释器都够用——Neovim 社区甚至用 Lua 重写了大量原本用 C 写的插件逻辑。准确的说法是：Lua 是一门以嵌入为第一目标的通用动态语言。

为什么不像 Python 那样自带大标准库？ Python 的定位是"独立完成任务"，标准库要覆盖网络、图形、科学计算；Lua 的定位是"帮宿主完成任务"，网络、线程、UI 都由宿主提供，语言只需保证与宿主的边界足够薄。库越小，裁剪越容易，沙箱越可行——设备固件里塞不下一个 requests，但塞得下完整 Lua。

三十年了为什么还没过时？ 因为它解决的问题——"给编译型程序一个安全、快速、可热替换的逻辑层"——不但没消失，反而随系统复杂度上升而更普遍。语言评价里有一条经验：担心小语言的未来，不如担心它所在生态的未来；只要游戏引擎、Redis、Nginx、路由器还在，Lua 的租约就一直续着。

用一分钟验证"小"

空谈无益，动手感受一下。假设你已经装好 Lua，在命令行启动交互解释器，敲进去一段"宿主式"的配置脚本：

-- 一段最朴素的配置式脚本：宿主读它，改它，无需重编译
local cfg = {
    server  = "10.0.0.8",
    port    = 9921,
    retry   = 3,
    backoff = { 1, 2, 4, 8 },
    auth    = { user = "op", token = "9f2a" },
}

if cfg.retry <= 0 then cfg.retry = 1 end

local total = 0
for _, v in ipairs(cfg.backoff) do total = total + v end

print(("server %s:%d retry %d backoff_sum %d")
      :format(cfg.server, cfg.port, cfg.retry, total))
​

在解释器里执行，输出：

server 10.0.0.8:9921 retry 3 backoff_sum 15
​

这段代码浓缩了 Lua 的几个"招牌菜"：表字面量同时当数组（backoff）和记录（auth）用；字符串库直接在字符串值上用冒号调用 format 方法（("...") 括号包字符串的写法 5.1 起就支持）；泛型 for 加 ipairs 遍历数组部分。宿主拿到这样一段脚本后，可以从返回值或全局表里直接取到 cfg——数据与逻辑同处一门语言，这正是当年 SOL 加 DEL 合并时想要的东西。

💡 关键直觉：把 Lua 读作"可编程的配置格式"，嵌入的动机就通了——JSON 表达不了行为，插件系统需要行为，于是配置格式进化成了语言。

它凭什么赢过别的嵌入选项

同期与 Lua 竞争"嵌入式脚本"席位的有 Tcl、Python 嵌入、后来还有 JavaScript 引擎（V8、Duktape、QuickJS）、AngelScript、Squirrel、WASM。三十年下来 Lua 仍是游戏与服务端嵌入的最高频答案，原因可以列成一张表：

竞争者各有短板：Tcl 语法怪异且偏工具链；完整 Python 嵌入体积与初始化成本高，多解释器共存麻烦；V8 系内存占用与复杂度对设备不友好；WASM 至今仍隔着编译这层墙，动态热更新不便。Lua 的胜法不是单项冠军，而是六个维度都过及格线、且相乘的总成本最低——典型的工程胜利。

本节要点回顾

• 定位即设计：Lua 自称"应用程序的月亮"，一切特性服从嵌入需要，小、快、好嵌三约束从 1993 年延续至今；
• 出身是合并：SOL（静态配置）与 DEL（动态行为）合体而来，所以 Lua 天生擅长"数据描述加过程逻辑"一体；
• 5.0 换寄存器虚拟机、5.1 成事实标准、5.3 补整数、5.4 分代 GC，四个节点构成版本骨架，现场遇到的大多问题都能挂到这四个节点上；
• 四处安家：游戏（插件与热更）、服务端（Redis 与 OpenResty）、设备（OpenWRT）、工具（Neovim 等），占地逻辑是"宿主强、变化多、要快、内存紧"；
• 赢法是总成本最低，不是单项最强，体积、启动、交互面、学习面、沙箱、性能六个维度均衡。

下一节我们把这颗月亮请进自己的电脑：装解释器、跑第一段脚本，并把语法骨架一次过完。