Bun 从 Zig 到 Rust：AI 辅助大规模代码重写的技术实践
2026年7月8日，JavaScript运行时Bun的创始人Jarred Sumner发布了一篇注定载入软件工程史册的博文。他宣布：在Claude Fable 5模型的帮助下，仅用11天、64个并行Claude实例、16.5万美元的API费用，将整个Bun运行时从Zig语言完全重写为Rust，生成超过100万行Rust代码。这不是一次普通的语言迁移，而是一次关于"AI能否替代人类完成大规模系统级重构"的终极实验。
一、Bun的技术背景
Bun是一个全能型JavaScript/TypeScript运行时，由Jarred Sumner于2023年推出。它不仅仅是一个运行时，更是一个完整的工具包——集运行时、包管理器、打包器、测试运行器于一体。
与Node.js使用V8引擎不同，Bun选择了苹果的JavaScriptCore（JSC）作为JavaScript引擎。这个选择背后有深刻的技术考量：JSC的启动速度更快（V8需要编译和优化JIT代码，而JSC的字节码执行路径更短），内存占用更低，且与WebKit血统保证了Web标准的兼容性。
Bun的核心卖点是速度：
| 启动HTTP服务器 | ~85ms | ~12ms | 7x |
| npm install | ~29s | ~1s | 29x |
| JavaScript测试 | ~13s | ~1s | 13x |
| 打包(10K组件) | ~5.6s | ~3.2s | 1.75x |
二、为什么最初选择Zig
Zig是一种系统级编程语言，由Andrew Kelley创建。Bun最初选择Zig的原因可以归纳为以下三点：
1. 零成本的C互操作
Bun需要与JavaScriptCore的C API深度交互。Zig的@cImport和@cInclude指令可以直接导入C头文件，在编译时自动翻译为Zig类型，无需手写绑定代码。这使得Bun能够以极小的开销调用JSC的内部API。
// Zig中直接使用C API
const c = @cImport({
@cInclude("JavaScriptCore/JavaScript.h");
});
pub fn evaluateScript(ctx: c.JSContextRef, script: [*:0]const u8) c.JSValueRef {
const jsString = c.JSStringCreateWithUTF8CString(script);
defer c.JSStringRelease(jsString);
return c.JSEvaluateScript(ctx, jsString, null, null, 0, null);
}
2. 编译时元编程
Zig的comptime关键字允许在编译时执行任意代码，这为Bun的代码生成和优化提供了强大的灵活性。例如，Bun的HTTP解析器就是在编译时根据HTTP规范自动生成的。
3. 无隐式内存分配
Zig没有隐式的内存分配器——所有内存分配都是显式的，通过传入Allocator参数完成。这给了Bun开发者对内存使用的精确控制，有利于实现高性能的运行时。
三、Zig的局限性
尽管Zig在Bun的早期开发中发挥了重要作用，但随着项目规模的增长（超过50万行代码），几个根本性的局限性逐渐暴露：
1. 生态系统不成熟
Zig的语言本身仍在快速演进（到2026年仍处于0.x阶段），语言特性的不稳定性导致频繁的破坏性变更。每次升级Zig编译器，Bun团队都需要花费大量时间修复兼容性问题。
2. 编译器和工具链支持不足
Zig的IDE支持（代码补全、跳转定义、错误提示）远不如Rust成熟。对于大型项目，这意味着开发者的大量时间花在了"理解代码"而非"编写代码"上。
3. 社区和人才池有限
Zig的开发者社区规模远小于Rust。招聘熟悉Zig的工程师极其困难，而Rust开发者则相对充足。
4. 安全性保障不如Rust
Zig虽然避免了C/C++的许多陷阱，但它不提供Rust级别的内存安全保证。在系统级运行时这种对安全性要求极高的场景中，Rust的借用检查器是一种不可替代的资产。
四、AI辅助重写的技术方案
这次重写是人类历史上最大规模的AI辅助代码迁移项目。其技术方案的核心要素包括：
4.1 并行Agent架构
整个迁移过程使用了64个Claude Code实例并行运行。每个实例负责一个独立的模块或子系统，实例之间通过共享的进度追踪系统协调。
┌─────────────────┐
│ 任务调度器 │
│ (Task Router) │
└───────┬─────────┘
│
┌───────────────┼───────────────┐
│ │ │
┌──────▼──────┐ ┌──────▼──────┐ ┌──────▼──────┐
│ Agent 1 │ │ Agent 2 │ │ Agent N │
│ HTTP模块 │ │ 文件系统 │ │ 打包器 │
└─────────────┘ └─────────────┘ └─────────────┘
│ │ │
┌──────▼──────┐ ┌──────▼──────┐ ┌──────▼──────┐
│ Zig源码 │ │ Zig源码 │ │ Zig源码 │
│ ──► Rust │ │ ──► Rust │ │ ──► Rust │
└─────────────┘ └─────────────┘ └─────────────┘
│ │ │
└───────────────┼───────────────┘
│
┌──────▼──────┐
│ CI验证 │
│ 测试套件 │
└─────────────┘
4.2 迁移策略
迁移不是简单的"逐行翻译"，而是遵循一个精心设计的策略：
阶段一：类型映射
首先建立Zig类型到Rust类型的映射表。这是整个迁移的基础：
| []const u8 | &[u8] | 生命周期标注 |
| []u8 | &mut [u8] | 可变引用 |
| *T | *const T / *mut T | 原始指针，unsafe块 |
| ?*T | Option<NonNull<T>> | 可选指针 |
| error{…} | Result<T, E> | 错误处理 |
| fn(…) T | fn(…) -> T | 函数指针 |
| @intToPtr | ptr::from_exposed_addr | 整数转指针 |
阶段二：语义等价转换
这是最复杂的一步。Zig和Rust在语义模型上有根本差异，不能简单地进行语法替换。关键挑战包括：
内存管理模型转换：Zig使用显式Allocator，Rust使用所有权+借用。需要通过生命周期的精确标注来保证等价性。
错误处理转换：Zig使用错误联合类型（error{OutOfMemory}!T），Rust使用Result<T, E>。转换需要保持错误传播路径的完整性。
comptime到宏的转换：Zig的编译时元编程需要转换为Rust的宏系统或构建脚本。
阶段三：测试驱动的验证
每迁移完一个模块，立即运行对应的测试套件。Bun的测试套件包含超过10,000个测试用例，覆盖了从基本的HTTP请求处理到复杂的模块解析逻辑。
4.3 人类监督的时机
AI并不是完全自主完成迁移的。Jarred Sumner在博客中详细描述了人类介入的关键节点：
五、迁移成果
这次迁移的最终成果令人瞩目：
| 代码行数 | 50万+ | 100万+ | 更多注释和文档 |
| 二进制大小 | 92MB | 84MB | -8.7% |
| HTTP吞吐量 | 485K req/s | 502K req/s | +3.5% |
| 内存泄漏 | 3个已知 | 0个 | 完全修复 |
| flaky测试 | 12个 | 0个 | 全部修复 |
| 构建时间 | 4.2分钟 | 3.1分钟 | -26% |
最令人惊讶的是：内存泄漏和flaky测试的修复完全是由AI在迁移过程中自动完成的。Claude Fable 5在分析Zig代码时，识别出了潜在的内存管理问题，并在生成Rust代码时自动应用了正确的所有权模式。
六、对软件工程的启示
Bun的Zig-to-Rust迁移给整个软件工程领域带来了深远启示：
1. AI辅助大规模重构成为现实
过去，将50万行系统级代码从一种语言迁移到另一种语言被视为"不可想象的任务"，需要数十名工程师花费数年时间。而现在，AI+人类的协作模式将这个时间压缩到了11天。
2. 内存安全的价值被重新验证
从Zig迁移到Rust后，Bun修复了多个长期存在的内存泄漏问题。这再次证明了Rust的所有权系统在系统级软件中的不可替代价值。
3. "AI写代码，人类做决策"的新范式
这次迁移中最有价值的部分不是AI写了多少代码，而是人类如何设计这个协作流程。将大规模任务分解为AI可独立完成的子任务，并建立有效的验证机制——这可能是未来软件工程的核心能力。
4. 工具链的"Rust化"趋势加速
Bun的迁移是前端/JavaScript工具链Rust化浪潮的最新例证。继SWC、Turbopack、Rspack之后，Bun也加入了Rust阵营。JavaScript生态的底层基础设施正在系统性地从JavaScript/TypeScript转向Rust。
七、总结
Bun的Zig-to-Rust迁移是一个划时代的工程实践。它同时展示了两个前沿趋势的交汇：AI辅助编程的实质性突破，以及Rust在系统级软件中的主流化。对于每一位软件工程师来说，这个案例既是一个技术标杆，也是一个职业发展的路标——理解AI如何改变软件开发的方式，以及为什么Rust正在成为基础设施层的首选语言，将是未来几年最重要的技术认知之一。
