Janet：面向宿主应用的嵌入式脚本方案与 Lua 替代实践

在嵌入式脚本语言领域，Lua 长期占据主导地位。然而，随着应用场景对表达能力、解析能力和编译期元编程需求的提升，开发者开始寻找替代方案。Janet 作为一种轻量级的类 Lisp 语言，以其精简的运行时、强大的 PEG 解析能力和优雅的 FFI 设计，成为值得关注的 Lua 替代选项。

核心设计：小运行时与语义清晰

Janet 的设计哲学强调 "足够小，足够用"。其核心语言仅包含八条指令：do、def、var、set、if、while、break、fn。这种极简主义带来的直接好处是运行时体积可控 —— 在 aarch64 macOS 平台上，包含完整运行时、垃圾回收器和字节码编译器的静态链接可执行文件约为 784KB。对于需要嵌入脚本能力但又对二进制体积敏感的应用场景，这一指标具有工程价值。

与 Lua 的表（table）一统天下不同，Janet 在集合类型上做了更细致的区分。不可变集合（如 [1 2 3]）采用值语义，两个内容相同的向量在比较时视为相等；可变集合（如 @{:x 1}）采用引用语义，只有同一对象才视为相等。这种设计避免了 Lua 中常见的深浅拷贝陷阱，同时通过 @ 前缀（如 @"mutable string"）在语法层面提供了可变性标识。

PEG 解析：超越正则的文本处理能力

Janet 内置对解析表达式语法（Parsing Expression Grammar, PEG）的原生支持，这是其与 Lua 形成差异化竞争力的关键特性。与正则表达式相比，PEG 具有确定性的匹配语义 —— 不存在回溯导致的指数级复杂度爆炸，也不存在贪婪 / 非贪婪匹配的歧义。

更重要的是，PEG 能够处理非正则语言。这意味着 Janet 可以原生解析 HTML、JSON 等嵌套结构，甚至能够处理包含任意空字节的二进制格式。对于游戏开发中的资源解析、配置文件处理、网络协议实现等场景，这一能力可以显著降低对外部依赖的需求。

FFI 与嵌入：C API 的工程实践

Janet 的嵌入接口设计遵循 "最小暴露面" 原则。作为宿主应用，嵌入 Janet 需要完成以下步骤：

1. 初始化运行时

janet_init();
JanetTable *env = janet_core_env(NULL);

2. 注册 C 函数到 Janet 环境

通过 janet_cfuns 机制，宿主可以将 C 函数暴露给 Janet 脚本。函数签名遵循 Janet cfun_name(int32_t argc, Janet *argv) 的约定，使用 janet_fixarity(argc, N) 进行参数校验：

static Janet cfun_add(int32_t argc, Janet *argv) {
    janet_fixarity(argc, 2);
    double a = janet_unwrap_number(argv[0]);
    double b = janet_unwrap_number(argv[1]);
    return janet_wrap_number(a + b);
}

static const JanetReg cfuns[] = {
    {"add", cfun_add, "(add a b) -> number"},
    {NULL, NULL, NULL}
};

JANET_MODULE_ENTRY(JanetTable *env) {
    janet_cfuns(cfuns, env);
    return janet_wrap_nil();
}

3. 从 C 调用 Janet 函数

双向调用通过 janet_call 实现。宿主获取 Janet 函数对象后，可以传递参数数组并获取返回值：

Janet result = janet_call(janet_function, argc, argv);

4. 执行脚本与资源管理

JanetFiber *fiber = janet_fiber(janet_getter, 64, 0, NULL);
Janet result;
JanetSignal sig = janet_continue(fiber, janet_wrap_nil(), &result);

与 Lua 的栈式 API 相比，Janet 的 C API 更加直接。Lua 需要通过 lua_State 栈进行所有数据交换，而 Janet 使用 Janet 联合体直接传递值，减少了状态管理的复杂度。

编译期能力：值序列化与元编程

Janet 的一个独特优势是编译期值序列化能力。在编译阶段，Janet 会执行所有顶层表达式，然后将程序状态的完整快照写入输出文件。这意味着开发者可以在编译期完成资源嵌入、代码生成、数据库绑定生成等操作。

例如，可以通过读取 SQL 模式文件在编译期自动生成数据库访问代码，或者将静态资源（图片、配置）直接嵌入最终二进制。这种 "编译期计算" 模式在需要优化启动时间或实现自包含部署的场景中具有实用价值。

宏系统作为编译期能力的延伸，允许开发者操作抽象语法树生成代码。虽然 Janet 的宏不是卫生宏（hygienic），但通过允许解引用字面函数，可以实现完全引用透明的宏定义。

与 Lua 的权衡对比

选择 Janet 替代 Lua 需要权衡以下因素：

对于已经熟悉 Lisp 语法的团队，或者项目需要强大的文本 / 二进制解析能力、编译期代码生成能力时，Janet 是合理的替代选择。但对于追求最小运行时体积、依赖大量现有 Lua 生态库的项目，Lua 仍是更稳妥的方案。

可落地的嵌入参数清单

在实际项目中嵌入 Janet 时，建议关注以下参数和决策点：

• 运行时内存预算： Janet 垃圾回收器可配置，建议根据脚本复杂度设置初始堆大小（默认通常足够）
• C 函数暴露粒度： 建议按模块组织 JanetReg 数组，避免单个模块注册过多函数
• 错误处理策略： 使用 janet_pcall 替代 janet_call 以捕获 Janet 异常，防止宿主程序崩溃
• 脚本热重载： 利用 Janet 的字节码编译能力，可在运行时重新加载脚本而无需重启宿主
• 调试支持： Janet 提供 debug 模块和 janet_debug 函数，建议嵌入时保留符号信息以便问题排查

结语

Janet 并非要取代 Lua，而是为嵌入式脚本场景提供了另一种设计选择。其 Lisp 语法、PEG 解析能力、编译期元编程和简洁的 C API，使其在特定领域具有独特优势。对于寻求 Lua 替代方案的开发者，Janet 值得在原型阶段进行评估，特别是在需要复杂解析逻辑或编译期优化的项目中。

参考来源

• Why Janet? - Janet 语言特性全面介绍
• Janet for Mortals: Embedding Janet - 嵌入实践指南与 C API 详解

compilers