Bun 百万行代码 9 天由 AI 重写，99.8% 测试通过率背后超万个 unsafe 代码块藏隐患？

AI 重写 Bun 代码引发关注

去年年底，Claude 背后的 Anthropic 收购明星开源项目 Bun，外界认为其看中的是验证 AI 编程能力的试验田。几个月后，Bun 超 100 万行 Rust 代码、6755 次提交，几乎全由 Claude Code 智能体在 9 天内完成，新版本通过 99.8%测试并将 Zig 实现迁移到 Rust，此壮举刷屏 Hacker News，被视为 AI 编程进入新阶段标志。

高通过率背后的安全隐忧

开发者 dreamreal 发文审视该重构实验，众人争论焦点转向如何证明 AI 生成代码值得信任。5 月 14 日，相关 PR 合并进 Bun 主分支。Bun 创建者言论让代码合并成热门讨论，此次重写版本虽通过 99.8%测试，但仅说明新实现与旧实现接口行为一致，不能证明安全等。从基准测试看，新版本性能持平或提升、体积缩小，但 Bun 团队重写理由是“安全性”。

迁移策略导致的问题

重写后代码中分布在 700 多个文件里的 unsafe 代码块超一万个，与体量相当的 Rust 项目 uv 相比差距巨大。这源于 Bun 团队“忠实移植”策略，导致代码未实现内存安全。开发者 Todd Smith 提出可设置约束，但即便如此仍需大量人工审查。

“后续清理”难题

虽有人认为后续可消除 unsafe 代码块，但这是未解决的研究难题。验证 unsafe 代码安全困难，Amazon 曾为此发起项目。Rust 标准库也存在相关 CVE 漏洞，目前学术界方法有限。Todd 建议先编写规范，但需有完整规范文档。

代码审查困境与影响

在 Hacker News 讨论中，人们关注代码审核问题，实际没人完整审查代码。Bun 团队依赖测试套件，但测试未验证迁移核心目标。此次重写未让 Bun 风险变糟，但也未实现“内存安全”承诺，拥有大量 unsafe 代码块的系统将服务数百万用户。

结论与启示

迁移结论并非“AI 不行”或“Rust 不行”，而是要以负责任方式使用工具，吸取评估和验证思维方式。测试通过率不能证明系统安全，如何可靠证明仍是难题。