本文永久链接 – https://tonybai.com/2025/08/25/go-is-still-not-good

大家好，我是Tony Bai。

在技术圈，平静的湖面下往往暗流涌动。对于Go语言社区而言，这股潜藏已久的暗流，被近期的一篇名为《Go is still not good》的博文彻底引爆。作者Thomas Habets，一位自称拥有超过十年Go使用经验的资深开发者，在他的这篇文章中系统性地列举了他眼中Go语言的“七宗罪”。这篇文章迅速登上Hacker News热榜，吸引了超过700条评论，形成了一场规模空前的社区大辩论。

参与者中不乏Go的早期采纳者、贡献者和日常重度使用者。他们争论的焦点，早已超越了语法糖的优劣，直指Go语言最核心的设计哲学——那些曾被誉为“简单”和“务实”的基石，如今在一些开发者眼中，却成了束缚发展、埋下隐患的“原罪”。

在这篇文章中，我就和大家一起跟随这场激辩，逐一剖析这引发轩然大波的“七宗罪”，看看从中能得到哪些有益的启示。

第一宗罪：歧义之空——nil 的双重身份

这是Go语言中最著名的“陷阱”，也是原文作者打响的第一枪。一个持有nil指针的接口变量，其自身并不等于nil。

package main

import "fmt"

type Error interface {
    Error() string
}

type MyError struct{}

func (e *MyError) Error() string { return "my error" }

func GetError() *MyError {
    // 假设在某种条件下，我们返回一个 nil 的具体错误类型指针
    return nil
}

func main() {
    var err Error = GetError()

    // 输出: false
    // 尽管接口 err 内部持有的值是 nil，但接口本身因为包含了类型信息 (*MyError)，所以它不为 nil。
    fmt.Println(err == nil) 

    if err != nil {
        // 这段代码会被执行，然后可能在后续操作中引发 panic
        fmt.Printf("An error occurred: %v (type: %T)\n", err, err)
        // err.Error() // 若MyError的Error方法有解引用操作，此处会panic
    }
}

我们知道：Go的接口（interface）在内部实现为一个包含两部分的“胖指针”（fat pointer）：一个指向类型元数据的指针和一个指向实际数据的指针。只有当这两个指针都为nil时，接口变量本身才被认为是nil。在上述例子中，err的内部状态是(type=*MyError, value=nil)。因为类型信息存在，err != nil的判断为真，导致程序逻辑错误地进入了错误处理分支，挑战了开发者的常规直觉。

社区激辩：

• 批评者阵营：Hacker News上，有用户提供了一个经典的Playground示例，展示了这个问题如何在生产环境中导致panic，并评论道：“这确实会在生产中咬你一口，而且在代码审查中极易被忽略。”另一位用户则更为尖锐，他引用了Rob Pike关于Go是为“非研究型、刚毕业的年轻工程师”设计的言论，反问道：“一个声称为了简化编程而设计的语言，却包含如此令人困惑的nil行为，这本身就是一种讽刺。”

• 辩护者阵营：另一派观点认为，这并非缺陷，而是Go底层数据结构逻辑的直接体现。有开发者解释道：“接口值是一个包含类型和值的偶对。(&Cat, nil)当然不等于(nil, nil)。”他们认为，一旦理解了接口的内存模型，这个问题便不再神秘，甚至可以利用这一特性（例如，在nil接收者上调用方法）。然而，这种辩护本身就强化了批评者的观点：一门标榜高级和简单的语言，却要求开发者对底层的实现细节有如此深刻的理解，这是否可以看作设计上的一种失败呢？

第二宗罪：作用域之惑——被迫扩展的err变量生命周期

Go通过if err := foo(); err != nil语法，优雅地将err变量的作用域限制在if块内，这被广泛认为是最佳实践。然而，当函数调用需要返回除error之外的值时，这种优雅便荡然无存。

bar, err := foo()
if err != nil {
    return err
}
// 此处的err变量将在整个函数剩余部分都有效，即使它现在的值是nil

if err = foo2(); err != nil { // 复用err
    return err
}

// ... 大量代码 ...

return err

Go的短变量声明:=要求左侧至少有一个新变量。为了接收bar这个新值，err也被迫在函数作用域内被重新声明（或首次声明）。这导致err的生命周期被人为地拉长，污染了整个函数的作用域。

社区激辩：

• 批评者阵营：原文作者尖锐地指出，这种设计“强迫你做错误的事情”。一个本应是局部的错误变量，现在却像个幽灵一样在整个函数中游荡，增加了代码阅读者的认知负担。读者必须时刻追踪err变量最后一次被赋值的位置，这极易导致bug，尤其是在重构或修改长函数时。
• 辩护者阵营：对此的辩护声音较弱，大多认为这是个“可以忍受的小麻烦”。他们认为，这是为了保持语法一致性（:=的规则）而付出的代价。然而，这恰恰暴露了Go在追求一种形式上的“简单”时，牺牲了更重要的“上下文清晰性”。

第三宗罪：所有权之乱——append的隐式副作用

slice是Go的基石之一，但其与底层数组（backing array）的模糊关系，通过append函数暴露无遗，构成了另一个经典的“搬起石头砸自己的脚”。

原文的例子一针见血地揭示了append行为的不可预测性：

package main

import "fmt"

func main() {
    // 案例一：当容量足够时，发生“幽灵写入”
    a := []string{"hello", "world", "!"}
    b := a[:1]                 // b与a共享底层数组，且cap(b) == 3
    b = append(b, "NIGHTMARE") // 修改了b，因为容量足够，直接修改了底层数组
    fmt.Println(a)// 结果：a变成了[hello NIGHTMARE !]

    // 案例二：当容量不足时，修改“失败”
    a = []string{"hello", "world", "!"}
    b = a[:1]
    b = append(b, "BACON", "THIS", "SHOULD", "WORK") // 容量不足，分配了新数组
    fmt.Println(a)// 结果：a依然是[hello world !]
}

我们知道：append的行为取决于slice的容量（cap）。如果追加后未超出容量，它会就地修改底层数组；否则，会分配一个新的、更大的数组。这种设计不仅让append的性能变得不确定，更严重的是，它破坏了函数调用的封装性，使得slice既不像值类型（可能被远程修改），也不像纯粹的引用类型（可能因重分配而断开联系）。

社区激辩：

• 批评者阵营：Hacker News上一位获得高赞的评论是这样的：“append的例子是Go缺陷中最恶劣、最不可原谅的。”这种行为使得数据流变得难以追踪，迫使开发者必须时刻警惕slice的容量，或养成防御性编程的习惯，例如总是重新接收append的返回值。这与Go追求的“明确”背道而驰。
• 辩护者阵营：支持者认为这是为了性能做出的合理权衡，避免了不必要的内存分配。他们强调，Go官方文档已明确说明了slice的工作原理。然而，这再次回到了那个核心问题：一门标榜“简单”的语言，是否应该包含如此微妙且需要深度理解才能安全使用的核心数据结构？

第四宗罪：作用域陷阱——函数级的defer

defer是Go处理资源释放的利器，但它的作用域是整个函数，而非其所在的词法块（lexical scope）。这在循环中处理资源时会成为一个严重的资源泄漏问题。

for _, file := range files {
    f, err := os.Open(file)
    if err != nil { /* ... */ continue }
    // defer不会在每次循环结束时执行，而是堆积到函数返回时执行
    // 如果文件列表很长，将耗尽文件句柄
    defer f.Close()
    // ... process file
}

根本原因在于defer语句的执行被推入一个与当前函数关联的栈中，在函数返回前统一执行。这简化了编译器的实现，并确保了panic时资源也能被释放。

社区激辩：

• 批评者阵营：一个开发者的高赞评论代表了社区的普遍困惑：“我至今不明白defer为什么是函数作用域而非词法作用域。”这与C++的RAII或Java的try-with-resources相比，是一种设计上的倒退。公认的解决方法是使用匿名函数func(){…}()包裹循环体，但这无疑增加了代码的丑陋和复杂性。
• 辩护者阵营：有用户指出，函数级作用域也有其便利之处，例如可以在if块中有条件地注册一个defer。但总体而言，社区普遍认为，默认应该是更安全、更符合直觉的词法作用域。

第五宗罪：异常之隐——被标准库“吞噬”的panic

Go的哲学是：error用于可预见的错误，panic用于程序无法继续的灾难。然而，作者指出，标准库中的fmt.Print和net/http服务器等关键部分，会主动recover从panic中恢复，这破坏了panic的基本约定。

这意味着开发者必须编写“异常安全”的代码。你必须假设任何传递给标准库的代码都可能在panic后被恢复。因此，像互斥锁（mutex）这样的资源必须通过defer来确保释放，否则一旦发生被“吞噬”的panic，就会造成死锁。作者愤怒地指出：“所有希望都破灭了。你必须写异常安全的代码，但你又不应该使用异常。你只能承受异常带来的所有负面影响。”

社区激辩：这一点在社区中几乎没有辩护的声音。这被视为一种设计上的不一致和“伪善”。语言在表层倡导一种错误处理哲学，却在底层库中悄悄破坏它，迫使开发者为这种矛盾买单。

第六宗罪：编码之殇——对非UTF-8的“绥靖政策”

Go的string类型本质是只读的[]byte，不强制其为合法的UTF-8。这在与操作系统交互（如处理文件名）时提供了灵活性，但也埋下了隐患。

作者控诉，这种“宽松”策略是数据丢失的根源。当工具不假思索地按UTF-8处理文件名时，遇到非UTF-8编码的文件名可能会跳过或处理失败，导致在备份、恢复等关键操作中“静默地”遗漏数据。

社区激辩：

• 批评者阵营：他们认为类型系统应防止此类错误。有用户激烈地评论道：“Go让你很容易做那些看起来99.7%的时间都有效，但却是愚蠢、错误、不正确的事情……然后有一天，你的用户就因为一个非UTF-8文件名而永久丢失了数据。”
• 辩护者阵营：另一方则认为Go的做法才是务实的。有用户指出，一个强制Unicode正确性的文件接口在真实世界中是有问题的。Rust的OsStr虽然严谨，但人体工程学极差。Go的方式虽然“混乱”，但在实践中更方便。这揭示了严谨性与便利性之间的深刻矛盾。

第七宗罪：承诺之虚——伪善的“简单”与被忽视的性能

这并非单一技术点，而是对Go整体设计理念的综合批判。

• 简单性的代价是复杂性转移：许多评论者指出，Go语言层面的“简单”，是把复杂性推给开发者来承担。没有枚举、没有强大的泛型（即使1.18加入了，也限制颇多）、没有Result类型，导致开发者需要手写大量重复的样板代码和自定义数据结构。
• 内存管理的“信任危机”：原文作者提到“RAM is cheap”是危险的思维。Hacker News上有开发者分享了其在内存敏感项目中被Go的非压缩GC和堆碎片化问题折磨的经历，他们甚至不得不重写部分标准库以避免内存分配。这与Go宣称的“高性能”和“无忧GC”形成了鲜明对比。

为何着一篇文章能掀起千层浪？

这场激辩之所以如此激烈，是因为它触及了Go社区内部长期存在的深层张力：

1. “Google的Go” vs “世界的Go”：Go的许多设计源于解决Google内部特定问题的需求（C++编译慢、monorepo文化）。这种“出身”决定了它在某些方面与更广阔的编程世界存在脱节。早年对单调时钟的忽视就是典型例子。
2. 简单主义 vs 现代语言特性：Go的创造者们带着一种“回归本源”的复古主义情怀，刻意回避了过去几十年编程语言理论的发展成果，如高级类型系统、代数数据类型等。这使得Go易于上手，但也让它在处理复杂逻辑时显得捉襟见肘，迫使开发者“用代码的冗余换取语言的简单”。
3. 显式 vs 便利：if err != nil是显式的，但它不便利。Result类型和?操作符是便利的，但它在某种程度上是隐式的。Go坚定地站在了“显式”这一边，但社区中渴望“便利”的声音从未停止。

小结

将Go的这些“罪状”简单归结为“错误”也是片面的。它们是Go强硬的、自洽的设计哲学所带来的必然产物。

• 这是一门有“历史”的现代语言：Go的设计深受其创造者们在C、Unix、Plan 9上的经验影响。它继承了C的简洁，但也继承了其对底层细节的暴露。
• 承认权衡，理解其生态位：Go在“开发效率”、“运行性能”和“语言简单性”之间做出了明确的取舍，在云原生、微服务领域找到了无与伦比的“甜蜜点”。
• 缓慢的进化也是一种承诺：Go团队对语言的改变极为谨慎，以维护其著名的向后兼容性承诺。但它并非一成不变。泛型的加入、for range循环变量作用域的修正，都表明Go在倾听社区的声音。

《Go is still not good》及其引发的激辩，为我们提供了一个宝贵的窗口，去重新审视这门既年轻又充满“历史感”的语言。它提醒我们，没有完美的语言，只有充满权衡的工具。

对于Go开发者而言，理解这“七宗罪”的来龙去脉，不仅能帮助我们写出更健壮、更地道的代码，更能让我们清晰地认识到Go的优势与边界。与其无休止地争论它是否“足够好”，不如深入思考：它是否是解决我们当前问题的正确工具？ 而这，或许才是这场大辩论给予我们的最大启示。

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

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

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

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

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

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

本文永久链接 – https://tonybai.com/2025/08/17/create-pointer-to-simple-types

大家好，我是Tony Bai。

在 Go 中创建一个指向基本类型（如 int 或 string）的指针，为何比创建一个指向结构体的指针更繁琐？这个长期存在的“人体工程学”问题，由 Go 语言的共同创造者之一 Rob Pike 在提案 #45624 中再次带入公众视野，并由此引发了一场长达数年、充满深度思辨的社区大讨论。最终，在权衡了多种方案的利弊后，社区逐渐形成共识，Go 提案委员会倾向于接受 new(v) 语法。本文将和大家一起回顾这场关于指针初始化的“十年之辩”，深入探讨各种方案的优劣，并解读为何 new(v) 可能成为最终赢家。

背景：一个困扰开发者多年的“小”问题

在 Go 中，我们可以用 p := &S{a: 3} 这样简洁的语法，一步到位地创建一个指向已初始化结构体的指针。但如果我们想创建一个指向 int 值 3 的指针，就必须写成：

a := 3
p := &a

这种不对称性在处理大量使用指针来表示“可选”字段的场景时（例如，与 JSON、Protobuf 或 AWS SDK 交互），会变得异常繁琐。开发者往往不得不在项目中定义或引入大量的辅助函数，如：

func StringPtr(s string) *string {
    return &s
}
// 还有 Int64Ptr, BoolPtr, Float64Ptr...

正如 @adonovan 在提案讨论中通过代码分析所展示的，这种模式在 Go 开源生态中极为普遍，存在数千个这样的辅助函数和数十万次的调用。这清晰地表明，语言层面提供一个更简洁的解决方案是众望所归。

方案之争：一场关于语法、语义与哲学的辩论

Rob Pike 的提案及其漫长的讨论过程，涌现了多种解决方案，每种方案都代表了一种不同的语言设计哲学。

方案一：扩展 & 操作符

这是最直观的想法，主要有两种变体：

1. &T(v) (让类型转换变得可寻址): p := &int(3)。这是 Rob Pike 最初提出的方案之一。它利用了“类型转换必然会创建新值”这一语义，逻辑自洽。
2. &v (让非地址表达式变得可寻址): p := &3 或 p := &time.Now()。这个方案更通用，但也最危险。正如 rsc 和其他核心成员指出的，这会产生严重的歧义。例如，&m[k] 在 m 是 slice 时是取地址，但在 m 是 map 时却变成了“拷贝值并取地址”，这会引入大量难以察觉的 bug。

由于存在严重的“最小惊动原则”问题，扩展 & 的方案最终未被采纳。

方案二：引入新的泛型内建函数

随着 Go 1.18 泛型的引入，一个显而易见的解决方案是提供一个泛型辅助函数。

// 可以是内置的，也可以是开发者自己写的
func ptr[T any](v T) *T {
    return &v
}

// 使用方式:
p := ptr(3)
p2 := ptr(time.Now())

这个方案得到了许多开发者的支持，因为它无需对语言规范做任何大的改动。然而，它的缺点也很明显：

• 命名之争：应该叫 ptr, ref, addr, newOf 还是 varOf？每种名称都有其支持者和反对者。例如，ptr 和 ref 可能会让人误以为是取现有变量的引用，而不是创建一个新的拷贝。
• 标准库位置：这样一个基础的函数应该放在哪里？builtin？还是一个新的标准库包？这本身就是一个难题。

方案三：扩展 new 内建函数 (最可能的胜出者)

这是提案的核心，也是最终获得Go提案委员会青睐的方向。它同样有几种变体：

1. new(T, v)：new 接受一个可选的第二个参数用于初始化。例如 p := new(int, 3)。这非常明确，但缺点是类型 T 往往是冗余的，显得很“啰嗦”，例如 new(time.Duration, time.Second)。
2. new(v)：new 可以直接接受一个值，并根据值的类型推断出要分配的指针类型。例如 p := new(3) 会创建一个 *int。这是最简洁的方案。

new(v) 的核心争议与共识

new(v) 的主要争议在于语法歧义。当看到 new(pkg.X) 时，读者无法仅从语法上判断 pkg.X 是一个类型（new(T)）还是一个常量值（new(v)）。

然而，经过深入讨论，提案委员会认为：
* 这种歧义在实践中问题不大，因为绝大多数情况下，上下文足以让开发者区分类型和值。
* 相比于 &v 带来的严重语义混乱，new(v) 的语法歧义是次要的、可接受的。
* new 这个词本身就清晰地传达了“创建新事物”的意图，避免了 & 操作符的“拷贝还是引用”的混淆。
* 考虑到 new(T) 的使用频率远低于 &T{}，将其“回收”并赋予更强大的功能，是对语言的一次有益的“清理”。

最终，提案委员会倾向于接受 new(expr) 的形式。

new(expr) 将如何工作

根据讨论的共识，未来的 new(expr) 将遵循以下规则：

• 基本用法: p := new(3) 将创建一个 *int，其值为 3。s := new(“hello”) 将创建一个 *string，其值为 “hello”。
• 类型推断: 对于无类型常量，将使用 Go 的默认类型规则（例如，整数默认为 int，浮点数默认为 float64）。
• 显式类型: 如果需要指定不同于默认的类型，需要使用类型转换：p64 := new(int64(3))来创建一个int64类型变量p64，而不是默认的int指针类型变量。
• 无上下文类型推断: new(v) 不会根据赋值的上下文来推断类型。例如，var p *int64 = new(3) 将会编译失败，因为 new(3) 的类型是 *int，不能赋值给 *int64。

结论：小改动，大便利

从 Rob Pike 最初的提案，到社区长达数年的激烈辩论，new(v) 的最终可能胜出是 Go 语言演进过程的一个缩影。它通过一个微小但精心设计的语法扩展，解决了困扰社区多年的一个普遍痛点。

这个决策过程本身，也充分体现了 Go 团队的设计哲学：

1. 优先考虑语言的一致性和无歧义性，因此拒绝了看似更简洁但充满陷阱的 &expr 方案。
2. 在不破坏兼容性的前提下，勇于重塑旧有特性，将使用率不高的 new 重新利用，赋予其更强大的生命力。
3. 充分倾听并分析社区的真实数据，@adonovan 的大规模代码分析为该功能的需求提供了强有力的数据支撑。

虽然我们仍需等待该提案在未来某个 Go 版本中正式落地，但可以预见，当它到来时，我们代码库中那些重复的 Ptr 辅助函数将成为历史。这正是 Go 语言持续进化、不断提升开发者幸福感的魅力所在。

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

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

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

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

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

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