go 泛型与函数类型安全协同作用，允许在函数类型签名中使用类型参数。函数类型依然保持类型安全，即使泛型类型参数被使用。此外，类型约束限制了类型参数可以采用的类型。例如，filter函数可用于任何类型元素，但它仅能根据该条件过滤元素：func(t) bool。
Go 函数类型安全与泛型之间的交互
Go 语言自版本 1.18 起引入泛型，为其带来了类型安全的增强。然而，泛型与函数类型安全之间的交互可能会令人困惑。本文将深入探讨这两种机制如何协同工作，并提供实际示例来说明它们的使用方式。
函数类型安全
立即学习“go语言免费学习笔记（深入）”；
函数类型安全确保函数的参数和返回值类型是预期的。这意味着如果函数需要特定类型作为参数，则只能传递该类型的值。违反此规则会导致编译器错误。例如，考虑以下函数：
func Add(a, b int) int {
return a + b
}该函数有一个int类型的两个参数并返回一个int类型的值。如果我们尝试使用浮点参数调用此函数，编译器将报错：
func main() {
Add(1.5, 2.5) // 编译错误：无法将 float64 赋给 int
}泛型
泛型允许我们创建类型参数化的函数或类型。这意味着我们可以为类型参数指定一个变量，该变量可以是任何类型。例如，我们可以创建一个适用于任何类型的元素的Filter函数：
func Filter[T any](slice []T, f func(T) bool) []T {
filtered := make([]T, 0)
for _, v := range slice {
if f(v) {
filtered = append(filtered, v)
}
}
return filtered
}Filter函数使用类型参数T，它可以是任何类型。any关键字指定T可以是任何类型，包括用户自定义类型。
函数类型安全与泛型交互
当我们使用函数类型安全与泛型时，两者之间会发生如下交互：
- 类型参数可以在函数类型签名中使用：泛型类型参数可以在函数的参数类型和返回值类型中使用。
-
函数类型仍然是类型安全的：即使函数使用泛型类型参数，函数类型安全仍然适用。例如，
Filter函数可以适用于任何类型的元素，但它只能根据以下条件过滤元素：func(T) bool。 -
泛型类型约束：我们可以使用类型约束来限制类型参数可以是哪些类型。例如，我们可以将
Filter函数限制为只能过滤可比较类型的元素：
func FilterComparable[T comparable](slice []T, f func(T) bool) []T {
//...
}实战案例
考虑以下示例，我们将使用Filter函数过滤一个字符串切片：
func main() {
slice := []string{"apple", "banana", "cherry"}
filtered := Filter(slice, func(s string) bool {
return len(s) >= 5
})
fmt.Println(filtered) // 输出：[banana, cherry]
}在此示例中，Filter函数用于根据字符串长度过滤字符串切片。func(s string) bool约束确保Filter只能用于可比较类型的元素。
结论
函数类型安全和泛型共同增强了 Go 语言的类型系统。它们使我们能够创建类型化的函数和类型，确保代码正确性和可维护性。通过理解这两种机制之间的交互，我们可以充分利用 Go 语言的类型系统。
