Go context 怎样传递只读请求元数据

Go context 传递只读请求元数据，可以在独立包中定义私有键，用 WithValue 按值保存只含字符串等值字段的结构体，再通过返回“结构体副本和 bool”的读取函数访问。context 不会自动冻结 map、slice 或指针指向的对象；“只读”需要由数据模型和包接口共同保证。

如果日志里的请求标识能读到、语言字段却在后续调用中变了，我会先检查存进去的到底是值还是共享指针，再检查下游是否拿到了正确的派生 Context。这里是一个排查思路，不是某次线上事故复盘。对少量稳定的请求标签，我倾向于小结构体快照，而不是任意字符串键拼出来的大字典。

Go context 官方文档：https://pkg.go.dev/context

先区分键找不到，还是值被共享修改

读取结果缺失时，先核对入口和读取方是否使用同一个私有键类型、同一个存取包，以及是否把派生 Context 继续传下去了。仅在入口调用 WithValue 却忽略返回值，下游仍然读的是旧上下文。

读取到了但内容变化，则查看字段中是否藏着 map、slice 或指针。Context 可以被多个 goroutine 同时使用，不代表放进去的任意对象自动获得并发保护。我不会用“Context 是安全的”来解释一个共享 map 的写入问题；这两个责任不在同一层。

用私有键和小结构体封装存取

下面的包只存 RequestID 和 Locale 两个字符串。metadataKey 是本包定义的私有可比较类型，With 和 From 是统一入口。不要将普通字符串当成共享键，也不要在其他包复制出另一个同名私有类型期待它们相等。

package requestmeta

import "context"

// 私有键类型由本包掌管，其他包不能用同名字符串覆盖。
type metadataKey struct{}

type Metadata struct {
    RequestID string
    Locale string
}

// With按值保存；这里的字段均为字符串，不包含可变引用容器。
func With(ctx context.Context, m Metadata) context.Context {
    return context.WithValue(ctx, metadataKey{}, m)
}

// From按值返回，bool区分未设置与已设置的零值。
func From(ctx context.Context) (Metadata, bool) {
    m, ok := ctx.Value(metadataKey{}).(Metadata)
    return m, ok
}

这里“Metadata 快照”指保存在 Context 中的结构体值；“读取副本”是 From 返回给调用者的另一个结构体值。字符串字段的赋值不会改写原字段，因此调用者修改读取副本，不会影响后续读取。结构体不是一种普遍的深拷贝工具：未来加入引用字段时，要重新设计复制边界。

从请求入口派生，不把 Context 存成全局状态

入口把元数据附加到已有请求 Context，下游需要它时显式接收 ctx 参数。不要用全局变量暂存本次请求的元数据，也不要把一个请求的派生 Context 缓存在长期存活的服务对象里供下次请求使用。

// HTTP入口片段：导入net/http和实际模块路径的requestmeta包。
func wrap(next http.Handler) http.Handler {
    return http.HandlerFunc(func(w http.ResponseWriter, r *http.Request) {
        // 演示字段是固定值；生产中应使用入口已确定的请求标识和语言。
        m := requestmeta.Metadata{RequestID: "req-demo", Locale: "zh-CN"}
        ctx := requestmeta.With(r.Context(), m)
        next.ServeHTTP(w, r.WithContext(ctx)) // 使用派生值，保留请求取消链。
    })
}

这个中间件片段只做元数据附加，不涉及 Header 修改。示例固定标识不能拿去当生产唯一标识；它只帮助理解作用域。元数据应保持轻量，不放请求正文、大型用户对象、密钥或数据库连接。Context 也不会把这些值自动序列化到远端；跨进程传播需要单独的协议层。

子上下文的同键值会遮蔽父值，不会改写父值

当同一请求链确实需要一个局部派生标签，可以用 With 得到新的 child。child 的同键值优先被找到，parent 仍保留原值；同一 parent 派生的其他分支也不会因此自动变更。以下原创例子可以和包实现放在一起使用，输出注释表示预期结果，本文未运行它：

// 本例和前面的实现放在同一个requestmeta包；在此文件导入context、fmt。
func ExampleScope() {
    root := context.Background()
    input := Metadata{RequestID: "req-demo", Locale: "zh-CN"}
    parent := With(root, input)

    input.Locale = "en-US" // 修改调用者变量，不改变已保存的字符串字段。
    got, _ := From(parent)
    got.Locale = "fr-FR" // 修改读取副本，同样不改变parent中的值。

    child := With(parent, Metadata{RequestID: "req-child", Locale: "ja-JP"})
    p, _ := From(parent)
    c, _ := From(child)
    _, present := From(root)
    fmt.Println(p.Locale, c.Locale, present)
    // Output: zh-CN ja-JP false
}

我觉得这个取舍比“到处都能修改”的共享对象更容易排查：需要局部变化时显式派生，需要原值时保留 parent。代价是调用方必须清楚持有哪一个 Context，不能靠修改外部变量让所有分支同步变化。

缺失时明确回退，恢复时确认调用路径

From 返回 false 表示本包没有读到该类型的元数据，而不是发现了“空语言”。如果业务允许没有语言标签，可以在调用层选默认语言；如果某个功能必须依赖身份或租户信息，则应通过明确参数和鉴权流程表达，不能因为读取缺失就默默升级权限。

回退时应修复入口装配或上下文传递，不要通过同时查十几个字符串键掩盖故障。发布新存取包前，可保留旧调用路径作为应用层回退方案，但不应把新旧两套键无期限堆在每个请求中。

这些是供读者实现测试的预期，不是已执行的检测报告。恢复后可观察“必需标签缺失”的计数和正常请求的标签来源；日志只记录必要的诊断类别，避免把整个 Context 或所有元数据无差别输出。

把字段全部改成私有，是否就保证只读？

不一定。若方法返回内部 map 或 slice，调用方仍可改其内容。只读设计取决于是否暴露可变引用，不只取决于字段首字母大小写。

子 Context 能删除父 Context 的值吗？

WithValue 没有删除父值的接口。可以用本包约定的零值遮蔽，但本文 From 对零值仍返回 true。若确实需要“清除”语义，应单独设计并文档化，而不是让空字段和未设置混在一起。

可以把分页大小、数据库和可选参数都放进去吗？

我不推荐这样扩展本文接口。它适合跨层传递的请求标签，不应取代显式业务参数或依赖注入。需要调用者一定提供的信息，留在函数签名中通常更容易看见。

结论是：私有键解决命名冲突，值快照解决共享修改，显式传递解决作用域。对于本文这类小型请求元数据，三者配合才形成可解释的只读约定；Context 本身并不负责把任意可变对象变成不可变对象。

官方实现与语言语义：https://go.dev/src/context/context.go；https://go.dev/ref/spec#Representation_of_values。