从系统与后端工程视角看 Go 语言的 5 项设计特性

引言

编程语言是用于构建产品的工具。仅仅使用某种语言,并不能决定开发者的能力高低。但是,选择哪种语言以及如何运用它,会直接影响开发者的思维方式和成长方向。尤其是跳出当前使用的语言,与其他语言进行比较,对于拓宽技术视野和培养对本质的敏感度有很大帮助。本文将从五个方面展开,谈谈我为什么选择 Go,以及它在哪些方面有助于开发者的成长。

1. Go 是一门在性能与生产力之间取得平衡的语言。

世界上存在众多编程语言,每种语言都因其特性而具有各自的优缺点。

• C 具备卓越的性能和底层控制能力,但需要开发者亲自管理内存,且缺乏高级功能,因此生产力较低,维护也较为困难。
• C++ 与 Rust 支持面向对象、模板、元编程等多种高级特性,但语法复杂,学习曲线陡峭,并且编译速度较慢,不适合频繁部署。
• Java 与 C# 提供平台独立性和稳定性,被广泛用于大规模服务,但它们运行在较重的虚拟机之上,部署和运行环境复杂,资源需求也较高。
• Python 与 Javascript 凭借简洁的语法和丰富的生态系统,适合快速开发,但执行性能较低,生态系统的可靠性不足,在大规模系统中会暴露出结构性局限。

与此相反,Golang 是一门在性能与生产力之间实现出色平衡的语言。Go 与 C 一样是编译型语言,因此能够保证较高的执行性能,同时凭借快速的编译速度,提供接近解释型语言的部署灵活性。也就是说,Go 是一门没有明显短板、能够在大多数环境中稳定使用的均衡型语言。

2. Go 能够防止货物崇拜式编程。

第二次世界大战期间,盟军为支援战争,在太平洋的岛屿上修建了空军基地。大量的补给品和军事装备援助极大地改变了军人与当地原住民的生活。岛民们第一次看到飞机载着成衣、罐头食品及其他物品抵达。战争结束后,基地被废弃,货物也不再到来。于是岛上居民模仿军人,穿上空中交通管制员、军人和船员的服装,修建了类似跑道的场地,并用木棍向飞机发出降落信号。他们还持续举行游行,希望让货物能够像从前一样通过降落伞落下。然而,他们所等待的飞机始终没有到来。

货物崇拜式编程是指不理解代码或技术的原理,只是模仿其表面形式的开发习惯。在现代开发者中,尤其是在网页开发领域,不理解其含义便照搬的习惯十分常见。React、Next、Spring、Django 等框架使得开发者无需了解内部结构也能进行开发,但面对哪怕是很小的错误,也往往无法妥善应对。再加上近来 AI 代码生成工具的出现,不去亲自编写代码或理解原理,而只是复制粘贴结果的开发方式更加普遍。

Go 从语言哲学层面根本性地抵制这一问题。Go 是一门以标准库为中心而非以框架为中心设计的语言。开发者仅凭 net/http、database/sql 等基础库,就能构建达到实际服务水平的 Web 服务器,并由此自然地培养对网络、数据库、I/O 等底层结构的直觉与理解。这种不依赖框架、扎实掌握基本功的结构,能够成为开发者在不丢失技术本质的前提下持续成长的基础。

3. Go 提供强大的并发模型。

现代 CPU 的发展方向不是单纯提高单核速度,而是充分利用多个核心并行处理以提升性能。因此,让一个程序能够同时处理多项任务的并发能力已成为必需,能够高效设计和实现并发的语言的重要性也日益增加。 Go 是针对这种环境而优化的语言。goroutine 是 Go 提供的轻量级线程,只需几 KB 级别的栈即可创建,即使同时运行数千个,也几乎不消耗系统资源。Go 运行时通过自有的 M:N 调度器,将大量 goroutine 高效地分配到 OS 线程上,这一过程无需开发者直接干预,即可自动完成优化。由此,开发者无需复杂的同步逻辑或自定义调度,就能以安全且一致的方式设计并发逻辑。

此外,Go 积极支持利用 mutex、waitGroup 等同步工具,以及 channel、context 的现代并发设计。得益于这种结构,开发者无需被复杂的理论所束缚,也能自然地掌握并发与并行的实际感觉,并达到可在实践中运用的高水平抽象与设计能力。

4. Go 是由优秀开发者们坚守核心理念而打造的语言。

Go 是由 Google 的 Robert Griesemer、Rob Pike、Ken Thompson 等传奇开发者主导诞生的语言。尤其是他们作为 Unix 与 C 语言的创造者,以及编译器和系统软件领域的大师,其本身就证明了 Go 的技术可信度。再加上众多 Google 工程师的实战经验和大规模服务运营诀窍的融入,Go 从一开始就致力于解决现实问题,并以一致的理念和方向不断发展。

其他语言常常因兼容性断裂、设计变更、不稳定的许可证以及非标准化的生态系统,给社区和用户带来困扰。例如,Python 因 2 与 3 之间的兼容性断裂,生态系统分裂了数年;Java 在被 Oracle 收购后许可政策变得不稳定,企业采用它的情况也随之减少。此外,Node.js 至今仍存在 CJS 与 ESM 并存的情况,未能提供一致的模块系统。

相比之下,Go 是将一致性与稳定性视为最高价值的语言。 Go 团队严格维持向后兼容性,在引入新功能时也坚持渐进式集成的方式,确保不与既有代码冲突。在语法方面,Go 避免不必要的关键字,并限制过度抽象,从而防止语言本身变得不必要地复杂。同时,go fmt、go mod、go build、go test 等一致的官方工具链,引导所有 Go 项目采用相同的开发环境和结构;而强大且实用的标准库,无需额外框架即可充分支持 Web 服务器、文件处理、数据库连接等实际开发所需的大部分功能。

5. Gopher 很可爱。