搞懂Go泛型，这篇就够了？还是另有高招？

Go 1.18 版本以来的泛型特性，无疑是 Go 生态中重磅的一笔。之前使用接口转换、反射等方式实现多态性，效率和代码可读性都存在问题。而泛型的出现，彻底改变了 Go 代码的编写方式，带来了更高的类型平安性和代码复用率，恳请大家...。

为什么需要泛型？

在深入探讨泛型的用法之前，我们需要思考一下为什么要引入这种特性。传统的 Go 代码中， 如果需要处理多种类型的数据，通常会使用 `interface{}` 作为通用类型。虽然灵活性高， 但也存在一些问题：，何必呢？

• 类型不平安： 使用 `interface{}` 时类型检查发生在运行时可能导致运行时错误。
• 性能开销： 类型转换和反射会带来额外的性能开销。
• 代码冗余： 为了适应不同类型的数据，需要编写大量的重复代码。

你想... 而泛型正是为了解决这些问题而设计的。它允许在编译时进行类型检查和优化，提高代码的平安性、效率和可维护性。

Go 泛型的实现

type Number interface { int | float64 }

类型参数

func Add T { return a + b }，闹乌龙。

package main import "fmt" type MyInt int func String string { return ", i)} func PrintNumber {} func main { var a int = 42 var b MyInt = 42 PrintNumber // 输出: 42 PrintNumber // 输出: MyInt}

基本语法

• 使用方括号 包裹类型参数名
• any 是一个预定义的接口类型，等价于 `interface{}`
• 可以使用多个类型参数

约束

func Max T { ... }

接口约束 接口约束允许指定某个类型的底层或实现接口的上下限。 比方说：type Number interface { int | float64 } 通过这个约束告诉编译器如果使用该函数则必须传入符合条件的参数. 通过定义类似Comparable的接口来约束其参数可以保证其调用时的平安性.，实锤。