Go Academy · 课时

实际使用泛型：常见陷阱

Q: 「实际使用泛型：常见陷阱」课时是免费的吗？

是的 — 「实际使用泛型：常见陷阱」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Go Academy 课程的其余内容，请升级到 CoddyKit PRO。 Go Academy 课程共包含 4 节课。

Q: 「实际使用泛型：常见陷阱」这节课中我会学到什么？

了解何时使用泛型以及常见错误 你通过在浏览器中直接运行的动手代码来练习 Go Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

Q: 学习 Go Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 Go Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。 这是第 4 节课，共 4 节。

Q: 「实际使用泛型：常见陷阱」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

Q: 我能在这节 Go Academy 课中编写并运行代码吗？

能。每节 Go Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

了解何时使用泛型以及常见错误

实际使用泛型：常见陷阱 是 CoddyKit 上的免费 Go Academy 课时。这是第 4 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 Go Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 Go Academy 课程共包含 4 节课。

过度泛化

并非每个函数都需要泛型。如果始终只使用一种具体类型，泛型只会增加复杂度而没有收益。请优先使用具体类型，等出现重复代码时再重构为泛型。

泛型中的类型断言

您不能在泛型函数内部针对类型参数本身进行类型断言或类型切换——泛型不是模板。请改用接口或 reflect 包。

// WRONG:
func Foo[T any](v T) {
    if x, ok := v.(int); ok { // compile error
    }
}

Comparable 不等于 Ordered

comparable 仅支持 ==。若要使用 <、>，需要 cmp.Ordered 或自定义约束。一个常见错误是认为 comparable 也涵盖排序。

方法不能引入类型参数

泛型类型的方法会复用该类型的参数，但不能添加新的参数。如果方法需要额外的类型参数，请改用顶层函数。

// WRONG:
func (s *Stack[T]) MapTo[U any]() []U // compile error

nil 值和零值

对于指针类型参数，零值是 nil。对于值类型，零值是该类型的零值。请始终处理零值情况，不要假定值一定非 nil。

接口方法集与泛型

受接口约束的泛型函数只能调用该接口中声明的方法。向具体类型添加方法，并不会使这些方法能够通过约束使用。

实例化膨胀（GC 形状）

Go 会为具有相同 GC 形状的类型共享实现（例如，所有指针类型共享一个实现）。基本类型各自拥有独立实现，但 Go 的这种方式可以将二进制文件大小保持在合理范围内。

any 并不是 interface{}

any 是 interface{} 的别名，但泛型函数 F[T any] 与 F(v interface{}) 并不相同——在泛型函数中，T 是调用位置上的具体类型，因此可以保留类型信息。

递归泛型类型

Go 不支持类似 type Tree[T Tree[T]] 的递归类型参数定义。请改用组合：

type TreeNode[T any] struct {
    Val   T
    Left  *TreeNode[T]
    Right *TreeNode[T]
}

预实例化辅助函数

对于对性能敏感的代码，可以将经常使用的泛型函数预实例化为顶层函数，以避免重复的类型推断开销（不过 Go 编译器对此已经进行了良好处理）。

测试泛型代码

请使用多种实例化方式测试泛型函数：为每种不同的约束分别测试一次（int、string 和自定义类型）。这样可以发现特定于约束的边界情况。

func TestMap(t *testing.T) {
    got := Map([]int{1,2}, double)
    // test with strings too
    gotS := Map([]string{"a","b"}, strings.ToUpper)
}

快速检查

为什么不能在泛型函数内部对泛型类型参数 T 使用类型切换？

回顾：泛型陷阱

要点：

不要过度泛化；只使用一次时，具体类型更简单
不能在泛型函数内部对 T 使用类型切换或类型断言
comparable 不等于有序；使用 cmp.Ordered 支持 <
方法不能引入新的类型参数

常见问题解答