Go语言泛型集合库在通用编程语言学习中的尝试-Golang-PHP中文网

slices包是go 1.21+内置泛型工具，要求元素类型满足comparable或ordered约束，故不能直接用于含slice/map/func等不可比较字段的自定义结构体，需显式保证可比性或改用手动遍历。

go语言泛型集合库在通用编程语言学习中的尝试

slices 包是 Go 1.21+ 中真正可用的泛型集合工具，不是第三方库，也不需要额外依赖。它解决了过去必须手写 Filter、Map、Contains 等重复逻辑的问题，但直接用错类型参数或忽略约束仍会导致编译失败。

为什么不能直接用 `slices.Contains` 判断自定义结构体？

因为 slices.Contains 要求元素类型满足 comparable 约束，而未导出字段、含 slice/map/func 的 struct 默认不可比较。

错误现象：invalid operation: cannot compare v == target (struct containing []int cannot be compared)
正确做法：给 struct 加上 comparable 约束声明，或改用 any + 手动遍历（牺牲类型安全）

示例修复：

type Person struct {
    Name string
    Age  int
} // ✅ 可比较，可直接传给 slices.Contains
<p>type BadPerson struct {
Name string
Tags []string // ❌ 含 slice，不可比较
}</p>

`slices.Sort` 对字符串切片有效，但对 `[]int64` 报错？

不是报错，而是编译器无法自动推导排序逻辑 —— slices.Sort 要求元素类型实现 constraints.Ordered（即内置有序类型），int64 符合，但你可能漏写了类型实参或用了旧版 Go。

Go语言（Golang）1.26.0

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

下载

Go 1.21+ 支持：slices.Sort[int64](nums) 或直接 slices.Sort(nums)（若上下文能推导）
常见误操作：在 Go 1.20 或更低版本中使用 slices，会提示 undefined: slices
性能注意：相比手写 sort.Slice，slices.Sort 编译期生成专用代码，无反射开销

想封装一个泛型 `Map` 函数，但类型推导总失败

Go 不支持泛型函数返回值类型参与推导，所以 Map 的输出类型必须显式指定或通过参数“泄露”出来。

典型失败写法：result := Map(items, func(x int) string { return strconv.Itoa(x) }) → 编译器不知道 T 和 U 是什么
可行方案一（显式类型实参）：Map[string, int](items, fn)

可行方案二（靠输入参数定 T，输出靠返回值类型定 U）：

func Map[T, U any](slice []T, fn func(T) U) []U {
    result := make([]U, len(slice))
    for i, v := range slice {
        result[i] = fn(v)
    }
    return result
}

调用时写成 Map(items, fn) 即可，前提是 fn 类型完整（如 func(int) string）

泛型集合操作真正难的不是语法，而是判断什么时候该用 any、什么时候必须加约束、以及哪些操作根本没法泛型化（比如深拷贝含指针的结构体）。slices 包只覆盖了最常用、最安全的场景，超出范围就得回归手动实现或接受运行时代价。