泛型类型安全的 Context 键

功能说明

context.Context 的 WithValue 接受任意可比较键和任意值，取值时只能得到 any，调用方需要手工断言，键也容易在不同包之间用相同字符串互相覆盖。常见做法是定义未导出的空结构体键，但值类型仍不安全。本例用泛型把键和值类型绑定：key[T] 携带一个名称字段，WithValue 只接受与该键匹配的 T，Value 返回 T 与是否存在，无需调用方再次断言。

每个键用 var 声明一次，名称字段让人工排查时能看出用途，同时因为类型不同，即使名称相同也不会与别的键冲突。main 演示写入请求 ID 后读取，以及用另一个键查询时得到零值与 false。

关键代码

key[T] 是带类型参数的未导出结构体，字段 name 只用于可读性和避免零大小结构的歧义。WithValue 调用标准库 context.WithValue，把泛型键作为接口键存入，键本身可比较且不包含切片或映射。Value 使用类型断言把接口值恢复成 T；若键不存在或存储了不同类型的值，ok 为 false，返回值类型零值。requestIDKey 用一个命名类型 RequestID 实例化，防止把普通字符串误传给同一个键。

使用注意

context 只适合传递请求范围内的元数据，例如请求 ID、认证主体和追踪信息，不要用它传递可选参数或依赖。键应定义为包级未导出变量，避免外部包构造等价键覆盖数据。存储指针时要注意生命周期和并发安全，context 本身可以被多个 goroutine 同时读取。不要在 context 中放敏感信息而不加密，日志和错误上报可能把它带出。泛型键的值类型固定，需要多种类型时应定义多个键，而不是退回 any。

验证方式

运行脚本，第一行输出 req-42 true，说明写入和读取的类型一致。第二行输出 missing: false，说明用另一个键查询不会误取到请求 ID。可尝试把 requestIDKey 换成 key[string] 再编译，类型不匹配会直接报错，体现编译期保护。

代码示例

package main

import (
	"context"
	"fmt"
)

type key[T any] struct{ name string }

func WithValue[T any](ctx context.Context, k key[T], value T) context.Context {
	return context.WithValue(ctx, k, value)
}

func Value[T any](ctx context.Context, k key[T]) (T, bool) {
	value, ok := ctx.Value(k).(T)
	return value, ok
}

type RequestID string

var requestIDKey = key[RequestID]{name: "request-id"}

func main() {
	ctx := WithValue(context.Background(), requestIDKey, RequestID("req-42"))
	id, ok := Value(ctx, requestIDKey)
	fmt.Println(id, ok)

	_, missing := Value(ctx, key[int]{name: "attempt"})
	fmt.Println("missing:", missing)
}