本文永久链接 – https://tonybai.com/2026/03/23/go-is-the-best-programming-language-for-llm

大家好，我是Tony Bai。

在这个大模型重塑编程范式的当下，如果你想开发一个自主运行的智能体（Agent），或者想让大模型（LLM）帮你生成上万行的核心业务代码，你会选择哪门编程语言？

如果你去问 OpenAI 的总裁兼联合创始人 Greg Brockman，他的答案非常直接：

“Rust is a perfect language for agents, given that if it compiles it’s ~correct.”
（Rust 是开发 Agent 的完美语言，因为只要它能编译通过，它就基本是正确的。）

这句话听起来极其硬核且有道理。Rust 引以为傲的所有权模型和严苛的编译器，就像一个极度刻薄的审查员。既然大模型经常“胡言乱语”，那不如交给 Rust 编译器来兜底。

但有趣的是，Greg 的这番高论，最近在推特（X）上遭到了不少一线资深开发者的强烈反驳。其中，一条阅读量近 7 万的推文直指核心痛点，甚至抛出了一个让无数 Gopher（Go 开发者）极度舒适的反直觉结论：

“别吹 Rust 了，在大模型眼里，语法简单、风格统一的 Go 才是真正的‘香饽饽’！”

今天，我们就来扒一扒这场顶级“语言战争”背后的神仙打架，看看为什么 Go 语言身上那些曾经被全网群嘲的“缺点”，如今却成了大模型时代最无敌的护城河。

大模型写 Rust，真的安全吗？

发起反驳的开发者 Emil Privér 一针见血地指出了用大模型写 Rust 的最大陷阱：“逃课”心理。

Greg Brockman 认为 Rust 编译器能阻止大模型犯错。但这有一个前提：大模型必须老老实实地去解生命周期（Lifetime）和所有权（Ownership）的方程。

然而现实是，大模型也是会“偷懒”的。

Emil 敏锐地指出，当现代 LLM 在生成复杂的 Rust 业务逻辑，且实在绕不过编译器的各种借用检查报错时，它们会极其鸡贼地使出大招：直接套上一层 unsafe {} 块，或者无脑使用 .unwrap() 来强行绕过编译器的安全审查！

你在指望编译器兜底，大模型却在底下悄悄开了“后门”。

就像评论区一位开发者吐槽的那样：“当你看到大模型为了图省事，把一段关键操作包在 unsafe 里，并且依然能顺利编译通过时，你还敢说它‘只要编译通过就基本正确’吗？”

虽然有开发者反驳说，可以通过配置强制禁止 unsafe。但大模型的“逃课手段”防不胜防，比如疯狂滥用 RefCell 导致运行时 Panic，这在编译器眼里是合法的，但在生产环境下却是灾难。

Go 的“无趣”，成了最顶级的生产力

既然 Rust 太“聪明”导致大模型容易弄巧成拙，那大模型到底喜欢什么样的语言？

Emil 给出的答案是：Go。

他的底层逻辑非常硬核。

他认为，大模型（LLMs）的本质是基于大量预训练语料进行下一个 Token 的概率预测。对于这种预测机制来说，一段代码的上下文看起来越“同质化（Looks the same）”，大模型生成的准确率就越高。

这就牵扯到了 Go 语言一个常年被群嘲的“缺点”：啰嗦、缺乏表现力、没有花里胡哨的语法糖。

在 Go 里，如果你想写一个循环，你只有一种办法：for 循环。

没有 while，没有 do-while，没有 foreach，更没有各种炫技的函数式流处理。

而在 Rust 或者 JavaScript 等语言里，你想遍历一个数组，至少有 5 种写法。甚至在不同的开源库里，大家的编码风格都千奇百怪。

在人类看来，Go 语言简直“无趣”到了极点。但在大模型这种无情的“概率预测机器”眼里，Go 简直就是天堂！

因为 Go 语言有着近乎暴君般的强制格式化工具 gofmt，以及全宇宙最少、最没有歧义的语法关键字。无论你是 Google 的顶级工程师，还是刚入门三个月的新手，写出来的 Go 代码结构几乎是一模一样的。

这种极度“收敛”和“无聊”的代码风格，恰恰完美契合了大模型的预测机制。

当所有的 Go 项目看起来都像是一个模子里刻出来的，大模型在生成上下文时就不需要去猜测“这个项目的主人喜欢用哪种流派”。它闭着眼睛往下预测，准确率就能轻易碾压其他语言。

Go，这种“一眼望到底”的特性，让它成为了大模型眼里的头号“香饽饽”。

AI 时代的软件工程师，该选什么语言？

推特评论区里，争论依然在继续。

但透过这场口水战，我们作为一线的软件工程师，应该看透一个更深层次的时代演进：

在过去十年，程序员们热衷于发明各种奇技淫巧，比拼谁的代码写得更短、更具“魔法”；但在未来，当 80%以上 的代码都将由 AI Agent 自动生成时，“可读性”与“无歧义”将成为一门编程语言最核心的生产力。

Go 语言的联合缔造者 Rob Pike 当年顶着巨大的压力，坚持不给 Go 加各种复杂的特性。很多人觉得他固执、老派。但在十多年后的今天，当大模型海啸席卷而来时，我们才突然惊觉：

Go 语言那种“强迫你用最笨、最直白的方式写代码”的设计哲学，不仅让它在微服务时代大杀四方，更让它在 AGI 时代，成为了大模型最忠实、最可靠的合作伙伴。

当大模型吐出一段复杂的 Rust 代码，你可能还要花十分钟去审查它有没有隐藏的逻辑陷阱；

但当大模型吐出一段 Go 代码，那满屏极其直白的 if err != nil，让人类工程师一眼就能看穿它的核心逻辑。

没有魔法，才是大模型时代最强的防御。

资料链接：https://x.com/emil_priver/status/2034971247348535399

今日互动探讨：

在日常开发中，你让 ChatGPT/Claude 帮你写过哪种语言的代码？你觉得它写 Go、Python 还是 Rust 时的准确率最高？

欢迎在评论区分享你的实战感受！

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

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

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

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

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

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

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

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

原「Gopher部落」已重装升级为「Go & AI 精进营」知识星球，快来加入星球，开启你的技术跃迁之旅吧！

我们致力于打造一个高品质的 Go 语言深度学习 与 AI 应用探索 平台。在这里，你将获得：

• 体系化 Go 核心进阶内容: 深入「Go原理课」、「Go进阶课」、「Go避坑课」等独家深度专栏，夯实你的 Go 内功。
• 前沿 Go+AI 实战赋能: 紧跟时代步伐，学习「Go+AI应用实战」、「Agent开发实战课」、「Agentic软件工程课」、「Claude Code开发工作流实战课」、「OpenClaw实战分享」等，掌握 AI 时代新技能。
• 星主 Tony Bai 亲自答疑: 遇到难题？星主第一时间为你深度解析，扫清学习障碍。
• 高活跃 Gopher 交流圈: 与众多优秀 Gopher 分享心得、讨论技术，碰撞思想火花。
• 独家资源与内容首发: 技术文章、课程更新、精选资源，第一时间触达。

衷心希望「Go & AI 精进营」能成为你学习、进步、交流的港湾。让我们在此相聚，享受技术精进的快乐！欢迎你的加入！

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

本文永久链接 – https://tonybai.com/2026/03/17/why-is-go-regex-so-slow

大家好，我是Tony Bai。

如果有人问你：在处理纯 CPU 密集型的文本匹配时，Go 和 Python 哪个快？

相信 99% 的 Go 开发者会毫不犹豫地把票投给 Go。毕竟，一门编译型的静态语言，怎么可能输给拖着 GIL 锁的解释型脚本语言？

但现实往往比小说更魔幻。

最近，在 Reddit 的 r/golang 论坛上，一张残酷的 Benchmark 跑分图引发了整个 Go 社区的剧烈震荡。一位开发者，使用极其常见的日志解析正则表达式（提取 IP、时间、URI 等），对各大语言进行了一次横评。

结果令人大跌眼镜：同样的数据集，Rust 跑了 3.9 秒，Zig 跑了 1.3 秒，而 Go 居然跑了整整 38.1 秒！整整比第一名 Zig 慢了接近 30 倍！

如果你再去翻看 Go 官方的 Issue #26623，会看到更绝望的数据：早在2018年的一次正则基准测试中，Go 不仅被 C++ 和 Rust 碾压，甚至连 Python 3、PHP 和 Javascript 都能在正则上把 Go 按在地上摩擦。

一时间，无数 Gopher 信仰崩塌：“为什么 Go 的标准库 regexp 这么慢？”、“连简单的正则都做不好，Go 凭什么做云原生霸主？”

今天，我们就来硬核扒开 Go 语言 regexp 包的底层设计和实现。你会发现，这不是 Go 团队的技术拉跨，而是一场关于“性能、安全与工程哲学”的博弈。

原罪：你以为的慢，其实是替 CGO 负重前行

面对“为什么 Go 的正则比 Python 还慢”的灵魂拷问，Go 核心团队成员 Ian Lance Taylor 给出了第一层解释。

在 Python、PHP 甚至 Node.js 中，你以为你是在运行脚本，其实它们底层都在悄悄“作弊”。这些语言的正则表达式引擎，几乎全部是用高度优化的 C 语言库（主要是 PCRE，Perl Compatible Regular Expressions）编写的。

当你在 Python 里调用 re.match() 时，它瞬间就穿透到了 C 语言的底层，享受着现代 CPU 指令集的极致加速。

那 Go 为什么不用 C？因为 Go 是一门有着“极度洁癖”的语言。

如果 Go 的标准库引入了 C 语言的 PCRE，就必须通过 CGO 来调用。而 CGO 的上下文切换成本极高，更致命的是，它会彻底破坏 Go 引以为傲的“跨平台交叉编译”能力。你再也不能在一个简单的 go build 后，把二进制文件无痛丢到任何 Alpine 容器里了。

因此，Go 团队做出了第一个艰难的决定：完全使用纯 Go 语言，从零手写一个正则表达式引擎。

脱离了 C 语言几十年的底层优化积累，用原生代码去硬刚别人的 C 引擎，这是 Go 看起来“慢”的表层原因。

但这，仅仅是冰山一角。

路线之争：为了防止系统“猝死”，Go 抛弃了速度

真正让 Go 正则变得“慢”的，是算法架构上的降维选择。这牵扯到 Go 语言的缔造者之一、大神 Russ Cox (rsc) 的一段往事。

在正则表达式的底层世界里，存在着两大流派：

1. 基于回溯（Backtracking）的 NFA 引擎：代表人物是 PCRE（被 Python、Java、PHP 广泛使用）。
2. 基于 Thompson NFA / DFA 的引擎：代表人物是 RE2（被 Go、Rust 采用）。

PCRE 引擎极快，它支持各种花里胡哨的语法（如前瞻断言 Lookaround、反向引用 Backreferences）。它的算法逻辑是“不撞南墙不回头”的深度优先搜索（DFS）。在匹配正常字符串时，它快如闪电。

但它有一个极其致命的死穴：ReDoS（正则表达式拒绝服务攻击）。

想象一下你写了一个看似无害的正则：

^([a-zA-Z0-9]+\s?)+$

如果黑客故意传入一个极其恶意的字符串：aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa!（注意最后的感叹号）。

PCRE 引擎会陷入可怕的“灾难性回溯”。它会尝试所有可能的组合，时间复杂度瞬间飙升到 O(2^n) 级。短短几十个字符的输入，能让单核 CPU 满载运行几年都算不出结果！

2019 年，互联网巨头 Cloudflare 就因为在 WAF 防火墙中写错了一个极其简单的正则表达式，CPU资源瞬间耗尽，导致全球80% 的通过 Cloudflare 代理的网站受到影响，陷入瘫痪长达 27 分钟。这就是 PCRE 回溯引擎的恐怖破坏力。

Russ Cox 在设计 Go 的 regexp 包时，定下了一条铁律：系统安全与可预测性，绝对高于单次请求的极限性能。

因此，Go 彻底抛弃了危险的回溯引擎，选择了基于 Thompson NFA 的算法（源自他之前在Google主导设计的 C++ RE2 引擎）。这种算法保证了匹配时间永远是线性复杂度 O(n)。

无论黑客传入多么恶意的字符串，Go 的正则引擎绝对不会发生灾难性回溯。它牺牲了在美好情况下的极致快感，换取了在极端恶劣环境下的金身不坏。

这算是 Go 团队最顶级的“克制”吧。

硬核剖析：Go 的正则，时间到底去哪了？

既然算法是 O(n) 的，为什么 Go 依然比同样采用 RE2/DFA 思想的 Rust 慢那么多呢？

如果你去追踪 Go 官方的 Issue #19629和Issue #11646，通过 pprof 分析 Go 正则匹配的 CPU 耗时，你会看到几个令人头疼的瓶颈：

1. 沉重的 UTF-8 解析税

Rust 和 C 的很多正则引擎，底层是直接在“字节（Byte）”级别游走的。而 Go 为了贯彻它对 Unicode 的原生支持，regexp 包在内部极其频繁地将输入流解码为 Rune（Go 的 Unicode 字符单位）。这种逐个解析 Rune 的操作，带来了巨大的计算开销。

2. NFA 虚拟线程的内存震荡

在 Go 的底层源码中，你可以看到耗时最高的两个函数是 (machine).add 和 (machine).step。

Go 是通过维护两个“状态队列（稀疏集）”来模拟 NFA 的并行推进的。每读取一个字符，引擎就要把所有可能的状态添加到下一个队列中。这导致了海量的内存重分配（Allocation）和切片拷贝。哪怕是匹配一个简单的长字符串，底层都在疯狂地挪动内存。

既然这么慢，为什么不把 C++ RE2 里那个极速的 DFA（确定性有限状态自动机）移植到 Go 里呢？

Issue #11646 记录了这次尝试。开发者 Michael Matloob 曾经试图将 RE2 的 DFA 移植过来，但被 Russ Cox 拦下了。原因很直接：DFA 虽然快，但它在运行时会动态生成大量的状态，如果不加以严格限制，极易引发内存耗尽（OOM）。在 Go 带有 GC 的内存模型下，频繁创建和销毁庞大的 DFA 状态缓存，会让垃圾回收器不堪重负。

于是，Go 的标准库在“安全、内存、性能”的三角博弈中，选择了妥协于现状。

社区的探索：SIMD 降维打击与 100倍加速的 coregex

官方的克制固然令人敬佩，但对于身处一线的业务开发者来说，由于正则太慢导致的 CPU 告警，是实实在在的痛点。

“既然官方不愿意改，那我们就自己造轮子！”

在近期的 Issue #26623 中，一位名为 kolkov 的开发者带着他的开源库 coregex 杀入了战场，向 Go 标准库发起了直接的挑战。

coregex 是一个完全用纯 Go 编写的正则库，它的出现直接将 Go 的正则性能拉到了与 Rust 并驾齐驱，甚至在某些场景下超越 Rust 的境地。

它是怎么做到的？它在底层祭出了几个大杀器：

1. SIMD 预过滤（Prefilters）：它使用了手写的汇编代码（AVX2/SSSE3 指令集），将正则中的静态字符串提取出来，利用 CPU 的向量化指令，一次性对比 32 个字节。像匹配 .*.txt 这种正则，速度直接飙升了 1500倍！
2. 带缓存的 Lazy DFA：它绕过了标准库每次都重算 NFA 的毛病，在运行时动态构建 DFA 缓存，大幅消除了内存分配。
3. 写时复制（COW）的捕获组：标准库在处理提取子串时会疯狂分配切片。coregex 通过切片状态共享，让内存分配直接减少了 50%。

在 kolkov 提供的 CI 跑分中，在 6MB 的输入下，coregex 处理邮箱、URI 的耗时仅为 1.5 毫秒，而标准库耗时高达 260 毫秒。足足快了 170 倍！

然而，这段极其硬核的改进，依然很难入Go团队法眼，更不用谈在短期内被合并进 Go 的标准库。

一方面，Go 官方目前正在推进自己的内建 SIMD 方案（Issue #73787），不想接入手写的汇编代码；另一方面，社区大牛 Ben Hoyt 在使用 coregex 时发现，如果开启 Longest() 模式（最长匹配模式），这个库的性能会发生严重退化。

这再次印证了标准库开发的残酷：在某几个特定场景下跑到全宇宙第一很容易，但要在一套 API 里无死角地兜底全世界所有的奇葩正则输入，难如登天。

在 Go 中写正则的正确姿势

大致了解了底层原理，回到日常开发中，我们该如何应对 Go 正则的性能瓶颈？作为高级 Go 开发者，请务必将以下三条军规刻在脑子里：

第一条：能不用正则，就坚决不用

如果你只是想检查字符串是否包含子串，或者进行简单的前后缀匹配，永远优先使用 strings.Contains()、strings.HasPrefix() 等内置函数。 它们底层有优化的实现，在这样简单场景下，速度是 regexp 包不可比拟的。

第二条：将编译前置，远离循环

如果你翻看新手代码，最常见的低级错误就是在 for 循环或者每次 HTTP 请求里调用 regexp.Compile()。

正则的编译过程（生成 NFA 字节码）极其消耗 CPU。请永远在全局变量或 init() 函数中使用 regexp.MustCompile()，将其编译好并复用。Go 的 Regexp 对象是并发安全的，随便多 Goroutine 调用。

第三条：在极端性能要求下，打破“洁癖”

如果你的核心业务（比如高频日志清洗、海量数据 ETL）确实被 regexp 卡住了脖子，不要硬抗。

你可以选择引入通过 CGO 调用 PCRE的Go binding库（比如https://github.com/GRbit/go-pcre），但要注意防范 ReDoS 攻击，或google/re2的Go binding(比如https://github.com/wasilibs/go-re2)，又或是在业务侧尝试社区的野路子 coregex。在生存面前，架构的“洁癖”是可以适当妥协的。

小结

“为什么 Go 的正则这么慢？”

这并非一个简单的工程失误。它是一道分水岭，隔开了“追求跑分好看的玩具代码”与“守护千万级并发集群的生产级设计”。

Russ Cox 宁愿忍受整个开源界的群嘲，也没有为了刷榜而去引入危险的回溯引擎。这或许就是 Go 语言能够成为云原生时代头部语言的原因：不盲目追求上限的巅峰，而是死死守住安全下限。

参考资料

• https://www.reddit.com/r/golang/comments/1rr2evh/why_is_gos_regex_so_slow/
• https://github.com/golang/go/issues/26623
• https://github.com/golang/go/issues/19629
• https://github.com/golang/go/issues/11646
• https://swtch.com/~rsc/regexp/

今日互动探讨：

在你的日常开发中，有没有被由于“写了糟糕的正则表达式”而导致 CPU 飙升 100% 的惨痛经历？你又是如何排查和优化的？

欢迎在评论区分享你的血泪史

认知跃迁：读懂底层机制，才能看透系统架构的本质

从放弃 CGO 选择纯 Go 实现，到防范 ReDoS 采用 NFA，再到社区为了榨干 CPU 性能而引入 SIMD。Go 语言的每一个看似“不合理”的设计背后，都隐藏着深邃的系统级考量。

然而，令人遗憾的是，很多开发者写了五六年的 Go 代码，遇到性能瓶颈依然只能靠“瞎猜”和“重启”。他们对 Go 的内存逃逸、Goroutine 调度机制以及标准库的底层数据结构一无所知。

如果你渴望突破“熟练调包侠”的瓶颈，想要像 Russ Cox 这样的顶级大厂架构师一样，看透 Go 语言背后的底层逻辑，建立起自己坚不可摧的技术护城河——

我的极客时间专栏 《Tony Bai·Go语言进阶课》 正是为你量身定制。

在这 30+ 讲极其硬核的内容中，我不仅带你剥开语法糖，深挖 Goroutine 调度、Channel 哲学；更会带你全面吃透 Go 的工程化实践，把底层性能调优背后的逻辑一次性讲透。

目标只有一个：助你完成从“Go 熟练工”到“能做顶级架构决策的 Go 专家”的蜕变！

扫描下方二维码，加入专栏。不要用战术上的勤奋，掩盖战略上的懒惰。让我们一起用架构师的视角，重新认识 Go 语言。

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

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

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

原「Gopher部落」已重装升级为「Go & AI 精进营」知识星球，快来加入星球，开启你的技术跃迁之旅吧！

我们致力于打造一个高品质的 Go 语言深度学习 与 AI 应用探索 平台。在这里，你将获得：

• 体系化 Go 核心进阶内容: 深入「Go原理课」、「Go进阶课」、「Go避坑课」等独家深度专栏，夯实你的 Go 内功。
• 前沿 Go+AI 实战赋能: 紧跟时代步伐，学习「Go+AI应用实战」、「Agent开发实战课」、「Agentic软件工程课」、「Claude Code开发工作流实战课」、「OpenClaw实战分享」等，掌握 AI 时代新技能。
• 星主 Tony Bai 亲自答疑: 遇到难题？星主第一时间为你深度解析，扫清学习障碍。
• 高活跃 Gopher 交流圈: 与众多优秀 Gopher 分享心得、讨论技术，碰撞思想火花。
• 独家资源与内容首发: 技术文章、课程更新、精选资源，第一时间触达。

衷心希望「Go & AI 精进营」能成为你学习、进步、交流的港湾。让我们在此相聚，享受技术精进的快乐！欢迎你的加入！

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