21CTO导读: 当开发范式从“人类手写代码”转向“AI 生成 + 自动 Review + 人类架构审批”,编程语言的选型标准也发生改变。除了性能和生态,一个新的核心指标正在决定成败:AI 到底能不能高效、准确地写好一门语言?
过去的十几年中,我们在评估一门编程语言时,逻辑是非常朴素的:
团队里的程序员熟悉哪门语言?
生态里的第三方库(Packages)够不够丰富?
运行性能和吞吐量能否支撑好业务?
但是,随着 Claude Code、Cursor、GitHub Copilot 等 AI 工具逐步接管写代码的过程,软件工程进入了全新的分工模式:
💡 AI 时代的软件工程新分工:
人类(架构师/工程师): 负责需求定义、系统架构设计、边界条件把控与最终代码审批。
AI Agent(代码代理): 负责具体代码编写、自我测试、Code Review 与 Bug 自动修复。
在这一范式下,评估一门语言的标准增加了一个致命指标:AI 编写该语言时的准确率、迭代反馈时延,以及 Token 消耗成本。
在此背景下,我们对 Go、Rust 以及底层“新星” Zig 进行了一次深度横评。结论出乎意料——在 AI 驱动的开发中,Go 展现出了令人惊叹的压倒性优势。
在探讨 AI 之前,我们先看这三门语言在运行速度与底层特性上的硬实力:
| 评估维度 | Rust | Zig | Go | 核心结论与工程视角 |
| 执行性能 | ◎ 极高(媲美 C/C++) | ◎ 极高(媲美 C/C++) | △ 稍逊(CPU 密集型慢 1.5~4 倍) | Rust/Zig 适合 CPU 密集与极致性能场景 |
| 内存开销 | ◎ 无 GC(零成本抽象) | ◎ 无 GC(显式分配器) | △ 有 GC(垃圾回收开销) | Go 存在额外内存开销,但对现代服务器非瓶颈 |
| 延迟稳定性 | ◎ 零 GC 干扰 | ◎ 零 GC 干扰 | ○ 优秀(STW 暂停小于 100μs) | Go 的 GC 已极度优化,Web 场景完全够用 |
| 编译速度 | △ 较慢(借用检查开销) | ○ 中等 | ◎ 极快 | Go 的秒级编译奠定了 AI 时代的绝对优势 |
极致性能与低延迟(Rust / Zig): 如果你的场景是高频交易、游戏引擎、内核模块或操作系统,没有 GC 干扰的 Rust 和 Zig 是毋庸置疑的选择。
业务与微服务(Go): 近年来 Go 的垃圾回收器(GC)优化极其出色,Stop-The-World(STW)暂停已稳定在微秒级。对于 95% 的 Web API、微服务和 CLI 工具,Go 的运行性能完全过剩。
进入 AI 驱动的开发模式后,语言自身的语法结构与设计哲学,直接决定了 AI Agent 的协同效率。
为什么 AI 偏爱用 Go 写?
AI 痛点对比: AI 在写 Python 或 Node.js 时,经常产生“调用了不存在的第三方库”的幻觉;而在写 Go 时,基本全在标准库范畴内打转,生成准确率极高。
AI Agent 在写完代码后,需要通过编译和静态检查来确保正确性。Go 拥有秒级的编译速度,结合 go vet 和 golangci-lint:
Go 的闭环: AI 编写 ➔ 1 秒编译 ➔ 捕捉错误 ➔ 2 秒修正。全过程仅需几秒。
开发成本: 耗时短,Token 消耗少,开发者的等待焦虑感低。
Go 代码没有繁复的黑魔法(如复杂的宏、重载或高级泛型类型推演),读 Go 代码就像读平铺直叙的文字。AI 在进行自我 Review 或协助人类 Review 时,判断极其稳定精准。
Rust 在 AI 时代展现出了强烈的双重属性:
“只要 Rust 代码能编译通过,它在内存安全上就基本不会出大问题。” 这种强类型与所有权约束,让团队敢于直接把 AI 生成的 Rust 代码接入 CI/CD。
当遭遇复杂的生命周期(Lifetime)、Pinning、异步(Async/Await)以及所有权转移时,目前的 AI 经常会吃瘪:
AI 的盲目修补: 当 Rust 编译器报错时,AI 往往无法做出结构性的重构,而是试图通过“不断插入 .clone()”或者“无脑使用 unsafe 块”来强行绕过编译。
编译等待时间沉重: Rust 大型项目的编译相对漫长。AI Agent 每修一次 Bug 就要等待几十秒甚至几分钟,直接拉长了交互周期,消耗大量的 API 调用成本。
Zig 作为 C 语言的现代替代者,在工程设计(如显式分配器、comptime 编译期计算)上非常惊艳,但在 AI 辅助开发方面尚处于明显劣势:
训练语料严重匮乏: GitHub 与 Stack Overflow 上 Zig 的高质量代码库数量量级远低于 Go 和 Rust,大模型缺乏足够的“营养”,极其容易生成语法错漏的代码。
规范演进太快: Zig 仍处于快速迭代期,版本间的破坏性变更(Breaking Changes)频繁,导致 AI 训练集里的历史知识极易过时。
高级特性难以拟合: Zig 的显式内存分配(Pass-an-allocator)和 comptime 属于极强的工程抽象,AI 目前很难稳定生成逻辑无瑕疵的复杂 Zig 代码。
基于“人类架构 + AI 执行”的新工程范式,我们梳理了如下选型建议:
总结三门语言在当下 AI 驱动时代下的定位:
纯粹运行性能:Rust > Zig > Go
AI 驱动生产力:Go > Rust > Zig
就当下的技术节点而言,Go 凭借极其高效的 AI 反馈闭环与标准化的代码风格,成为了绝大多数团队拥抱 AI 编程的最理性选择。
但这并非终局。
随着大模型上下文推理能力的跃升,以及 Rust 社区开源代码语料的爆发式增长,具备“编译器安全网”的 Rust 拥有极大的潜力。在未来 1~2 年内,随着 AI 逐步攻克“生命周期推演”这一难题,Rust 的 AI 生产力有望迎来二次爆发。
💡 随着人工智能模型的演进,这一评估结果一定会发生变化。特别是Rust,其训练数据正迅速增长,而且编译器的安全保障还能有效防止人工智能生成的代码出现错误,因此有必要在一年内重新评估。
作者:洛逸
本篇文章为 @ 万能的大雄 创作并授权 21CTO 发布,未经许可,请勿转载。
内容授权事宜请您联系 webmaster@21cto.com或关注 21CTO 微信公众号。
该文观点仅代表作者本人,21CTO 平台仅提供信息存储空间服务。
请扫描二维码,使用微信支付哦。