Logo

site iconTonyBai | 白明

重复
请复制 RSS 到你的阅读器,或快速订阅到 :

Inoreader Feedly Follow Feedbin Local Reader

TonyBai | 白明 RSS 预览

Go 的甜蜜16 岁:一份来自官方的年度成绩单与未来路线图

2025-11-15 08:38:33

本文永久链接 – https://tonybai.com/2025/11/15/go-turns-16

大家好,我是Tony Bai。

今年的 Go 官方16岁“庆生”文章,来得比以往时候都要晚一些。

往年,我们总能在 11 月 10 日或 11 日,准时收到这份来自 Go 团队的年度“家庭来信”。但今年,日历翻过了好几天,官方博客却依旧静悄悄。前几天,我还在知识星球上和星友们“抱怨”:“今年 Go 官方居然没有发 16 周年庆生纪念文章,比较反常啊!是忙忘了?还是没人有空写?”

现在回头看,这份“迟到”的生日礼物,或许恰恰反映了 Go 团队当前的状态。与其说是“忙忘了”,我更倾向于相信,这是新任技术负责人 Austin Clements 那种众所周知的严谨风格的体现——在没有将过去一年的所有重要进展都梳理清晰、打磨完美之前,宁愿延迟,也绝不仓促发文。抑或是,随着 Go 在 AI 时代的责任日益重大,团队的每一个字,都变得更加审慎和深思熟虑。

那么,这份姗姗来迟的“年度报告”,又为何值得我们全文翻译,并分享给大家呢?

因为这不仅仅是一篇生日贺文,它更是一份极其珍贵的、信息密度极高的官方“战略简报”。

在这篇文章里,Go 团队不仅系统性地盘点了过去一年中,从核心语言、安全体系到工具链的所有重大成果(synctest, Green Tea GC, FIPS 认证, go fix…),更重要的是,它首次清晰地、成体系地阐述了 Go 在 AI 时代的定位与雄心。它告诉我们,Go 团队正在如何将 Go 语言独特的并发、性能和可靠性优势,注入到 AI 集成、Agent 和基础设施的构建中。

对于我们每一位 Gopher 而言,这篇文章就是一张官方的“藏宝图”。它不仅能帮助我们快速跟上 Go 的最新动态,更能让我们洞察这门语言未来的发展方向,从而在技术浪潮中,做出更明智的学习和职业决策。

下面,就让我们一同深入这份迟到但分量十足的“生日礼物”。以下是文章全文。


刚刚过去的周一,11 月 10 日,我们庆祝了 Go 开源发布 16 周年!

我们遵循了现在已经非常成熟和可靠的发布节奏,在二月份发布了 Go 1.24,并在八月份发布了 Go 1.25。为了继续我们构建最高效的生产系统语言平台的使命,这些版本包含了用于构建健壮可靠软件的新 API,在 Go 构建安全软件的记录上取得了显著进展,以及一些重要的底层改进。与此同时,没有人能忽视生成式 AI 给我们行业带来的巨大变革。Go 团队正以深思熟虑且毫不妥协的思维方式应对这一充满活力的领域中的挑战和机遇,致力于将 Go 的生产就绪方法应用于构建健壮的 AI 集成、产品、智能体和基础设施。

核心语言和库的改进

新的 testing/synctest 包在 Go 1.24 中作为实验性功能首次发布,然后在 Go 1.25 中正式毕业,它极大地简化了为并发、异步代码编写测试的过程。这类代码在网络服务中尤为常见,并且传统上很难进行良好的测试。synctest 包通过虚拟化时间本身来工作。它将过去缓慢、不稳定或两者兼有的测试,转变为易于重写成可靠且几乎瞬时完成的测试,通常只需增加几行代码。这也是 Go 软件开发集成方法的一个绝佳例子:在一个几乎微不足道的 API 背后,synctest 包隐藏了与 Go 运行时和标准库其他部分的深度集成。

img{512x368}

这并非过去一年中 testing 包得到的唯一增强。新的 testing.B.Loop API 不仅比原来的 testing.B.N API 更易于使用,还解决了编写 Go 基准测试时许多传统的——且常常是不可见的!——陷阱。testing 包还新增了 API,可以轻松地在使用 Context 的测试中进行清理,以及轻松地向测试日志写入内容

Go 和容器化技术一同成长,并彼此配合得很好。Go 1.25 推出了容器感知调度,使这对组合更加强大。开发者无需任何操作,它就能透明地调整在容器中运行的 Go 工作负载的并行度,防止可能影响尾部延迟的 CPU 节流,并提升了 Go 开箱即用的生产就绪性。

Go 1.25 的新飞行记录器(flight recorder)建立在我们本已强大的执行追踪器之上,能够深入洞察生产系统的动态行为。执行追踪器通常会收集过多的信息,在长期运行的生产服务中不太实用,而飞行记录器则像一个小小的时光机,允许服务在出现问题之后,以极高的细节快照最近发生的事件。

安全软件开发

Go 继续加强其对安全软件开发的承诺,在其原生加密包方面取得了重大进展,并演进其标准库以增强安全性。

img{512x368}

Go 在标准库中附带了一整套原生加密包,这些包在过去一年中达到了两个重要的里程碑。由独立安全公司 Trail of Bits 进行的安全审计取得了优异的结果,仅有一个低严重性的发现。此外,通过 Go 安全团队与 Geomys 的合作,这些包获得了 CAVP 认证,为完整的 FIPS 140-3 认证铺平了道路。这对于在某些受监管环境中的 Go 用户来说是一项至关重要的进展。FIPS 140 合规性,以往由于需要使用不受支持的解决方案而成为一个摩擦点,现在将被无缝集成,解决了与安全性、开发者体验、功能性、发布速度和合规性相关的问题。

Go 标准库持续演进,以实现默认安全和设计安全。例如,Go 1.24 中添加的 os.Root API 实现了抗遍历的文件系统访问,有效地对抗了一类漏洞,即攻击者可能操纵程序访问本应不可访问的文件。这类漏洞在没有底层平台和操作系统支持的情况下极具挑战性,而新的 os.Root API 提供了一个直接、一致且可移植的解决方案。

底层改进

除了用户可见的更改,Go 在过去一年中还在底层做了重大改进。

在 Go 1.24 中,我们完全重新设计了 map 的实现,借鉴了哈希表设计中最新、最伟大的思想。这一更改是完全透明的,并为 map 的性能带来了显著提升,降低了 map 操作的尾部延迟,在某些情况下甚至带来了显著的内存节省。

Go 1.25 包含了一个实验性的、在 Go 垃圾回收器方面的重大进步,名为 Green Tea。Green Tea 在许多应用程序中将垃圾回收开销减少了至少 10%,有时甚至高达 40%。它使用了一种专为当今硬件的能力和限制而设计的新颖算法,并开辟了一个我们正热切探索的新设计空间。例如,在即将发布的 Go 1.26 版本中,Green Tea 将在支持 AVX-512 向量指令的硬件上额外实现 10% 的垃圾回收器开销降低——这在旧算法中几乎是不可能的。Green Tea 将在 Go 1.26 中默认启用;用户只需升级他们的 Go 版本即可受益。

进一步发展软件开发栈

Go 远不止于语言和标准库。它是一个软件开发平台,在过去一年里,我们还对 gopls 语言服务器进行了四次常规发布,并建立了合作伙伴关系以支持新兴的智能体应用程序新框架。

Gopls 为 VS Code 和其他基于 LSP 的编辑器和 IDE 提供 Go 支持。每个版本都有一系列的功能和改进,提升了阅读和编写 Go 代码的体验(详情请见 v0.17.0v0.18.0v0.19.0v0.20.0 的发布说明,或我们新的 gopls 功能文档!)。一些亮点包括:许多新增和增强的分析器,帮助开发者编写更地道和健壮的 Go 代码;对变量提取、变量内联和 JSON 结构体标签的重构支持;以及一个实验性的内置MCP服务器,用于模型上下文协议(MCP),它以 MCP 工具的形式向 AI 助手暴露了 gopls 的一部分功能。

从 gopls v0.18.0 开始,我们开始探索自动代码现代化工具。随着 Go 的演进,每个版本都带来了新的能力和新的惯用法;Go 程序员一直在寻找其他方法来做的事情,现在有了新的、更好的方法。Go 坚守其兼容性承诺——旧的方式将永远有效——但尽管如此,这在旧惯用法和新惯用法之间造成了分歧。现代化工具是静态分析工具,它们能识别旧的惯用法,并建议更快、更可读、更安全、更现代的替代方案,并且能一键可靠地完成。我们希望现代化工具能像 gofmt 为风格一致性所做的那样,为惯用法一致性做出贡献。我们将现代化工具集成为 IDE 的建议,在那里它们不仅能帮助开发者维护更一致的编码标准,我们相信它们还能帮助开发者发现新功能并跟上最新技术。我们相信现代化工具还能帮助 AI 编码助手跟上最新技术,并对抗它们倾向于强化关于 Go 语言、API 和惯用法的过时知识。即将到来的 Go 1.26 版本将包括对长期休眠的 go fix 命令的全面改造,使其能够批量应用全套的现代化工具,回归其Go 1.0 之前的根源

九月底,我们与 Anthropic 和 Go 社区合作,发布了模型上下文协议(MCP)官方 Go SDKv1.0.0。这个 SDK 支持 MCP 客户端和 MCP 服务器,并支撑着 gopls 中新的 MCP 功能。将这项工作开源,有助于赋能围绕 Go 构建的日益增长的开源智能体生态系统的其他领域,例如最近由 Google 发布的Agent Development Kit (ADK) for Go。ADK Go 建立在 Go MCP SDK 之上,为构建模块化的多智能体应用程序和系统提供了一个地道的框架。Go MCP SDK 和 ADK Go 展示了 Go 在并发、性能和可靠性方面的独特优势如何使 Go 在生产级 AI 开发中脱颖而出,我们预计未来几年会有更多的 AI 工作负载用 Go 编写。

展望未来

Go 前方是激动人心的一年。

我们正在通过全新的 go fix 命令、对 AI 编码助手的更深层次支持,以及对 gopls 和 VS Code Go 的持续改进,来提升开发者的生产力。Green Tea 垃圾回收器的正式可用、对单指令多数据(SIMD)硬件功能的原生支持,以及运行时和标准库对编写能更好地扩展到大规模多核硬件代码的支持,将继续使 Go 与现代硬件保持一致,并提高生产效率。我们正专注于 Go 的“生产栈”库和诊断工具,包括由 Joe Tsai 和 Go 社区成员共同推动的、对 encoding/json 的一次大规模(且酝酿已久)的升级;由 Uber 的编程系统团队贡献的泄露 goroutine 分析;以及对 net/http、unicode 和其他基础包的许多其他改进。我们正致力于为使用 Go 和 AI 构建提供清晰的路径,谨慎地演进语言平台以适应当今开发者不断变化的需求,并构建能够同时帮助人类开发者和 AI 助手及系统的工具和能力。

在 Go 开源发布 16 周年之际,我们也在展望 Go 开源项目本身的未来。从其卑微的开端开始,Go 已经形成了一个蓬勃发展的贡献者社区。为了继续最好地满足我们不断扩大的用户群的需求,尤其是在软件行业动荡的时期,我们正在研究如何更好地扩展 Go 的开发流程——同时不失 Go 的基本原则——并更深入地让我们的优秀贡献者社区参与进来。

没有我们卓越的用户和贡献者社区,Go 就不可能有今天的成就。我们祝愿大家在新的一年里一切顺利!


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

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

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

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

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


想系统学习Go,构建扎实的知识体系?

我的新书《Go语言第一课》是你的首选。源自2.4万人好评的极客时间专栏,内容全面升级,同步至Go 1.24。首发期有专属五折优惠,不到40元即可入手,扫码即可拥有这本300页的Go语言入门宝典,即刻开启你的Go语言高效学习之旅!


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

© 2025, bigwhite. 版权所有.

Go 也开始“叛逆”了?深度解读 JetBrains 2025 报告:为何“原生信仰”不再是唯一答案

2025-11-14 08:05:35

本文永久链接 – https://tonybai.com/2025/11/14/the-go-ecosystem-in-2025

大家好,我是Tony Bai。

Go 语言迎来了它的第 16 个年头。从一个旨在解决 Google 内部工程效率问题的项目,成长为拥有超过 500 万开发者的全球性技术力量,16 岁的 Go 已然进入了一个成熟、稳健的“少年时代”。

在这个值得纪念的里程碑时刻,我们不禁要问:支撑着 Go 社区一路走来的核心价值观,是否依然坚如磐石?长期以来,Go 社区都以其“内置电池”(batteries included) 的强大标准库而自豪,并将“标准库优先”(standard library first) 奉为圭臬。

然而,这种“原生信仰”是否正在随着生态的成熟而悄然动摇?近日,JetBrains 发布的《Go 2025 生态系统状况报告》,通过翔实的数据,为我们揭示了一个正在演进的、更加务实的 Go 世界。

这份数据报告,同时也是一次对 Go 16 年发展历程的深刻反思,让我们得以看清 Gopher 们在“原生”与“生态”之间的真实选择。

在本文中,我们将解读这份报告的关键数据,系统性地剖析 Go 在 Web 框架、测试工具以及 AI 辅助编程等核心领域的最新趋势,并探讨这些变化对每一位 Go 开发者未来的技术选型意味着什么。

Web 框架的“权力的游戏”:Gin 称王,旧王陨落

Web 后端开发和 DevOps/SRE 是 Go 的两大核心阵地。在 Web 领域,框架和路由器的选择,最能体现社区的变迁。

报告中最引人注目的趋势包括:

  • Gin 的霸主地位愈发稳固:使用率从 2020 年的 41% 稳步增长到 2025 年的 48%,已成为近半数 Go 开发者的首选。其高性能、成熟的生态和丰富的文档,使其在“最佳 Web 框架”的竞争中一骑绝尘。

  • gorilla/mux 的时代落幕:这个曾经最强大、最流行的 HTTP 路由器,其使用率从 36% 断崖式下跌至 17%。这背后是清晰的行业变迁:该项目于 2023 年正式归档,后又重新开放,但社区开发者也纷纷转向更现代的替代方案。

  • net/http 与 chi 的稳健:标准库 net/http 依然是 32% 开发者的选择,证明了 Go 社区“无框架”的极简主义哲学依然拥有强大的生命力。特别是在 Go 1.22 引入了增强的模式路由后,标准库的吸引力进一步提升。而 chi 则凭借其轻量、地道 (idiomatic) 且与 net/http 完全兼容的特性,使用率稳步增长至 12%,成为了 gorilla/mux 的主要“生态位继承者”。

  • 新星 Fiber 的崛起:作为一个 2020 年才出现的框架,Fiber 凭借其对性能和简洁性的极致追求,迅速获得了 11% 的市场份额,紧追 Echo (16%),显示出强劲的增长势头。

可以看到:Go Web 生态呈现出清晰的“一超多强”格局。Gin 满足了大多数人对“全功能框架”的需求,而 net/http 和 chi 则服务于“标准库优先”的极简主义者。一个时代的结束 (gorilla/mux),必然伴随着新秩序的建立。

测试生态的“范式转移”:标准库光环正在褪色

如果说 Web 框架的变迁是意料之中,那么测试领域的趋势则足以让许多“原教旨主义者”感到震惊。

  • 标准库 testing 使用率大幅下降:作为 Go 内置的测试解决方案,其使用率从 2020 年的 60%,锐减至 2025 年的 35%

这背后传递出一个强烈的信号:虽然 testing 包奠定了 Go 简洁、一致的测试文化,但报告明确指出,“对于大型或企业级项目,其能力往往是不够的。”

那么,Gopher 们转向了哪里?

  • testify 成为断言事实标准:testify 的使用率从 19% 增长到 27%。其提供的丰富、易读的断言函数(如 assert.Equal, require.NoError),完美地弥补了标准库在这一领域的空白。
  • gomock 成为 Mocking 核心选择:gomock 的使用率从 12% 飙升至 21%。在 Go 这种面向接口编程的语言中,一个强大、易用的 Mocking 框架,对于编写可维护的单元测试至关重要。

测试领域的数据,最深刻地反映了 Go 生态的演进哲学。“标准库优先”的信仰,正在被“生产力优先”的务实主义所修正。 当标准库提供的“电池”不足以驱动复杂的企业级应用时,社区会毫不犹豫地选择 testify 和 gomock 这样经过实战检验的“外挂电池组”。

工具链的“军备竞赛”与 AI 的全面渗透

报告还揭示了其他领域的“赢家”:

  • 日志:log/slog (Go 1.21+ 新标准) 成为新项目的自然选择,而 logrus 虽进入维护模式但依然稳定,高性能场景则由 zap 和 zerolog 占据。
  • 数据库:轻量级封装 (sqlx, pgx) 与重量级 ORM (GORM, ent) 之间,依然是两种哲学之争,但报告承认 ORM 在“重度抽象”场景下是推荐的选择。
  • CLI:cobra 凭借其在 kubectl 和 helm 等大型项目中的成功,成为构建复杂 CLI 的不二之选,而 bubbletea 则引领了 TUI(文本用户界面)的复兴。
  • 静态分析:golangci-lint 已成为社区公认的“全家桶” Linter 运行器。

一个值得关注的新趋势是 AI 的全面渗透。 超过 70% 的 Go 开发者正在日常使用 AI 编程助手。报告给出了一个极具洞察力的解释:

Go 语言的简洁性、结构化和可预测性,使其特别适合基于 LLM 的代码生成。即使是基础的 AI 代码补全和测试生成,在处理 Go 的样板代码(如 if err != nil)时,也能提供巨大的价值。

这似乎将 Go 曾被诟病的“繁琐”,在 AI 时代,意外地转化成了一种“AI 友好”的优势。

小结:演进中的信仰——“标准库优先”,但不再是“标准库唯一”

Go 语言 16 岁了。少年已成,风华正茂。它已经进入了一个成熟、稳定,但也更加多元和务实的阶段。JetBrains 的这份报告,为我们描绘了一幅清晰的画卷,也回答了我们开篇的提问。

Gopher 的“原生信仰”并未动摇,它只是演进得更加成熟和包容。

“标准库优先”的哲学,依然是 Go 文化的起点和基石。它塑造了 Gopher 们对简洁、可靠和“无魔法”的共同追求,是区分 Go 与其他生态的鲜明旗帜。

然而,数据清晰地表明,当面对真实世界中大规模、复杂的工程挑战时,Go 社区已经勇敢地走出了“标准库唯一”的象牙塔。开发者们正在积极地、大规模地拥抱那些能够真正提升生产力、填补标准库能力空白的第三方库和框架。

16 岁的 Go,不再是一个只需要“内置电池”就能跑遍天下的少年。它已经成长为一个拥有强大“充电宝”和“配件”生态系统的成熟平台。这,并非信仰的动摇,而是成长的必然。这,正是一个健康、繁荣的技术生态走向未来的标志。

资料链接:https://blog.jetbrains.com/go/2025/11/10/go-language-trends-ecosystem-2025/


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

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

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

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

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


想系统学习Go,构建扎实的知识体系?

我的新书《Go语言第一课》是你的首选。源自2.4万人好评的极客时间专栏,内容全面升级,同步至Go 1.24。首发期有专属五折优惠,不到40元即可入手,扫码即可拥有这本300页的Go语言入门宝典,即刻开启你的Go语言高效学习之旅!


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

© 2025, bigwhite. 版权所有.

PGO 驱动的“动态逃逸分析”:w.Write(b) 中的切片逃逸终于有救了?

2025-11-13 08:28:37

本文永久链接 – https://tonybai.com/2025/11/13/proposal-dynamic-escapes

大家好,我是Tony Bai。

io.Writer,这个在 Go 语言中无处不在的神圣接口,其背后却隐藏着一个困扰了性能敏感型开发者多年的“隐形成本”。当你将一个在函数内创建的字节切片 b 传递给 w.Write(b) 时,这个切片几乎总是会逃逸 (Escape) 到堆上,导致一次不必要的内存分配。

为什么?因为编译器不知道 w 的具体实现是什么,它必须做出最保守的假设。然而,一个由 Go 核心贡献者 thepudds 提交的新提案(#72036),正试图通过引入一种由 PGO (Profile-Guided Optimization) 驱动的“动态逃逸分析”新机制,来从根本上解决这个顽疾。

这项技术,真的能拯救 w.Write(b) 吗?它背后的原理又是什么?

本文将深入剖析这场旨在消除接口调用隐形开销的编译器“外科手术”。

接口调用的性能“原罪”:保守的逃逸分析

让我们通过一个简单的基准测试,来直观地感受这个问题:

package main

import (
    "io"
    "testing"
)

// 一个“良好”的 Writer 实现,它不会保留传入的切片
type GoodWriter struct{}
func (g *GoodWriter) Write(p []byte) (n int, err error) {
    return len(p), nil // 只是假装写入,然后丢弃
}

// 核心函数
func CallWrite(w io.Writer, x byte) {
    // 这个切片的底层数组,目前会逃逸到堆上
    b := make([]byte, 0, 64)
    b = append(b, x)
    w.Write(b) // 问题就出在这行接口方法调用
}

func BenchmarkCallWrite(b *testing.B) {
    g := &GoodWriter{}
    b.ReportAllocs()
    for i := 0; i < b.N; i++ {
        CallWrite(g, 0)
    }
}

运行这个基准测试,你会得到如下结果(因机器和go版本不同而已):

BenchmarkCallWrite    31895619    47.36 ns/op    64 B/op    1 allocs/op

注:在我的macOS 15.7.1以及Go 1.25.3下,只有关闭优化,才能看到那一次64字节的堆内存分配。

尽管 GoodWriter 的实现极其简单,并没有对切片 b 做任何“出格”的事情,但每次调用 CallWrite 依然产生了一次 64 字节的堆分配

原因在于:当编译器分析 CallWrite 函数时,它只知道 w 是一个 io.Writer。它无法预知在运行时,w 的具体类型究竟是什么。万一传入的是一个“邪恶”的实现呢?

// 一个“邪恶”的 Writer,它会将切片泄露到一个全局变量中
var global []byte
type LeakingWriter struct{}
func (w *LeakingWriter) Write(p []byte) (n int, err error) {
    global = p // 切片被泄露了!
    return len(p), nil
}

为了保证内存安全,编译器必须采取最保守的策略:假设任何传递给接口方法调用的指针或切片,都可能会逃逸。因此,它只能将 b 的底层数组分配在堆上。这就是接口调用的性能“原罪”。

新范式 —— PGO 如何赋能“条件化栈分配”

提案 #72036 的核心思想,是让编译器变得更“聪明”,不再做出“一刀切”的最坏假设。它引入了一种被称为“动态逃逸” (Dynamic Escapes)“条件化栈分配” (Conditional Stack Allocation) 的新机制,并与 PGO 紧密结合。

工作原理

  1. PGO 收集信息:当你开启 PGO 进行构建时,编译器会利用真实的运行时 profile 数据,分析出在 CallWrite 函数的调用点,w 这个接口变量最常见的具体类型是什么。假设 profile 显示,99% 的情况下,w 都是 *GoodWriter。

  2. 编译器进行“去虚拟化(devirtualize)”重写:基于这份 profile 数据,编译器会在内部(IR 层面)对 w.Write(b) 的调用进行一次“乐观的”重写,其逻辑等价于:

// 编译器在内部生成的伪代码
tmpw, ok := w.(*GoodWriter)
if ok {
    // 快速路径:我们“猜” w 是 *GoodWriter
    tmpw.Write(b) // 这是一个具体类型的方法调用!
} else {
    // 慢速路径:猜错了,走常规的接口调用
    w.Write(b)
}
  1. 逃逸分析的“升级”:新提案的关键,就是让逃逸分析能够理解这个 if-else 分支

    • 在 if ok 的分支中,编译器现在可以明确地分析 (*GoodWriter).Write 的具体实现,并证明在这个分支中,切片 b 不会逃逸
    • 在 else 分支中,编译器依然做出最坏的假设,认为 b 会逃逸
  2. 条件化分配:基于上述分析,编译器最终会生成一段神奇的代码,其逻辑等价于:

// 编译器最终生成的伪代码
tmpw, ok := w.(*GoodWriter)
if ok {
    // 快速路径:在栈上分配 b!
    var b_stack [64]byte
    b := b_stack[:0]
    b = append(b, x)
    tmpw.Write(b)
} else {
    // 慢速路径:在堆上分配 b
    b := make([]byte, 0, 64)
    b = append(b, x)
    w.Write(b)
}

通过这种方式,对于那 99% 的常见情况,内存分配被成功地从堆转移到了栈,实现了零分配!

实证 —— 10 倍性能提升背后的编译器魔法

提案作者 thepudds 已经实现了一个原型,其基准测试结果令人振奋。在使用 PGO 开启这项优化后,我们最初的 benchmark 结果发生了翻天覆地的变化:

是的,你没看错。通过让编译器变得更“智能”,一个看似无解的性能问题被很好解决,带来了数量级的性能提升

未来展望 —— 从“动态逃逸”到 runtime.free

这个提案目前仍处于工作原型 (WIP) 阶段,但它为 Go 的未来性能优化,打开了一扇充满想象力的大门。

  • 更广泛的应用:这种“条件化分配”的机制,未来可能扩展到更多场景,例如处理大小可变的切片、优化闭包调用等。
  • 运行时 free:提案作者还提到了一个更激进的探索——在 Go 运行时中引入一个内部的 runtime.free 函数。这可以让编译器在某些可以静态证明安全的情况下,实现对堆内存的手动释放和快速重用,从而进一步降低 GC 压力。目前runtime.free进展反倒更快,已经有多个cl被merge到tip版本中了,很大可能在Go 1.26版本以实验特性落地。
  • 静态去虚拟化(devirtualize):这种基于类型信息进行优化的思路,未来甚至可能在没有 PGO 的情况下,通过更强的静态分析来实现。

小结

NO.72036 提案是 Go 编译器和运行时近年来在性能优化领域最令人兴奋的探索之一。它不再满足于对具体代码模式的“小修小补”,而是试图从根本上,通过赋予逃逸分析“理解”控制流和运行时类型信息的能力,来解决一整类长期存在的性能顽疾。

虽然这项功能何时能进入正式版尚无定论,但它清晰地指明了 Go 团队的演进方向:在保持语言简洁性的同时,通过让编译器和工具链变得越来越“聪明”,来持续压榨硬件的每一分潜能。 w.Write(b) 中的切片逃逸问题,看起来终于有救了。


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

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

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

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

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


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

© 2025, bigwhite. 版权所有.

Go 的 16 年:一门为持久而生的编程语言

2025-11-12 08:25:02

本文永久链接 – https://tonybai.com/2025/11/12/16-years-of-go-a-programming-language-built-to-last

大家好,我是Tony Bai。

每年的十一月,对于全球的 Gopher 而言,都是一个值得纪念的特殊时刻。今年,我们迎来了 Go 语言公开发布的第 16 个年头。

在众多的庆祝文章中,来自 Go 社区的知名组织 Ardan Labs 发布的这篇《Go 的 16 年:一门为持久而生的编程语言》,以其深邃的洞察力和饱满的情感,深深地打动了我们。

这篇文章不仅仅是对 Go 历史里程碑的简单罗列,更是一次对 Go 设计哲学——克制、清晰与长远思考——的深刻致敬。文章精准地捕捉了 Go 从解决 Google 内部的工程困境,到成为现代云原生基石的宏大叙事。我们相信,无论对于已经与 Go 同行多年的资深开发者,还是刚刚踏上 Gopher 之旅的新人,这篇文章都能带来启发与共鸣。

为此,我特将其全文翻译为中文,希望能与中文 Go 社区的各位一同分享这份喜悦与思考。以下是正文:


每年的十一月,Go 社区都会为我们这个时代最具悄然变革力量的编程语言之一,庆祝又一个里程碑。

诞生于 Google 并于 2009 年向世界发布的 Go,旨在解决大规模软件构建、庞大代码库、分布式系统以及跨大洲团队协作的复杂性。十六年后的今天,Go 诞生之初秉持的原则——简洁、快速和可靠——依然指导着它的发展。

正如 Go 团队在去年的周年纪念博文中所写:“Go 是为 2007 年的软件工程问题而构建的,但它仍在解决 2024 年的挑战,以及那些尚未到来的挑战。”

起源故事

这门语言源于 Google 三位工程师——Robert Griesemer, Rob Pike, 和 Ken Thompson——的挫败感,他们想要一门像 C 一样快、像 Python 一样高效、并且能满足 Google 基础设施规模化需求的语言。

他们并不想彻底革新编程,他们只是想让编程再次变得令人愉悦。

正如Rob Pike曾经说过的那样,“Go 是一次关于我们能去除什么的实验。”他们去除的过度复杂性、无休止的编译时间和混乱的依赖关系,反而成为了 Go 最大的优势。

Go 编程语言为何能迅速走红

Go 不仅仅是又一门新语言;它是对过度工程化的一次宣言。其设计目标使其脱颖而出:

  • 快速编译:代码在数秒内完成构建,而非数分钟。
  • 简洁性:极简的特性集,强调清晰与可读性。
  • 并发:轻量级的 goroutine,使并发编程变得实用。
  • 静态类型 + 安全性:在不牺牲开发速度的前提下,保证类型安全。
  • 一流的工具链:go fmt、go test、go mod 及其他工具,塑造了 Go 的工匠精神文化。

这些价值观深深地触动了那些厌倦了语言功能蔓延的工程师们,也触动了那些需要稳定、可维护系统的公司。

现实世界中的 Go

多年来,Go 已悄然成为现代Web的支柱。它驱动着 Docker、Kubernetes、Terraform 和 Prometheus——当今云原生生态系统的根基。

在 Google 内部,它在后端系统中每秒处理数十亿次请求。在 Google 之外,它已成为初创公司构建分布式系统和企业级工具的首选,这些场景都要求在没有摩擦的情况下获得高性能。

“Go 诞生于 14 年前,至今它仍是唯一一门让并发感觉如此简单的语言。”

这种观点体现了 Go 在开发者领域中的独特地位:它既足够古老,经受住了考验,又足够现代,能够不断演进发展。

值得庆祝的里程碑

Go 的时间线上,点缀着一些关键时刻,展示了这门语言是如何有意识地演进的:

  • 2009年:Google 正式公开发布 Go语言。
  • 2012年:Go 1.0 发布,并作出了向后兼容的承诺。
  • 2015–2018年:Go 成为容器化工具和微服务的标准。
  • 2022年:泛型在 Go 1.18 中到来——一个期待已久的里程碑。
  • 2024年:Go 位列全球最常用的十大语言之一,并在 AI 服务和边缘计算领域的采用率迅速增长。

正是这种稳定性,加上审慎的创新,让 Go 得以经久不衰。当其他语言追逐潮流时,Go 始终立足于实用性。

是什么让 Go 与众不同

与许多在每个新版本中不断膨胀的现代语言不同,Go 的演进一直很保守,而这种克制最终得到了回报。

Go 团队保持了一种罕见的、对向后兼容的承诺。十年前编写的代码,今天依然可以编译和运行。对于那些需要跨越数年甚至数十年维护生产系统的组织来说,这种信任是无价的。

Go 的简洁性也促进了团队协作。开发者可以快速上手代码库并投入工作。没有无休止的语法或模式争论,只有简洁、直接且高效的代码。

这种清晰性塑造了一个重视协作而非“炫技”的社区。

社区的经验教训

在一份以前的 Reddit 周年纪念帖子 中,开发者们回顾了 Go 是如何改变他们职业生涯的:

“Go 让我重新爱上了编程。”

“它不花哨,但它能搞定事情,这就是我爱它的地方。”

这些故事体现了 Go 的不朽精神;与其说是炒作,不如说是把工作做好。

下一章

Go 的下一个十年,将不仅仅是关于 Web 服务器和 API。其生态系统正在扩展到AI 基础设施、数据流边缘计算等领域,在这些地方,性能、并发和简洁性至关重要。

根据 Go 团队的 15 周年博文,当前的工作重点是:

  • 利用现代 CPU 架构,优化运行时性能。
  • 改进生产系统中的遥测、可观测性和性能分析。
  • 确保 Go 能够随着下一代硬件的发展而持续扩展。

对于押注 Go 的开发者和组织来说,这意味着一件事:这门语言没有放慢脚步,它正在升级。

Go的2025年:稳步求精,基础更牢固

发布于 2025 年 8 月的 Go 1.25 版本,体现了这门语言标志性的演进方式——安静、审慎的改进,而非颠覆。虽然没有破坏性变更,但几项更新有意义地加固了 Go 的基础。通过移除旧的“core type”概念,语言规范得以简化,澄清了类型推断和泛型的工作方式。工具链变得更精简、更快速,工具现在按需构建,go.mod 中加入了新的ignore指令,同时 go vet, go doc, 和 go version 等命令也得到了增强。

在底层,运行时获得了容器感知能力,能够根据 CPU 限制自动调整 GOMAXPROCS,使 Go 在云和边缘环境中更加高效。一个新的实验性垃圾回收器(greenteagc)提供了明显更低的停顿时间,而“ Flight Recorder”追踪则引入了持续的、低开销的可观测性。编译器和链接器现在能生成 DWARF 5 调试信息,以获得更小的二进制文件和更快的构建速度,同时修复了一个微妙的空指针 bug,提升了运行时安全。

在标准库中,开发者现在可以通过 testing/synctest 更容易地测试并发代码,并可以试用更快、更灵活的 encoding/json/v2 包。平台支持也向前迈进——现在要求 macOS 12 或更新版本,而 32 位 Windows ARM 将在此版本后停止支持。

总而言之,Go 1.25 提醒了我们这门语言为何能经久不衰:它在不破坏信任的前提下演进,用稳定、有影响力的进步,取代了喧嚣的炒作。

(来源: go.dev/doc/go1.25

为 Go 干杯

在 Go 语言诞生 16 周年之际,我们不妨停下来,细细品味它所代表的意义。它不仅仅是一门编程语言,更是一种工程理念,其核心在于克制、清晰和长远思考。

在 Ardan Labs,我们亲眼见证了 Go 如何帮助团队构建可靠、可扩展的系统,从企业平台到初创原型,无所不包。它帮助工程师专注于真正重要的事情:解决实际问题,而不是与工具较劲。

祝愿 Go 语言再创辉煌一年。

不追逐潮流的语言,才能超越潮流而长存。


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

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

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

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

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


想系统学习Go,构建扎实的知识体系?

我的新书《Go语言第一课》是你的首选。源自2.4万人好评的极客时间专栏,内容全面升级,同步至Go 1.24。首发期有专属五折优惠,不到40元即可入手,扫码即可拥有这本300页的Go语言入门宝典,即刻开启你的Go语言高效学习之旅!


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

© 2025, bigwhite. 版权所有.

“学习 Go 毁掉了我钟爱的其他语言”:一场网络热议揭示 Go 开发者真正的爱与痛

2025-11-11 20:19:08

本文永久链接 – https://tonybai.com/2025/11/11/go-developers-love-pain-online-debate

大家好,我是Tony Bai。

近日,一条开发者 Mario Verbelen 发布的推文——“学习 Go 毁掉了我钟爱的其他语言,但我不在乎。因为它真的太棒了。”——意外地在技术圈引起了一场关于 Go 语言的集中讨论。上百的开发者涌入评论区,分享着他们与 Go 的“爱恨情仇”。这场热议如同一面镜子,清晰地映照出 Go 在 2025 年的开发者心中究竟占据着怎样的位置。

它不仅仅是一句玩笑或一句赞美,更像是一个“投名状”,代表着一种特定的开发哲学。

在本文中,我们将深入这场热议的中心,剖析开发者们口中 Go “毁灭性”吸引力的来源,探讨其在与其他主流语言的比较中展现出的独特价值,并审视那些至今仍在社区中引发激烈辩论的核心议题。

Go 的“甜蜜点”:Python 的生产力与 C 的性能

在这场讨论中,一个反复出现的核心观点是:Go 完美地击中了一个业界长期寻求的“甜蜜点”。正如一位开发者所言:“我真的很喜欢 Python,但当你遇到性能瓶颈不得不切换到 C 时,这很烦人。Go 几乎和 Python 一样高效,同时又和 C 一样快,这正是我想要的。”

这句评论精准地概括了 Go 的核心价值主张(即“爱”之所在):

  • 简洁的语法与强大的工具链: 许多开发者认为,Go 之所以能媲美 Python 的生产力,得益于其极简的语言设计、快速的编译/调试循环以及“开箱即用”的强大标准库和工具集。一位开发者甚至感叹:“Go 是第一门感觉像一个完整操作系统的语言——线程、异步、发布/订阅、服务、管道、定时任务,所有这些都在一个进程内。”
  • 毫不妥协的性能: 与此同时,Go 能够编译成无依赖的单一二进制文件,其性能表现足以比肩 C/C++。这使得开发者无需在开发速度和运行速度之间做出痛苦的抉择。
  • “无聊”即是美德: 相较于其他语言生态中层出不穷、令人眼花缭乱的“时髦框架”,Go 推崇的是清晰、直接、甚至略显“无聊”的代码。正如评论所说,“笨拙/无聊的代码就是最好的代码”。这种对朴素和可读性的追求,使得大型项目和团队协作变得异常轻松。

激烈的哲学辩论:GC、if err != nil 与泛型

当然,没有任何一门语言是完美的。这场讨论也成为了 Go 核心设计哲学争议(即“痛”之所在)的缩影。

垃圾回收 (GC):是福是祸?

一位用户指出:“与 Rust/Zig/C 等语言相比,Go 唯一的大缺点就是 GC”。这代表了一部分追求极致性能和内存控制的开发者的心声。然而,立刻有开发者反驳:“GC 并没有妨碍我,那只是 Go 早期的事,现在的实现已经非常好了。” 这场辩论揭示了 Go 的一个关键取舍:用一个高度优化的现代 GC 来换取巨大的开发便利性,放弃手动内存管理的复杂性和风险。 对于绝大多数后端应用而言,这笔交易显然是划算的。

if err != nil:是“圣杯”还是“紧箍咒”?

Go 标志性的错误处理模式 if err != nil 再次成为焦点。有新用户开玩笑说:“看来你还没熟悉 if err != nil,祝你好运。” 而资深 Go 开发者则回应:“你需要拥抱它,这是一个强大的思想。”

这场看似调侃的互动背后,是 Go 对待错误的严肃态度。Go 强制开发者显式地处理每一个可能的错误,拒绝了 try-catch 带来的隐式控制流。虽然这有时会显得冗长,但它换来的是代码的健壮性和确定性,这对于构建可靠的系统至关重要。

泛型:爱它还是恨它?

自 Go 1.18 引入泛型以来,社区对此的看法仍存在分歧。一位开发者怀旧地表示:“我想回到 Go 还没有泛型的那个时代。” 这代表了一种对 Go 极致简单的怀念。而另一方则认为:“我发现(泛型)的实现很好”。这反映了 Go 在演进过程中的平衡艺术:在不破坏语言核心简单性的前提下,谨慎地引入新特性以解决实际问题。

生态位:在 Rust、Python 和 C 的世界里,Go 的位置在哪?

这场讨论最精彩的部分,莫过于 Go 在与其他主流语言的横向对比中展现出的清晰定位。

  • Go vs. Rust: 该帖子本身就引用了一位Rust开发者的观点:“不幸的是,学习 Rust 毁掉了几乎所有其他语言。” 这句话开启了 Go 和 Rust 的经典对比。社区的共识是,Rust 提供了无与伦比的内存安全和零成本抽象,但在学习曲线(尤其是所有权和借用检查器)和开发心智负担上远超 Go。Go 则凭借其简单性和 Goroutine 并发模型,在网络服务和分布式系统领域提供了“足够好”的性能和更高的开发效率。
  • Go vs. Python: 如前所述,Go 已成为许多 Python 开发者在遇到性能瓶颈时的首选“升级”路径。它保留了 Python 的部分开发乐趣,同时提供了系统级语言的性能。
  • Go vs. C: 本帖作者 Mario Verbelen 精辟地总结道:“写脚本语言感觉像戴着手铐,而写 C 感觉像是在没有保护的情况下用胶带粘合各种库。” Go 则提供了 C 的性能,却拥有一个安全的、现代化的标准库和工具生态。

小结:一种务实的“毁灭性”吸引力

“学习 Go 毁掉了我钟爱的其他语言”,这句网络热梗的背后,并非是对其他语言的贬低,而是一种对 Go 核心哲学的深度认同。Go 的吸引力源于其毫不妥协的务实主义

它不追求成为最精巧、最纯粹或功能最丰富的语言。相反,它专注于解决软件工程中最常见、最头痛的问题:快速编译、轻松部署、简单并发、高效性能和大规模团队协作。它用一点“无聊”和“冗长”,换来了巨大的工程确定性和生产力。

对于那些厌倦了复杂构建系统、重量级框架和隐晦运行时行为的开发者而言,Go 提供了一种返璞归真的体验。正是这种聚焦于核心问题的“毁灭性”吸引力,让无数开发者在接触 Go 之后,便再也“回不去了”。

资料链接:https://x.com/MarioVerbelen/status/1984164183395758564


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

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

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

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

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


想系统学习Go,构建扎实的知识体系?

我的新书《Go语言第一课》是你的首选。源自2.4万人好评的极客时间专栏,内容全面升级,同步至Go 1.24。首发期有专属五折优惠,不到40元即可入手,扫码即可拥有这本300页的Go语言入门宝典,即刻开启你的Go语言高效学习之旅!


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

© 2025, bigwhite. 版权所有.