泛型需配合约束才能实际使用；无约束的[t any]在函数体中连==都会报错；类型参数必须显式出现在泛型结构体接收器上，否则编译失败。

泛型不是加个 [T any] 就能跑通的语法糖，它必须配合约束才能做实际操作；没约束的 [T any] 在函数体里连 == 都会报错，len()、+、 全部不可用。

泛型函数必须显式声明类型参数和约束，不能只写 T

常见错误是写成 func Max(a, b T) T —— 这里 T 根本没声明，编译器直接报 undefined: T。正确写法必须带方括号和约束：

• func Max[T constraints.Ordered](a, b T) T：支持 、<code>>、==，适合数值比较
• func Find[T comparable](s []T, v T) int：仅支持 == 和 !=，适合查找、去重、map key
• func Print[T any](v T)：只能传参、打印、返回，不能做任何运算或比较

约束决定你能干什么：[T any] 是最宽泛的占位符，但几乎没法写逻辑；[T comparable] 才允许 v == target；[T constraints.Ordered]（Go 1.21+ 推荐）才支持全序比较。

泛型结构体初始化必须指定具体类型，不能省略

Stack[T] 不是运行时模板，而是编译期生成的具体类型。你不能写 Stack{} 或 new(Stack)，否则报错：cannot use untyped composite literal。

Go语言（Golang）1.26.0

Go语言（Golang）1.26.0版本提供 Go 官方 Windows amd64 MSI 安装包下载入口，版本号 1.26.0，可用于旧项目维护、兼容性测试和指定版本开发环境配置。

下载

• ✅ 正确：Stack[int]{}、var s Stack[string]、new(Stack[float64])
• ❌ 错误：Stack{}、Stack[T]{}、new(Stack[T])
• 字段和方法接收器也必须带类型参数：data []T，不是 []interface{}；func (s *Stack[T]) Push(v T)，漏掉 [T] 就会报 undefined: T

类型推断经常失效，nil 和 interface{} 是高频雷区

Go 只在所有实参类型完全一致时才自动推导 T。以下情况必须手动指定类型参数：

• 参数是 nil：Max(nil, nil) → 必须写成 Max[*int](nil, nil)
• 参数来自 interface{} 变量：var a, b interface{} = 1, 2; Max(a, b) 会失败
• 多个类型参数且模糊：Pair[string, int](nil, nil) 不写全就无法确定每个位置的类型
• 错误信息往往不指向调用行，而指向泛型实例化位置——先检查实参是否明确带类型

别把泛型当 interface{} 的替代品，该用才用

泛型不是万能胶。如果函数只是透传、打印、序列化（比如 Log(v interface{})），加泛型纯属冗余：Log[T any](v T) 没带来任何收益，反而增加编译负担。

• 真正该用泛型的场景很明确：
  – 要对元素做运算（+、>）
  – 要深比较（reflect.DeepEqual 不如编译期检查）
  – 要保证类型一致性（如 Map[K comparable, V any]）
• 用错约束比不用还糟：[T any] 看似“通用”，实则让编译器失去判断依据；~int 和 int 在约束中语义完全不同，单位类型（如 type Millis int）必须用 ~int 才能匹配

最容易被忽略的一点是：泛型结构体的方法签名里，类型参数必须显式出现在接收器上；漏掉 [T] 不是警告，是编译失败——而且错误提示常不直观，得倒查接收器定义。

golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！