标签 http 下的文章

Twitch工程师的Go进阶之路:为何你写的Go代码,总感觉“不对劲”?

本文永久链接 – https://tonybai.com/2025/07/04/everything-i-did-to-become-an-expert-in-golang

大家好,我是Tony Bai。

你是否也有过这样的时刻?

你已经用 Go 写了不少代码,项目也能跑起来,但内心深处总有一种挥之不去的“别扭感”。你写的 Go 代码,看起来更像是“带有 Go 语法的 Java/Python”,充斥着你从旧语言带来的思维习惯。代码或许能工作,但它不优雅,不简洁,总感觉“不对劲”。

最近,Twitch 的一位资深机器学习工程师 Melkey 分享了他从 Go 小白成长为生产级系统开发者的心路历程。他的故事,完美地诠释了如何突破这个瓶颈,完成从“会写”到“写好”Go 的关键一跃。

在这篇文章中,我们就来解读一下这位工程师的Go专家之路,看看从中可以借鉴到哪些有意义的方法。

从“被迫营业”到“感觉不对”的困境

和许多人一样,Melkey 开始学习 Go 并非出于热爱,而是因为工作的“逼迫”。2021年,当他以初级工程师的身份加入 Twitch 时,他还是一个习惯于用 Python 写脚本的“简单小子”,对 Go 一无所知。为了保住这份改变人生的工作,他别无选择,只能硬着头皮学下去。

很快,他熟悉了指针、静态类型和 Go 的基本语法。但问题也随之而来:他感觉自己的 Go 水平停滞不前,写出的代码“干巴巴的”,缺乏神韵。 他只是在完成任务,却丝毫没有感受到这门语言的魅力,更谈不上建立起真正的理解和喜爱。

这正是许多 Gopher,尤其是从其他语言转来的开发者,都会遇到的困境:我们只是在用 Go 的语法,实现其他语言的逻辑。 我们还没有真正进入 Go 的世界。

“顿悟”时刻:《Effective Go》带来的思维重塑

改变发生在 Melkey 偶然读到 Go 官方文档中的一篇文章——Effective Go 的那一刻。这篇文章里的几段话,像一道闪电,瞬间击穿了他的迷茫:

“A straightforward translation of a C++ or Java program into Go is unlikely to produce a satisfactory result—Java programs are written in Java, not Go.

In other words, to write Go well, it’s important to understand its properties and idioms. It’s also important to know the established conventions for programming in Go… so that programs you write will be easy for other Go programmers to understand.”

这段话的核心思想振聋发聩:将 C++ 或 Java 程序直接翻译成 Go,不可能得到令人满意的结果。要想写好 Go,就必须理解它的特性和惯用法。

Melkey 恍然大悟:他之前所做的,正是这种“直接翻译”的笨拙工作。他缺少的,是一次彻底的“思维重塑”——停止用过去的经验来套用 Go,而是开始真正地用 Go 的思维方式去思考问题。

什么是“Go 的思维方式”?

那么,这种听起来有些玄乎的“Go 思维”究竟是什么?它不是什么神秘的魔法,而是植根于 Go 语言设计中的一系列核心哲学:

1. 崇尚简洁与可读性

Go 厌恶“魔法”。它倾向于用清晰、直白、甚至略显“笨拙”的代码,来换取长期的可读性和可维护性。相比于某些语言中炫技式的语法糖和复杂的隐式行为,Go 鼓励你把事情的来龙去脉写得一清二楚。

2. 组合优于继承

Go 没有类和继承。它通过接口(interface)实现多态,通过结构体嵌入(struct embedding)实现组合。这种方式鼓励开发者构建小而专注的组件,然后像搭乐高一样将它们组合起来,而不是构建庞大而僵硬的继承树。

3. 显式错误处理

if err != nil 是 Go 中最常见也最富争议的代码。但它恰恰体现了 Go 的哲学:错误是程序中正常且重要的一部分,必须被显式地处理,而不是通过 try-catch 这样的语法结构被隐藏起来。它强迫你直面每一个可能出错的地方。

4. 并发是语言的一等公民

Goroutine 和 Channel 不仅仅是两个原生语法元素,它们是一种构建程序的新范式。正如 Rob Pike 所言,“并发不是并行”。Go 鼓励你从设计的源头,就把程序看作是一组通过通信来协作的、独立的并发单元,而不是在写完一堆顺序代码后,再思考如何用线程池去“并行化”它。

从理论到实践:用项目和资源内化新思维

当然,仅仅理解了这些哲学还远远不够。Melkey 强调,在读完所有文档后,他意识到“阅读所能做的就这么多了”,必须将新学到的思想付诸实践。

理论的顿悟,必须通过刻意的项目练习来巩固和内化。下面,就是他亲身走过的、从入门到精通的“四步实战路径”,以及在这条路上为他保驾护航的“精选资源清单”。

一条清晰的实战路径:用四类项目锤炼 Go 思维

  • 第一站:HTTP 服务 (从简单到复杂)

这是 Go 最核心的应用场景,也是梦开始的地方。从最基础的 CRUD、健康检查 API 入手,逐步深入到 OAuth 认证、自定义中间件、利用 context 包进行请求范围内的值传递等。这个过程能让你全面掌握构建生产级 Web 后端所需的各项技能。

  • 第二站:CLI 工具

许多优秀的 Go 开源项目,如 Docker、Kubectl,都是强大的 CLI 工具。通过使用 Cobra、Bubble T 等流行库,去构建自己的命令行应用,你会深刻理解 Go 作为“云原生时代的 C 语言”的工具属性,并学会如何优雅地处理命令行参数、标志和应用状态。

  • 第三站:gRPC 服务

当你感觉 HTTP 服务已驾轻就熟时,就该迈向微服务了。学习 gRPC 和 Protocol Buffers,构建服务间的通信。这将迫使你的思维从处理“用户-服务器”交互,转变为处理“服务-服务”间的交互,是成为分布式系统架构师的关键一步。

  • 第四站:管道作业与脚本

真正的精通,是把一门语言用成“肌肉记忆”。尝试用 Go 替代你过去的脚本语言(如 Python),去编写一些数据处理的管道作业或日常运维脚本,比如批量清洗数据库中的脏数据。这会极大提升你对 Go 标准库的熟练度,让它成为你工具箱里最顺手的那一把。

注:Melkey是机器学习工程师,因为他的第四站中,更多是数据处理相关的实战路径。

良师益友:来自一线的精选资源清单

在这条充满挑战的实践之路上,你不是一个人在战斗。Melkey 也分享了那些曾给予他巨大帮助的“良师益友”。这份清单的宝贵之处在于,它经过了生产一线工程师的真实筛选:

  • Web 后端实战圣经:《Let’s Go Further》 by Alex Edwards

这本书被誉为 Go Web 开发的经典之作。即便时隔数年,其中的原则和实践依然极具价值。我也极力推荐这本书,Alex 的代码风格非常清晰,对初学者极其友好,能帮你打下坚实的基础。

  • 测试驱动开发双璧:《Learn Go with Tests》 & 《Writing an Interpreter in Go》

前者是优秀的在线教程,手把手教你如何通过测试来学习 Go。后者则通过编写一个解释器的过程,让你在实践中深刻理解测试驱动开发(TDD)的精髓。它们不仅教测试,更在教 Go 语言本身。

  • 避坑与最佳实践指南:《100 Go Mistakes and How to Avoid Them》

这是一本能让你快速提升代码质量的“速查手册”。通过学习别人踩过的坑,你可以少走很多弯路,写出更地道、更健壮的 Go 代码。

小结:真正的精通,是一场思维的迁徙

Melkey 的故事告诉我们,精通一门编程语言,从来都不只是学习语法和 API 那么简单。它更像是一场思维的迁徙——你必须愿意放下过去的地图,学习新大陆的规则和文化,并最终成为这片土地上地道的“原住民”

如果你也感觉自己写的 Go 代码“不对劲”,不妨停下来,问问自己:我是在用 Go 的方式思考,还是在用过去的经验翻译?

或许,你的“顿悟”时刻,也正隐藏在重读一遍《Effective Go》的字里行间,或是开启下一个实战项目的决心之中。

你是否也有过类似的“顿悟”时刻?又是哪篇文章、哪个项目或哪位导师,帮助你完成了 Go 思维的重塑?欢迎在评论区分享你的故事。

资料地址:https://www.youtube.com/watch?v=wr8gJMj3ODw


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

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

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

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

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


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

Go的简洁性之辩:轻量级匿名函数提案为何七年悬而未决?

本文永久链接 – https://tonybai.com/2025/06/03/lightweight-anonymous-func-syntax

大家好,我是Tony Bai。

自2017年提出以来,Go语言关于引入轻量级匿名函数语法的提案(Issue #21498)一直是社区讨论的焦点。该提案旨在提供一种更简洁的方式来定义匿名函数,尤其是当函数类型可以从上下文推断时,从而减少样板代码,提升代码的可读性和编写效率。然而,历经七年多的广泛讨论、多种语法方案的提出与激辩,以及来自核心团队成员的实验与分析,截至 2025年5 月底,官方对该提案的最新立场是“可能被拒绝 (likely declined)”,尽管问题仍保持开放以供未来考虑。近期该issue又冲上Go issue热度榜,让我有了对该提案做一个简单解读的冲动。在本文中,我将和大家一起探讨该提案的核心动机、社区的主要观点与分歧、面临的挑战,以及这一最新倾向对 Go 语言和开发者的潜在影响。

冗余之痛:当前匿名函数的困境

在Go中,匿名函数的标准写法是

func(参数列表) (返回类型列表) {
    函数体
}

虽然这种语法明确且一致,但在许多场景下,尤其是作为回调函数或在函数式编程风格(如配合泛型和迭代器使用)中,参数和返回类型往往可以从上下文清晰推断,此时显式声明则显得冗余。

提案发起者 Neil (neild) 给出了一个经典的例子:

func compute(fn func(float64, float64) float64) float64 {
    return fn(3, 4)
}

// 当前写法,类型声明重复
var _ = compute(func(a, b float64) float64 { return a + b })

许多现代语言,如 Scala ((x, y) => x + y 或 _ + _) 和 Rust (|x, y| { x + y }),都提供了更简洁的 lambda 表达式语法,允许在类型可推断时省略它们。这种简洁性被认为可以提高代码的信噪比,让开发者更专注于业务逻辑。

Go匿名函数常见的痛点场景包括:

  • 回调函数:如 http.HandlerFunc、errgroup.Group.Go、strings.TrimFunc。
  • 泛型辅助函数:随着 Go 1.18 泛型的引入,如 slices.SortFunc、maps.DeleteFunc 以及设想中的 Map/Filter/Reduce 等操作,匿名函数的应用更加广泛,其冗余性也更为凸显。
  • 迭代器:Go 1.23 引入的 range over func 迭代器特性,也使得将函数作为序列或转换器传递成为常态,轻量级匿名函数能显著改善其体验(如 #61898 x/exp/xiter 提案的讨论中多次提及)。正如一些开发者指出的,结合迭代器使用时,现有匿名函数语法会使代码显得冗长。

提案核心:轻量级语法的设想

该提案的核心思想是引入一种“非类型化函数字面量 (untyped function literal)”,其类型可以从赋值上下文(如变量赋值、函数参数传递)中推断得出。提案初期并未限定具体语法,而是鼓励社区探讨各种可能性。

Go team的AI 生成的总结指出,讨论中浮现的语法思路主要可以归为以下几种:

  1. 箭头函数风格 (Arrow Function Style): 借鉴 JavaScript, Scala, C#, Java 等。

    • 例如:(x, y) => { x + y } 或 (x,y) => x+y
  2. 保留 func 关键字并进行变体:

    • 例如:func a, b { a+b } (省略参数括号)
    • func(a,b): a+b (使用冒号分隔)
    • func { x, y | return x < y } (参数列表移入花括号,使用 | 或 -> 分隔)
  3. 基于现有语法的类型推断改进:

    • 例如:允许在 func(a _, b _) _ { return a + b } 中使用 _ 作为类型占位符。

其核心优势在于:

  • 减少样板代码: 省略冗余的类型声明。
  • 提升可读性(对部分人而言): 使代码更紧凑,逻辑更突出。
  • 促进函数式编程风格: 降低使用高阶函数和回调的心理门槛。

社区的激辩:争议焦点与权衡

该提案引发了 Go 社区长达数年的激烈讨论,根据 Robert Griesemer 提供的 AI上述总结 和整个讨论链,主要争议点包括:

1. 可读性 vs. 简洁性

  • 支持简洁方: 认为在类型明确的上下文中,重复声明类型是视觉噪音。简洁的语法能让代码更易于速读和理解,尤其是在函数式链式调用中。他们认为 Go 已经通过 := 接受了类型推断带来的简洁性。
  • 强调显式方: 以 Dave Cheney 的名言“Clear is better than clever” 为代表,一些开发者认为显式类型声明增强了代码的自文档性和可维护性。他们担心过度省略类型信息会增加认知负担,尤其对于初学者或在没有强大 IDE 支持的情况下阅读代码。Go密码学前负责人FiloSottile 指出,在阅读不熟悉的代码时,缺少类型信息会迫使其跳转到定义或依赖 IDE。Go元老Ian Lance Taylor也表达了对当前显式语法的肯定,认为其对读者而言清晰度很高。

2. 语法选择的困境

这是提案迟迟未能落地的最主要原因之一。社区提出了数十种不同的语法变体,但均未能形成压倒性的共识。

箭头语法 (=> 或 ->):

  • 优点: 许多开发者因在其他语言中的使用经验而感到熟悉,被认为非常简洁。Jimmy Frasche 的语言调查显示这是许多现代语言的选择。
  • 缺点: 一些人认为它“不像 Go”,=> 可能与 >= 或 <= 在视觉上产生混淆,-> 可能与通道操作 <- 混淆 。Robert Griesemer指出,虽然 (x, y) => x + y 感觉自然,但 (x, y) => { … } 对于 Go 而言感觉奇怪。Ian Lance Taylor也表达了对箭头符号的不完全满意,认为在某些代码上下文中可读性欠佳。

保留 func 并简化:

  • func params {} (省略参数括号):Ian Lance Taylor 和 Robert Griesemer 曾探讨过此形式。主要问题在于 func a, b {} 在函数调用参数列表中可能与多个参数混淆。
  • func { params | body } 或 func { params -> body }:Griesemer 在后期倾向于这种将参数列表置于花括号内的形式,认为 func { 可以明确指示轻量级函数字面量。| 用于语句体,-> (可选地) 用于单表达式体。Jimmy Frasche 对此形式的“DSL感”提出异议,认为其借鉴的 Smalltalk/Ruby 风格在 Go 中缺乏相应的上下文。

其他符号:

如使用冒号 func(a,b): expr ,或 _ 作为类型占位符。Griesemer认为 _ 作为类型占位符会产生混淆。

Robert Griesemer 进行的实验表明,func 后不带括号的参数列表 (func x, y { … }) 在实际 Go 代码中看起来奇怪,而箭头符号 (=>) 则“出乎意料地可读”。他后期的实验进一步对比了 (args) => { … } 和 func { args | … }。

3. 隐式返回 (Implicit Return)

对于单表达式函数体是否应该省略 return 关键字,也存在分歧。

  • 支持方: 认为这能进一步提升简洁性,是许多 lambda 语法的常见特性。
  • 反对方: 担心这会使返回行为不够明确,尤其是在 Go 允许多值返回和 ExpressionStmt (如函数调用本身可作为语句) 的情况下,可能会导致混淆或意外行为。例如 func { s -> fmt.Println(s) },如果 fmt.Println 有返回值,这个函数是返回了那些值,还是一个 void 函数?这需要非常明确的规则,并且可能依赖上下文。

4. 类型推断的复杂性与边界

虽然核心思想是“从上下文复制类型”,但当涉及到泛型时,推断会变得复杂。

  • Map((x) => { … }, []int{1,2,3}) :如果 Map 是 func Map[Tin, Tout any](in []Tin, f func(Tin) Tout) []Tout,那么 Tout 如何推断?是要求显式实例化 Map[int, ReturnType],还是尝试从 lambda 体内推断?后者将引入更复杂的双向类型推断,可能导致参数顺序影响推断结果,或在接口类型和具体类型之间产生微妙的 bug(如 typed nil 问题)。
  • neild 和 Merovius 指出,在很多情况下,可能需要显式提供泛型类型参数,或者接受推断的局限性。Griesemer提出的最新简化方案 (params) { statements } 明确指出其类型是从目标函数类型“复制”而来,且目标类型不能有未解析的类型参数。

5. 对 Go 语言哲学的影响

一些开发者担忧,引入过于灵活或“魔法”的语法会偏离 Go 语言简单、直接、显式优于隐式的核心哲学。他们认为现有语法虽冗长,但足够清晰,且 IDE 工具(如 gopls 的自动补全)已在一定程度上缓解了编写时的痛点。

开发者tmaxmax在其详尽的实验分析中指出,尽管标准库中单表达式函数字面量比例不高,但在其工作代码库中,这类情况更为常见,尤其是在使用泛型辅助函数如 Map、Filter 时。这表明不同代码库和使用场景下,对简洁语法的需求度可能存在差异。

最新动向:为何“可能被拒绝”?

在提案的最新comment说明中 (May 2025),明确指出:

The Go team has decided to not proceed with adding a lightweight anonymous function syntax at this time. The complexity cost associated with the new syntax, combined with the lack of clear consensus on the syntax, makes it difficult to justify moving forward. Therefore, this proposal is likely declined for now. The issue will remain open for future consideration, but the Go team does not intend to pursue this proposal for now.

这一立场由 Robert Griesemer 在上述AI 总结中进一步确认。核心原因可以归纳为:

  1. 缺乏明确共识: 尽管讨论热烈,但社区和核心团队均未就一个理想的、被广泛接受的语法方案达成一致。各种方案都有其支持者和反对者,以及各自的优缺点和潜在问题。
  2. 复杂性成本: 任何新语法都会增加语言的复杂性(学习、实现、工具链维护、文档等)。在收益不明确或争议较大的情况下,Go 团队倾向于保守。
  3. 潜在的微妙问题与可读性担忧: 正如讨论中浮现的各种边界情况(如类型推断与泛型的交互、隐式返回的歧义、私有类型访问限制等),引入新语法需要非常谨慎。Ian Lance Taylor 明确表达了对当前显式语法在可读性方面的肯定,并对省略类型信息可能带来的阅读障碍表示担忧。
  4. 已有工具的缓解作用: 正如一些评论者指出,IDE 的自动补全功能在一定程度上减轻了编写冗长函数字面量的痛苦。

Robert Griesemer进一步总结,将备选方案缩小到 (params) { statements }, (params) { statements }, 和 (params) -> { statements } (或 =>),并指出即使是这些方案,也各有其不完美之处。他强调了在没有明确压倒性优势方案和社区强烈共识的情况下,贸然推进的风险。

影响与未来展望

尽管 #21498 提案目前大概率会被搁置,但它所反映的开发者对于减少样板代码、提升特定场景下编码效率的诉求是真实存在的。

  • 对迭代器和泛型库的影响: 如果提案最终未被采纳,那么严重依赖回调函数的泛型库(如设想中的 xiter 或其他函数式集合库)在使用上将保持当前的冗余度。这可能会在一定程度上抑制纯函数式风格在 Go 中的发展,或者促使开发者寻求其他模式(例如,手写循环或构建更专门的辅助函数)。有开发者认为缺乏简洁的 lambda 语法是阻碍 Go 社区充分实验函数式特性(尤其是迭代器组合)的先决条件之一。

  • 社区的持续探索: 提案的开放状态意味着未来仍有讨论空间。如果 Go 语言在其他方面(如类型系统、元编程能力)发生演进,或者社区就某一特定语法方向形成更强共识,提案可能会被重新激活。tmaxmax 建议将讨论重心从无休止的语法细节转向更根本的动机和语义问题。

  • 工具的进步: IDE 和代码生成工具可能会继续发展,以进一步缓解手动编写完整函数字面量的繁琐。

  • 开发者习惯: Go 开发者将继续在现有语法框架内寻求平衡。对于高度重复的匿名函数模式,可能会更多地采用具名辅助函数或方法来封装。正如 adonovan 的实验所示,某些特定场景(如单 return 语句)可能更容易找到局部优化方案。

小结

Go 语言轻量级匿名函数语法的提案 #21498,是一场关于语言简洁性、可读性、一致性与演进方向的深刻大讨论。它暴露出在追求更现代编程范式便利性的同时,维护 Go 语言核心设计哲学的内在张力。虽然目前看来,由于缺乏明确共识和对复杂性的审慎态度,引入一种全新的、被广泛接受的简洁匿名函数语法道阻且长,但这场长达七年的讨论本身,已经为 Go 社区积累了宝贵的思考、实验数据和经验。未来,无论此提案走向何方,对代码清晰度和开发者体验的追求都将持续驱动 Go 语言的演进。Go 团队将持续观察语言的使用和社区的需求,在合适的时机可能会重新审视此类提案。


在 Go 语言的演进过程中,每一个提案的讨论都凝聚了社区的智慧和对这门语言深沉的热爱。轻量级匿名函数语法的提案,历经七年风雨,虽然目前官方倾向于搁置,但这扇门并未完全关闭。

对于 Go 开发者来说,这场旷日持久的讨论留下了哪些值得我们深思的问题?

  • 你认为在当前 Go 的语法体系下,匿名函数的冗余是亟待解决的痛点吗?或者你认为现有的显式声明更符合 Go 的哲学?
  • 在可读性、简洁性和语言复杂性之间,你认为 Go 应该如何权衡?
  • 如果未来 Go 语言采纳某种形式的轻量级匿名函数,你最期待哪种语法特性(例如,类型推断、隐式返回、特定符号)?
  • 你是否在自己的项目中因为匿名函数的冗余而选择过其他编码模式?欢迎分享你的经验和看法。

我期待在评论区看到你的真知灼见,共同探讨 Go 语言的现在与未来!

img{512x368}


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

如发现本站页面被黑,比如:挂载广告、挖矿等恶意代码,请朋友们及时联系我。十分感谢! Go语言第一课 Go语言进阶课 Go语言精进之路1 Go语言精进之路2 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