标签 Rust 下的文章

停止“氛围编程”(Vibe Coding),拥抱新一代软件工程

本文永久链接 – https://tonybai.com/2026/02/28/agentic-software-engineering

大家好,我是Tony Bai。

欢迎来到微专栏 《AI 智能体时代的软件工程》的第一讲,也是开篇词。

想象一下,你刚刚招募了一位极度聪明的初级程序员。

他有着令人“毛骨悚然”的执行力:当你去泡杯咖啡的功夫,他已经噼里啪啦写完了 1000 行代码,不仅编译通过,测试也全绿,看起来极其专业。

但很快,你发现了令人窒息的另一面:

  • 他没有任何架构直觉,完全不顾及系统未来的可维护性;
  • 他极其盲目自信,会在没有彻底理解业务意图时就大刀阔斧地重构核心逻辑;
  • 最要命的是,他有着严重的“失忆症”——今天你刚纠正过他的代码规范,明天一早,他又会带着饱满的热情,把你昨天的纠正忘得一干二净,并再次犯下完全相同的错误。

请问,你会敢让这样一位员工不受限制地直接把代码推上生产环境吗?

绝对不敢。你会为他安排极其严格的代码审查,设定明确的边界,要求他每做一步都提供详尽的证据。

然而,这正是当前整个行业在面对 AI 智能体(AI Agents)时,正在犯下的致命错误。

过去这两年,从 GitHub Copilot 到 Cursor,再到各种强大的命令行编码智能体(比如Claude Code、Codex等),整个开发生态陷入了一场名为“氛围编程”(Vibe Coding)的狂欢。开发者们发现,只要用自然语言“连哄带骗”地去引导 AI,凭着感觉不断点击“重新生成”,总能碰巧凑出一个看起来能跑的程序。

对于写个一次性脚本或做个原型,这感觉就像魔法一样棒。但如果你是在构建一个长生命周期、需要高可靠性的企业级软件,这种“氛围编程”无异于用 Windows 画图软件去设计一座跨海大桥。

速度是有了,但信任债务(Trust Debt)正在疯狂累积。

为什么 AI 写代码越快,你的团队越痛苦?

很多研发 Leader 和资深开发者最近都有一个共同的痛点:AI 并没有减轻工作量,它只是把“写代码”的痛苦,转移成了“读代码和收拾残局”的痛苦。

在传统软件工程中,由于是人类逐行敲击键盘,代码的“产出速度”天然受限。这个物理限制,给了我们的大脑足够的时间去消化上下文、思考架构边界,并在潜意识里完成质量校验。

但在如今的智能体时代,代码生成的速度不再是瓶颈,人类的注意力和审查带宽成为了绝对的瓶颈。

当 AI 队友可以在几秒钟内吐出几百行横跨多个微服务、改动了数据库 Schema 甚至引入了新依赖的代码时,传统的“拉个 Pull Request,人肉看两眼 Diff”的审查机制瞬间就崩溃了。你面对的是一座由于局部极度优化,但全局逻辑可能支离破碎的“现代化屎山”。

如果你只是把 AI 当成一个“跑得更快的打字机”,而不去升级包裹在 AI 外面的工程管理体系,你最终得到的不会是十倍的提效,而是以光速制造出的系统灾难。

软件工程不仅没有死,反而迎来了“工程化”的黄金时代

有人说,“有了 AI,软件工程就不存在了”。这完全是外行看热闹的错觉。

土木工程从来就不是关于如何徒手搓出一块完美的钢筋,而是关于如何在材料存在公差、工人会犯错的客观现实下,通过冗余设计、安全裕度和检验标准,造出绝对可靠的桥梁。

同样,AI 智能体时代的新一代软件工程,其核心就是:如何在一个由大量“具有随机性(Stochastic)、不可靠”的 AI 队友和人类组成的混合团队中,通过系统性的工程约束,持续、稳定地交付可被绝对信任的软件系统。

再通俗直白一些,就是我们需要把非确定性的魔法,关进确定性的工程笼子里。

坦白说,这套颠覆性的思维范式并非我凭空捏造。在过去的一段时间里,我深受软件工程业界前沿大佬Ahmed E. Hassan的影响,阅读了他的有关Software Engineering 3.0(简称SE 3.0)的论文和著作《Agentic Software Engineering》。尤其是后者,这本书像一座灯塔,极具前瞻性地定义了智能体软件工程的理论框架与核心悖论。

但在反复研读,并尝试将其引入我日常的真实研发流水线后,我深深地感受到:“看懂理论”和“把它变成团队日常执行的肌肉记忆”之间,还隔着一条名为“工程落地”的鸿沟。

这正是我策划这门微专栏的初衷。

在这里,我们不讲那些几个月就会过时的 Prompt 奇技淫巧,也不教你怎么安装某个特定的 AI 插件。我将把《Agentic SE》一书中最具价值的底层心法,结合我在真实复杂架构中的开发实践与踩坑经验,为你翻译并重构为一套“心法 + 战术 + 落地模板”的实战指南,教你如何将非正规军的“氛围编程”,全面升级为正规军的智能体软件工程

在接下来的内容中,我们将深度探讨:

  • 如何利用 AI “不知疲倦”的特质,把枯燥的边界测试和重构做到极致?
  • 如何设计任务简报,用“意图契约”取代松散的提示词,给 AI 划定自治的安全边界?
  • 如何构建合并就绪包(Merge-Readiness Pack),让基于“代码 Diff”的审查,升级为基于“证据链”的审计?
  • 当你的团队从“1个人+1个AI”演进到“10个人+100个并发运行的 AI”时,如何设计自动化的协同流水线,避免它们互相踩踏?
  • 为什么在 AI 时代,像 Go、Rust 这种“默认无聊、限制颇多”的强类型语言,反而成为了企业级系统最坚实的底座?

微专栏目录抢先看

本专栏共计 14 讲,分为四大核心模块:

模块一:认知重塑 —— 从“氛围编程”到“智能体工程”

  • 第 1 讲 | 停止“氛围编程”(Vibe Coding),拥抱新一代软件工程
  • 第 2 讲 | 危险的“初级天才”:AI 队友的四大致命悖论

模块二:人机协作设计模式 —— 压榨 AI 队友的“非人类”优势

  • 第 3 讲 | 无尽迭代与超越完成:利用 AI 的“不知疲倦”
  • 第 4 讲 | 沟通降本:把“脏乱差”的意图转化为精准的研发契约
  • 第 5 讲 | 免费的架构委员会:零社交成本的“魔鬼代言人”
  • 第 6 讲 | 并行分解与一次性赌注:零成本验证多种技术方案

模块三:可靠性保障工程 —— 把“随机性”关进笼子

  • 第 7 讲 | 任务工程 (Mission Eng):告别 Prompt,建立“自治契约”
  • 第 8 讲 | 上下文工程 (Context Eng):把知识视为接口,而非垃圾场
  • 第 9 讲 | 基于证据的审查:千万别信 AI 的“测试已通过”

模块四:平台与团队规模化 —— 打造多智能体协同流水线

  • 第 10 讲 | 协同工程:避免“连环车祸”的自动化流水线设计
  • 第 11 讲 | 双态工作台:为何我们需要为 AI 重构 IDE?
  • 第 12 讲 | 信任工程:建立 AI 时代的“三维材料清单 (BOM)”
  • 第 13 讲 | 语言工程:代码可读性,AI 时代最核心的架构决策
  • 第 14 讲 | 结束语:认清现实,去当驾驶法拉利的赛车手

模块五:加餐篇 —— 将 Agentic SE 注入 Claude Code

待定,看微专栏订阅人数是否超出预期^_^

小结:变革的临界点已经到来

那些还在死磕代码生成速度的团队,最终会被堆积如山的“神秘技术债”压垮;而那些率先建立起现代智能体工程体系的团队,将真正驾驭这股洪荒之力,获得十倍甚至百倍的产能飞跃。

你是想成为那个在失控的自动驾驶汽车里尖叫的乘客,还是想成为从容掌控整个 AI 赛车车队的总指挥?

点击链接或扫描下方二维码,立即订阅《AI 智能体时代的软件工程》。 让我们一起拿下通往新时代的头等舱船票,重塑未来的软件工程!


还在为“复制粘贴喂AI”而烦恼?我的新专栏 AI原生开发工作流实战 将带你:

  • 告别低效,重塑开发范式
  • 驾驭AI Agent(Claude Code),实现工作流自动化
  • 从“AI使用者”进化为规范驱动开发的“工作流指挥家”

扫描下方二维码,开启你的AI原生开发之旅。


商务合作方式:撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。如有需求,请扫描下方公众号二维码,与我私信联系。

拒绝 Rust 的复杂,跨越 Go 的极简:Zig 会是系统级编程的最终答案吗?

本文永久链接 – https://tonybai.com/2026/02/26/rust-complexity-go-minimalism-vs-zig-ultimate-answer

大家好,我是Tony Bai。

在当前的后端与系统级编程领域,开发者似乎总是面临着一种“非此即彼”的艰难抉择:要么选择 Go 语言,拥抱其极致的极简主义、高效的并发模型和无处不在的垃圾回收(GC),但往往需要在底层内存控制上做出妥协;要么投向 Rust 的怀抱,追求绝对的内存安全和零成本抽象,却不得不常年与“借用检查器(Borrow Checker)”搏斗,忍受陡峭得令人绝望的学习曲线。

然而,在这两大巨头的光环之外,一门名为 Zig 的语言正在悄然崛起。它没有隐式的控制流,没有隐藏的内存分配,甚至没有预处理器和宏,却提供了无与伦比的 C 语言互操作性和强大的编译期计算能力。近日,在Reddit技术社区 r/Zig 上,一位资深 Go 开发者分享了他将一个核心项目从 Go 迁移到即将发布的 Zig 0.16 版本的全过程。他的经历既是一次跨越语言壁垒的技术冒险,更为我们揭示了一个深刻的问题:在拒绝了 Rust 的复杂、看透了 Go 的局限之后,Zig 会是我们苦苦寻找的那个系统级编程的最终答案吗?

在本文中,我们将跟随这位开发者的脚步,深度剖析这次从 Go 到 Zig 的“系统级”降维打击,探讨内存管理、并发演进以及新兴语言的生态阵痛。

语言选择的罗曼史:为什么是 Zig?

对于任何一位有着丰富经验的开发者来说,选择一门新的编程语言绝非心血来潮。在这位开发者长长的技术履历中,我们看到了一条清晰的“硬核化”演进路线:Python -> Rust -> Go -> Odin -> Zig

这条路线背后,折射出的是当代开发者对“开发效率”与“系统控制力”双重渴望的矛盾与挣扎:

  1. 逃离 Python 的脆弱:动态类型的 Python 常常伴随着难以预料的运行时错误,加上令人抓狂的虚拟环境(venv/pip)管理,促使他开始向底层探索。
  2. 被 Rust 劝退的恐惧:开发者坦言,“Rust 是我尝试过的最复杂的语言”。尽管他勉强写出了 Rust 代码,但他自知那是“糟糕的 Rust”。面对陡峭的学习曲线和心智负担,他的结论异常真实:“Rust 可能很容易学,但我不想再哭一次了(don’t want to cry again)”。
  3. Go 语言的温柔乡:在众多高级语言中,Go 成了他最钟爱的归宿。他将 Go 评价为“最低级别的高级语言(lowest of the high level languages)”。对于 Web 服务和后端开发,Go 的极简语法、成熟的生态和开箱即用的特性,使其成为默认的终极选择。他甚至感慨:“我真希望我一开始就是用 Go 学编程的。”
  4. Odin 的中道崩殂:在追求比 Go 更底层的控制力时,他曾短暂尝试过 Odin(一门常与 Zig 齐名的面向数据设计的系统级语言)。Odin 在语法上介于 Go 和 Zig 之间,看似完美的平衡却被糟糕的工具链打破。频繁崩溃的 LSP(Language Server Protocol)、不完善的文档以及诡异的编译器指令,最终将他推开了。
  5. 情定 Zig:最终,Zig 成为了他的驻足之地。Zig 既提供了不输于 C 语言的底层掌控力,又通过创新的语法和工具链,避开了 Rust 复杂的生命周期管理。

从中我们也可以看出当下系统级编程领域的一道缩影:开发者们渴望获得底层控制权,但不想为此付出丧失开发体验的代价。

移植实战:从 1 周到 2 个月的“阵痛与重塑”

纸上得来终觉浅。这位开发者决定动真格:将一个由 Go 编写的基于内存互斥锁(Mutex)的键值对存储(Key/Value Store)及配套的通道预写日志(channel WAL)项目,完整地移植到 Zig 0.16 中(包括使用 LZ4 压缩和导出 Parquet 格式的功能)。

原计划只需要 1 周的迁移工作,最终演变成了一场长达 1.5 到 2 个月的持久战。为什么会这么耗时?

代码规模与表达力:意外的对等

令人惊讶的是,尽管 Zig 需要手动管理内存,但迁移后的代码量(约 750 行)与原先的 Go 代码几乎持平。开发者指出,虽然 Zig 的代码在视觉上“更宽”(得益于其极其丰富的表达能力),但行数并没有膨胀。这归功于 Zig 中 Unions(联合体)、Enums(枚举)、Errors(错误处理)和 Structs(结构体)的完美组合。

拥抱 Comptime:降维打击的“超能力”

在 Go 语言中,泛型(Generics)直到 1.18 版本才姗姗来迟,且其能力受到诸多限制。而在 Zig 中,开发者体验到了真正的震撼——Comptime(编译期执行)。

他将处理结构体类型的泛型能力称为“疯狂的超能力”。在编译期间执行任意 Zig 代码的能力,使得开发者能够以极低的运行时开销,实现高度动态和灵活的类型处理。这种对类型的编译期反射和操作,是 Go 语言开发者难以想象的体验。

代码组织方式的颠覆

Go 语言习惯于将不同的接口、结构体分散在多个文件中,利用包(Package)级别来进行组织。但在 Zig 中,开发者发现了一种全新的心智模型:将所有想法放入一个文件中,并通过结构体(Struct)进行分组。当代码在编辑器中折叠后,这种高度内聚的设计显得极其清晰且易于导航。

内存管理的洗礼:脱离 GC 后的生存法则

从自带垃圾回收(GC)的 Go 语言跨越到需要显式传递分配器(Allocator)的 Zig,是此次移植中最痛苦,也是收获最大的部分。

没有了 Go 运行时的庇护,开发者必须直面内存的生与死。在经历了无数次内存泄漏后,他总结出了针对 Go 开发者转战 Zig 的七条黄金生存法则:

  1. 返回内存的函数,必须接收 Allocator:在 Go 中,函数可以随意返回指针或切片,GC 会负责善后。在 Zig 中,任何产生新内存分配的函数,其签名中必须显式包含一个 Allocator 参数。

  2. 严格区分不可变与可变:[]const u8 表示你绝不会修改这块内存(只读切片),而 []u8 则意味着你承诺你会去修改这块内存。这种显式的意图声明,在 Go 的 []byte 中是缺失的,Go 开发者往往需要通过文档或约定来判断切片是否会被修改。而在 Zig 中,类型系统替你守住了这道防线。

  3. 所有权与复制 (allocator.dupe):在 Go 中,传递指针或切片非常廉价,垃圾回收器(GC)会处理共享引用的生命周期。但在 Zig 中,如果你需要保留传入的数据并在函数返回后继续使用,你必须使用 allocator.dupe 进行深拷贝。

  4. 内存分配失败是常态:任何分配都可能失败。在 Zig 中,这意味着你必须处理 Error Union。而在 Go 中,make 或 new 失败通常意味着程序崩溃(panic),大多数业务代码从不处理 OOM(内存溢出)。

  5. 测试即救赎 (std.testing.allocator):“不写测试,就等着受苦”。Zig 的标准库测试运行器内置了内存泄漏检测功能。使用 std.testing.allocator 运行测试,如果你的代码有泄漏,测试会直接失败并报告。这对于习惯了“分配后即遗忘”的 Go 开发者来说,简直是当头棒喝,但也是养成良好习惯的最佳工具。

  6. 源码即文档:遇到疑问时,直接读标准库源码 (std)。Go 的标准库以清晰著称,但 Zig 的标准库源码同样展示了惊人的可读性。由于没有隐藏的控制流和宏,你看到的即是实际发生的。

并发模型之争:Goroutine 的舒适区 vs Zig 的显式控制

Go 语言最大的护城河无疑是 Goroutine 和 Channel。这种 CSP(通信顺序进程)模型的极简实现,让并发编程变得唾手可得。然而,当这位开发者试图在 Zig 中复刻这一模式时,遭遇了不小的挑战。

误用 std.Thread 的代价

在移植过程中,他试图使用 Zig 的 std.Thread 配合 std.Thread.RwLock 来模拟 Go 的并发模式。然而,一位社区专家指出,这种做法在 Zig 的异步 I/O 体系下是危险且低效的。

Zig 的并发哲学与 Go 不同。Go 将同步(阻塞)代码在运行时自动调度到异步执行,而 Zig 则提供了显式的 async/await(注:Zig 的异步机制在不同版本间变动较大,0.16 预览版中正在重构)和基于事件循环的 IO 模型。

io.Queue 与 Channel 的缺失

为了实现类似 Go Channel 的功能,开发者不得不自己实现了一套基于 Mutex 的通知机制,或者使用第三方库。他坦言:“我不仅想念 Go 的 GC,也想念它的 Channel。”

虽然 Zig 提供了强大的底层原语,但在构建像 Go 那样开箱即用的高并发 Web 服务时,Zig 目前仍缺乏统一且成熟的标准范式(Standard Pattern)。对于习惯了 go func() 的开发者来说,这需要巨大的心智转换。

工具链与生态的阵痛:先行者的代价

如果你已经被 Zig 的性能和控制力打动,那么接下来的内容可能是你需要冷静思考的“劝退”环节。

版本的混沌:0.15 vs 0.16

Zig 尚未发布 1.0 版本,这意味着破坏性更新(Breaking Changes)是家常便饭。该开发者在尝试迁移到 Zig 0.16(开发版)时,遇到了 ZLS(Zig Language Server)的版本兼容性问题。编辑器报错、高亮失效、自动补全崩溃,这些在 Go 这种成熟语言中几乎不存在的问题,在 Zig 的日常开发中却是必须忍受的噪音。

文档的匮乏

“当有疑问时,请检查 Zig 的内置函数(Builtin functions),那里有很多东西。”这句话的潜台词是:不要指望有详尽的官方文档网站。与 Go 丰富且结构化的 pkg.go.dev 相比,Zig 目前更多依赖于阅读源码和社区碎片化的教程。对于习惯了 StackOverflow 复制粘贴的开发者,这无疑是一个巨大的门槛。

“Segmentation Fault” 的回归

正如社区评论所言:“你必须爱上 Segfaults(段错误)。”

Go 语言的运行时捕获了绝大多数底层错误,将其转化为 Panic。而在 Zig 中,尽管有安全模式(ReleaseSafe),但在处理底层指针操作时,你依然可能遇到这一古老的梦魇。开发者回忆道:“我在 2008 年写 C 语言时经常遇到这些,现在我必须重新学会如何调试它们。”

小结:Go 依然是王者,但 Zig 代表了未来?

回到最初的问题:Zig 会是系统级编程的最终答案吗?

通过这次深刻的迁移实战,我们可以得出以下结论:

  1. Go 的地位难以撼动:对于绝大多数 Web 后端、微服务和云原生应用,Go 依然是“性价比之王”。它在开发效率、运行时性能和维护成本之间找到了完美的平衡点。正如作者所说,“Go 是最高级语言中的最底层”,这个定位极其精准。
  2. Rust 并非唯一解:对于那些需要更高性能、更低内存占用,却被 Rust 陡峭的学习曲线和复杂的借用检查器劝退的开发者,Zig 提供了一个极具吸引力的第三选项。它证明了不引入复杂的生命周期注解,依然可以写出安全且高效的系统级代码。
  3. Zig 的甜点区:如果你的项目涉及大量的内存密集型操作、需要极致的启动速度、或者需要与 C 库进行深度交互,Zig 可能比 Go 更合适,也比 Rust 更易上手。

给 Go 开发者的建议:

如果你仅仅是对 Go 的某些性能瓶颈感到不满,不妨先通过 FFI 调用 Zig 编写的库来解决关键路径的性能问题,而不是全面重写。Zig 极其优秀的 C 互操作性,使其成为 Go 语言的最佳“外挂”。

随着 Zig 0.16 及后续版本的发布,特别是异步 IO 模型和包管理器的成熟,我们有理由相信,Zig 将在系统编程领域占据一席之地。它不会取代 Go,但它可能会成为那些追求极致掌控力的极客们手中的那把“光剑”。

资料链接:https://www.reddit.com/r/Zig/comments/1rd0fsz/thoughts_after_porting_a_project_from_go_to_zig/


聊聊你的选择

你会因为 Go 的 GC 开销而考虑尝试 Zig 吗?还是你宁愿忍受 Rust 的编译器也不愿自己管理内存?欢迎在评论区分享你的看法!


还在为“复制粘贴喂AI”而烦恼?我的新专栏 AI原生开发工作流实战 将带你:

  • 告别低效,重塑开发范式
  • 驾驭AI Agent(Claude Code),实现工作流自动化
  • 从“AI使用者”进化为规范驱动开发的“工作流指挥家”

扫描下方二维码,开启你的AI原生开发之旅。


你的Go技能,是否也卡在了“熟练”到“精通”的瓶颈期?

  • 想写出更地道、更健壮的Go代码,却总在细节上踩坑?
  • 渴望提升软件设计能力,驾驭复杂Go项目却缺乏章法?
  • 想打造生产级的Go服务,却在工程化实践中屡屡受挫?

继《Go语言第一课》后,我的《Go语言进阶课》终于在极客时间与大家见面了!

我的全新极客时间专栏 《Tony Bai·Go语言进阶课》就是为这样的你量身打造!30+讲硬核内容,带你夯实语法认知,提升设计思维,锻造工程实践能力,更有实战项目串讲。

目标只有一个:助你完成从“Go熟练工”到“Go专家”的蜕变! 现在就加入,让你的Go技能再上一个新台阶!


商务合作方式:撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。如有需求,请扫描下方公众号二维码,与我私信联系。

如发现本站页面被黑,比如:挂载广告、挖矿等恶意代码,请朋友们及时联系我。十分感谢! Go语言第一课 Go语言进阶课 AI原生开发工作流实战 从 0 开始构建 Agent Harness Go语言精进之路1 Go语言精进之路2 Go语言第一课 Go语言编程指南
商务合作请联系bigwhite.cn AT aliyun.com
这里是 Tony Bai的个人Blog,欢迎访问、订阅和留言! 订阅Feed请点击上面图片

如果您觉得这里的文章对您有帮助,请扫描上方二维码进行捐赠 ,加油后的Tony Bai将会为您呈现更多精彩的文章,谢谢!

如果您希望通过微信捐赠,请用微信客户端扫描下方赞赏码:

如果您希望通过比特币或以太币捐赠,可以扫描下方二维码:

比特币:

以太币:

如果您喜欢通过微信浏览本站内容,可以扫描下方二维码,订阅本站官方微信订阅号“iamtonybai”;点击二维码,可直达本人官方微博主页^_^:
本站Powered by Digital Ocean VPS。
选择Digital Ocean VPS主机,即可获得10美元现金充值,可 免费使用两个月哟! 著名主机提供商Linode 10$优惠码:linode10,在 这里注册即可免费获 得。阿里云推荐码: 1WFZ0V立享9折!


View Tony Bai's profile on LinkedIn
DigitalOcean Referral Badge

文章

评论

  • 正在加载...

分类

标签

归档



View My Stats