go 1.18 中引入了泛型，可创建独立于类型的代码。泛型使用方括号 [] 定义类型参数，如 func sort[t any](arr []t)。go 编译器可以推断类型参数，如 func swap[t](x, y t)。泛型可用于构建数据结构，如二叉查找树 type node[t any] struct { … }，并施加类型约束，如 type node[t comparable] struct { … }。go 泛型提高了代码的灵活性，而不产生新的类型。
Go 泛型的定义和应用
在 Go 1.18 中，Go 语言引入了备受期待的功能：泛型。泛型允许您创建独立于具体类型的数据结构和算法，从而提高代码的可重用性和灵活性。
定义泛型
泛型使用方括号 [] 来定义，其中包含任意数量的类型参数：
func Sort[T any](arr []T)
在上面的示例中，T 是类型参数，代表可以是任何类型的项。
立即学习“go语言免费学习笔记（深入）”；
类型推断
如果函数的泛型类型参数可以在上下文中推断出来，则可以省略它们：
本系统使用的是XDcms内核，在原来基础上做来相应修改 前台修改调用数据，可以使用{loop catid=栏目ID}{/loop}方式调用 主要功能： A、内容管理模型，自定义字段，更方便扩展功能。自带模型：单页模型、新闻模型、产品模型、招聘模型 B、栏目自定义，便于内容管理 C、内容模块化，二次开发更便捷。自带模块：幻灯片、QQ客服、友情链接、自定义表单(在线留言、简历管理) D、模板管理，后台
func Swap[T](x, y T)
此函数可以与任何类型的两个参数一起使用，Go 编译器会推断出 T 应该是 x 和 y 的类型。
实战案例：二叉查找树
让我们创建一个二叉查找树的泛型版本：
type Node[T any] struct {
Value T
Left *Node[T]
Right *Node[T]
}
func Insert[T comparable](n *Node[T], value T) *Node[T] {
// ...
}
func Search[T comparable](n *Node[T], value T) *Node[T] {
// ...
}这个二叉查找树允许我们存储和搜索任何可比较类型的元素。
类型约束
有时，您需要对类型参数施加约束。例如，为了确保在二叉查找树中比较两个值是有效的，我们可以要求 T 实现了 comparable 接口：
type Node[T comparable] struct {
// ...
}注意事项
- Go 中的泛型并非类型模板，它们不会产生新的类型。
- 泛型类型参数不能被实例化。
- 类型推断仅适用于调用函数时，而不适用于声明函数时。
结论
Go 泛型为 Go 语言带来了强大的新功能。了解如何定义和使用泛型是提高代码灵活性和可重用性的关键。
