Context¶
约 1222 个字 6 行代码 1 张图片 预计阅读时间 6 分钟
1. Go语言里的Context是什么？¶
go语言里的context实际上是一个接口，提供了Deadline()，Done()，Err()以及Value()四种方法。它在Go 1.7 标准库被引入。
它本质上是一个**信号传递和范围控制的工具**。它的核心作用是在一个请求处理链路中（跨越多个函数和goroutine），优雅地传递**取消信号（cancellation）、超时（timeout）和截止日期（deadline）**，并能携带一些范围内的键值对数据。
分析
type Context interface {
Deadline() (deadline time.Time, ok bool) // Deadline方法的第一个返回值表示还有多久到期， 第二个返回值代表是否被超时时间控制
Done() <-chan struct{} // Done() 返回一个 只读channel，当这个channel被关闭时，说明这个context被取消
Err() error // Err() 返回一个错误，表示channel被关闭的原因，例如是被取消，还是超时关闭
Value(key interface{}) interface{} // value 方法返回指定 key 对应的 value
}
这个接口定义了四个核心方法，它们共同构成了一套关于**截止时间、取消信号和请求范围值**的协定：
-
Deadline()- 返回一个时间点，告知任务何时应该被取消。 -
Done()- 返回一个channel，当Context被取消或超时，这个channel会被关闭。这是goroutine监听取消信号的核心。 -
Err()- 在Done()的channel关闭后，它会解释关闭的原因，是主动取消（Canceled）还是超时（DeadlineExceeded）。 -
Value()- 允许Context在调用链中携带请求范围的键值对数据。
2. Go语言的Context有什么作用？¶
Go的Context主要解决三个核心问题：超时控制、取消信号传播和请求级数据传递
在实际项目中，我们最常用的是超时控制。比如一个HTTP请求需要调用多个下游服务，我们通过context.WithTimeout设置整体超时时间，当超时发生时，所有子操作都会收到取消信号并立即退出，避免资源浪费。取消信号的传播是通过Context的层级结构实现的，父Context取消时，所有子Context都会自动取消。
另外Context还能传递请求级的元数据，比如用户ID、请求ID等，这在分布式链路追踪中特别有用。需要注意的是，Context应该作为函数的第一个参数传递，不要存储在结构体中，并且传递的数据应该是请求级别的，不要滥用。
3. Context.Value的查找过程是怎样的¶
Context.Value的查找过程是一个**链式递归查找的过程**，从当前Context开始，沿着父Context链一直向上查找直到找到对应的key或者到达根Context。
具体流程是：当调用ctx.Value(key)时，首先检查当前Context是否包含这个key，如果当前层没有，就会调用parent.Value(key)继续向上查找。这个过程会一直递归下去，直到找到匹配的key返回对应的value，或者查找到根Context返回nil。
4. Context如何被取消¶
Context的取消是通过**channel关闭信号**实现的，主要有三种取消方式。
首先是**主动取消**，通过context.WithCancel创建的Context会返回一个cancel函数，调用这个函数就会关闭内部的done channel，所有监听这个Context的goroutine都能通过ctx.Done()收到取消信号。
其次是**超时取消**，context.WithTimeout和context.WithDeadline会启动一个定时器，到达指定时间后自动调用cancel函数触发取消。
最后是**级联取消**，当父Context被取消时，所有子Context会自动被取消，这是通过Context树的结构实现的。
5. 实现要点（标准库 context 包）¶
实现与用法以 src/context/context.go 为准，以下为阅读源码时的抓手。
根节点：emptyCtx¶
context.Background() / TODO() 返回不可取消、无 deadline、无值的根 context（历史上用不同地址区分，语义上均为空根）。
可取消：cancelCtx¶
- 内嵌父
Context，并用done（惰性创建的chan struct{}）表示取消：关闭该 channel 即向所有监听方广播完成。 children记录子节点；cancel时会关闭done、设置err，并**递归取消子节点**。WithCancel通过propagateCancel把子节点挂到可取消的父节点上；若父已取消则立即取消子节点。若父不是标准cancelCtx，可能退化为**单独 goroutine** 监听parent.Done()与子完成（见源码分支）。
超时：timerCtx¶
内嵌 cancelCtx，并持有 time.Timer；在 deadline 到达或手动 cancel 时取消并停止定时器。若父级 deadline 更早，WithDeadline 可能直接退化为 WithCancel(parent)，避免无意义的更晚子 deadline。
值：valueCtx¶
仅实现链式 Value：先比对本层 key，否则委托父 Context.Value。**不要**用 WithValue 传业务大对象或可选参数替代品；key 建议用自定义非导出类型避免碰撞。
并发安全¶
cancel 与 Done 的懒初始化均受互斥保护；用户侧应把 Context 当只读传递，**不要**并发调用 cancel 以外的方式篡改内部状态。