context.WithValue 不是 map，是一条链

Tue, 26 May 2026 17:20:00 +0800

函数签名很干净，代码却越来越难查。

你打开一个 Go 函数，只看到一个 ctx context.Context。再往里翻，发现 user id 从 ctx.Value 里取，tenant 从 ctx.Value 里取，trace id 从 ctx.Value 里取，logger、配置开关、灰度标记，也都从 ctx.Value 里取。

签名短了，依赖没少。

它们只是被藏起来了。

上篇我们拆了 WithTimeout：cancel 不是超时按钮，而是资源释放按钮。再往下看，就会撞上 context 里另一个最容易被滥用的口子：WithValue。

它看起来太顺手了。

1

ctx = context.WithValue(ctx, userIDKey{}, userID)

一行代码，不改函数签名，不加参数，不动调用层级，值就能一路传下去。

这正是危险的地方。

WithValue 不是让你逃开函数签名的后门。它在源码里也不是一个 map。每调用一次，它只是给原来的 context 外面再包一层。

这篇把 context 系列收住：先看 propagateCancel 为什么不是每层都起 goroutine，再看 valueCtx 为什么是一条链，最后把 Background、TODO 和一份检查清单讲清楚。

不是每个 WithCancel 都起 goroutine

先补一个容易被误传的细节。

有人一听 context 会向下传播取消，就下意识以为：每调用一次 WithCancel，标准库是不是都要起一个 goroutine，专门监听父 context？

不是。

Go 1.25.4 的 propagateCancel 里，路径很克制。

WithValue on Zampo Blog

context.WithValue 不是 map，是一条链

不是每个 WithCancel 都起 goroutine