Go 简介

Go（常称 Golang）由 Robert Griesemer、Rob Pike 和 Ken Thompson 在 Google 设计，于 2009 年公开发布。其创建初衷是解决真实工程问题：缓慢的编译速度、复杂的依赖管理，以及在 C++ 和 Java 中编写安全并发程序的困难。

如今，Go 驱动着互联网上最关键的基础设施——Docker、Kubernetes、Terraform、InfluxDB、CockroachDB，以及 Google、Cloudflare、Dropbox 和 Uber 的无数微服务。其接近 C 的性能、接近 Python 的开发体验，以及世界级的并发模型，使其成为现代后端开发的首选语言。

1. Go 基础：包、导入与 main 函数

每个 Go 程序都组织在包中。main 包是特殊的——它定义了一个独立的可执行文件。包通过模块路径导入，未使用的导入会导致编译错误，从而保持代码库的整洁。

package main

import (
	"fmt"
	"strings"
)

func main() {
	// fmt 是格式化包
	fmt.Println("你好，Go！")

	// strings 包
	s := strings.ToUpper("golang")
	fmt.Println(s) // GOLANG

	// 多返回值
	q, r := divide(17, 5)
	fmt.Printf("17 / 5 = %d 余 %d\n", q, r)
}

func divide(a, b int) (int, int) {
	return a / b, a % b
}

2. 变量与类型：var、:= 和零值

Go 是静态类型语言，具有强大的类型推断。声明变量有两种方式：冗长的 var 形式（在包级别或需要显式类型时使用）和简短声明运算符 :=（函数内部最常用）。Go 会将所有变量初始化为其零值。

3. 函数：多返回值、具名返回、可变参数与 defer

Go 函数是一等公民。关键特性包括：多返回值（消除了对出参或异常的需求）、用于文档化的具名返回值、可变参数函数，以及用于清理逻辑的强大 defer 语句。defer 在包围函数返回时执行，即使发生 panic 也不例外。

4. 结构体与接口：嵌入、方法与鸭子类型

Go 使用组合而非继承。结构体组织相关数据，方法为类型附加行为，接口定义隐式满足的契约。结构体嵌入提供了一种无需复杂性的继承形式。只要类型实现了接口的所有方法，它就自动满足该接口，无需显式声明。

5. Goroutine 与 Channel：Go 式并发

Go 的并发模型基于通信顺序进程（CSP）。箴言："不要通过共享内存来通信；要通过通信来共享内存。" Goroutine 是轻量级廉价线程，channel 是它们之间安全数据传输的类型化管道。无缓冲 channel 会阻塞直到发送方和接收方都就绪，缓冲 channel 在缓冲区满之前不会阻塞。

6. 错误处理：error 接口、包装与哨兵错误

Go 将错误视为值。内置的 error 接口只有一个方法：Error() string。使用 fmt.Errorf 和 %w 包装错误，用 errors.Is 比较哨兵错误，用 errors.As 在错误链上进行类型断言。这种简洁性加上显式错误返回，使错误处理高度可见。

7. 标准库：net/http、encoding/json、os、io、context

Go 的标准库是其最大优势之一。无需任何第三方依赖，就能构建生产就绪的 HTTP 服务器、解析 JSON、与文件系统交互、管理取消操作。context 包提供截止时间、取消和请求范围值，在 API 边界之间传递。

8. 构建 REST API：net/http vs chi vs gin

Go 1.22 通过基于方法的路由和路径参数显著改进了内置的 net/http 多路复用器。对于更复杂的需求，chi 无需反射即可提供中间件组合，gin 则提供了包含电池的框架，具有出色的性能。选择取决于项目需求和团队偏好。

9. 测试：表格驱动测试、Mock 与基准测试

Go 通过 testing 包内置了测试支持。惯用模式是表格驱动测试——在循环中运行的测试用例切片。运行 go test ./... -race -cover 可进行竞争检测和覆盖率报告。接口使 mock 变得简单，无需专门的 mock 框架。

10. 模块与包：go.mod、go.sum 与工作区

Go 模块提供可复现的密封构建。每个模块都有一个 go.mod 文件，声明其模块路径和依赖关系，以及一个包含加密校验和的 go.sum 文件。使用 go mod init 初始化，go get 添加依赖，go mod tidy 整理。

11. 泛型（Go 1.18+）：类型参数与约束

Go 泛型在方括号中使用类型参数和约束接口。~T 语法表示底层类型为 T 的任何类型。泛型在数据结构（Stack、Set、Queue）和函数式工具（Map、Filter、Reduce）中最有价值，可避免代码重复，同时保持类型安全。

12. 并发模式：Worker Pool、Fan-Out/Fan-In、Context 取消

超越基本的 goroutine 和 channel，Go 支持优雅的高级并发模式。Worker Pool 通过固定数量的 goroutine 限制并发度。Fan-Out 将工作分发给多个处理器，Fan-In 将结果合并回单个 channel。Context 取消允许优雅地停止长时间运行的操作。

总结

Go 已赢得其作为后端开发首选语言之一的地位。其简洁哲学——正交特性、精简规范，以及大多数事情的一种惯用方式——随着团队和代码库的增长，在可维护性方面带来丰厚回报。

无论您是在构建高吞吐量微服务、CLI 工具还是数据管道，Go 都为您提供了编写正确、快速、可维护代码的工具。从标准库开始，遵循惯用模式，仅在真正需要时才引入第三方包。