泛型结构体字段应私有化，避免直接暴露可变容器；类型约束优先用comparable或自定义接口而非any；函数参数顺序需利于类型推导；嵌套泛型必须显式标注所有类型参数。
泛型结构体的字段暴露要克制
泛型结构体不是“带类型参数的普通结构体”，它的封装边界更敏感。比如 Stack[T] 的 data 字段一旦导出，外部就能绕过 Push/Pop 直接操作底层数组，导致长度不一致、零值残留甚至并发 panic。
- 永远用小写字母开头命名内部字段（如
data而非Data） - 别在结构体里嵌入
[]T或map[K]V等可变容器——它们本身已具备公开 API，再暴露就等于放弃控制权 - 如果真需要只读访问（比如调试用），提供显式方法如
Items()返回[]T副本，而不是指针或引用
类型约束别硬写 any，优先用 comparable 或自定义接口
any 是兜底选项，不是默认起点。只要你的逻辑涉及 ==、map 键、switch 或去重，就必须收紧约束。
-
func Contains[T comparable](s []T, x T) bool—— 编译器会拦住Contains([][]int{}, []int{})这类非法调用 - 想支持自定义类型比较？定义接口：
type Orderable interface { Less(other Orderable) bool }，然后约束为[T Orderable] - 避免
[T any]+reflect.DeepEqual组合：反射慢、无法内联、丢失编译期检查
泛型函数的参数顺序影响调用体验
Go 编译器能推导类型参数，但前提是类型出现在“可推导位置”——通常是第一个参数或切片参数。把类型参数卡在中间或末尾，会导致大量显式类型标注。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
- 坏写法：
func Map[T any, R any](f func(T) R, s []T) []R→ 调用时得写Map[int, string](f, data) - 好写法：
func Map[T any, R any](s []T, f func(T) R) []R→Map(data, f)就能自动推导 - 若需多类型输入（如
Join[K comparable, V any]），把最可能被推导的类型放前面，比如键类型K通常来自 map 的 key，比V更易识别
嵌套泛型声明容易漏掉类型参数
写 type Cache[K comparable, V any] struct 没问题，但一旦嵌套使用，比如想存一个 map[string]*Cache[string, int]，很容易忘记给 Cache 补全类型参数，变成 Cache（未实例化）导致编译失败。
立即学习“go语言免费学习笔记（深入）”；
- IDE 通常不会高亮这种错误，报错信息是模糊的
undefined: Cache或cannot use ... as type Cache - 所有泛型类型名在使用时必须带方括号和具体类型，哪怕只是
Cache[string, any] - 如果嵌套太深（如
[][]map[string]func(int) []Cache[string, int]），考虑拆成中间类型别名，提升可读性
[T] 都意味着你要为它负责——从内存布局到比较行为，从调用便利性到错误提示质量。最容易被忽略的，其实是类型约束和参数顺序的组合效应：一个松散的约束 + 别扭的参数位置，会让使用者第一眼就放弃这个泛型函数。 
