Generic
概述
参考:
Go 语言的 Generic(泛型) 让我们在定义接口、函数、结构体时将其中的类型参数化。我们从古老的 Ada 语言的第一个版本就开始使用泛型了,后来 C++ 的模板中也有泛型,直到 Java 和 C# 中的现代实现都是很常见的例子。
通过 类型参数,可以改变某个变量的类型。准确说是赋予某个变量类型,即 让一个变量从 泛型(宽泛的类型) 变为 定型(定义好的类型)。
泛型为 Go 添加了三个新的重要内容:
- 面向函数和类型的“类型形参” (type parameters)
- 将接口类型定义为类型集合,包括没有方法的接口类型
- 类型推断:在大多数情况下,在调用泛型函数时可省略“类型实参” (type arguments)
类型形参与约束
下面是一个初步理解泛型的最简单例子:
// 泛型
// 使用类型形参编写 Go 函数以处理多种类型
// comparable 是一个内置 Constraint(约束),用来表示类型形参可以接收的类型实参的种类,所谓的“约束”就是指,T 被约束为可以使用哪几种类型。
// comparable 包含所有可以比较类型,包括:booleans、numbers、strings、pointers、channels、可比较的 arrays、structs 中的属性
// comparable 可以改为 any,表示 T 可以是任意类型
func Index[T comparable](s []T, x T) int {
for i, v := range s {
// 这里的 v 和 x 都是 T 类型
// 若上层调用时,传进来的 T 的约束类型为 string,则 s 和 x 也是 string 类型;若传进来的 T 的约束类型为 int,则 s 和 x 也是 int 类型
if v == x {
return i
}
}
return -1
}
func main() {
// Index() 函数适用于 int 类型的切片
si := []int{10, 20, 15, -10}
fmt.Println(Index[int](si, 15))
// Index() 函数同样也使用于 string 类型的切片
ss := []string{"foo", "bar", "baz"}
fmt.Println(Index[string](ss, "hello"))
}
可以看到,我们将 a、b 的类型参数化了。这里的 T,可以称之为泛型类型,同时也是 Index()
方法的 Type Parameters(类型形参)。当我们调用 Index() 时,可以像这样 Index[int](si, 15)
传递参数告诉 Index()
当前应该使用哪种类型类型执行其中的代码,这里的 [int]
就是告诉 Index 的 T 应该是 int 类型,相当于 func Index[T comparable](s []T, x T) int {}
变成了 func Index(s []int, x int) int {}
如果没有泛型,那么我们的 Index()
函数就要写两遍(有多少种类型,就要写多少遍):
func IndexInt(s []int, x int) int {
// Do Somthing
}
func IndexString(s []string, x string) int {
// Do Somthing
}
还可以使用 any 关键字,以便让约束变为任意类型,any 比 comparable 可接受更多种类的类型。
func Do[R any, S any, T any](a R, b S) T {
// Do Somthing
}
func main() {
fmt.Println(Do[int, uint, float64](1, 2))
}
// 上面的代码的行为与下面的函数完全相同:
// Do(a int, b uint) float64
总结
在 Method AND Interface 中提到了 Interface、Method、Struct 的现实比喻。但是还有一种特殊情况,就是多个对象的某个或某些行为完全或基本完全相同时(这里不一定需要 Interface 的参与),我们需要针对每个对象编写相同的代码(毕竟函数或方法中,需要使用到具体类型的对象)。此时就需要在函数或方法中,使用一种广泛的类型(i.e. 泛型)编写代码,在调用函数或方法时,根据传递的类型参数,把宽泛的类型固定为指定具体的类型。
利用泛型,可以将如下这种代码进行简化
公用部分
var db *gorm.DB
func initDB() {
var err error
db, err = gorm.Open(sqlite.Open("test.db"), &gorm.Config{})
if err != nil {
panic("failed to connect database")
}
db.AutoMigrate(&UserGorm{}, &ProductGorm{})
}
不使用 Generic 而是 Interface 的情况
type ProductGorm struct {
gorm.Model
Name string
Price uint
}
func (p *ProductGorm) Create(db *gorm.DB) error {
return db.Create(p).Error
}
// 由于该 struct 必须要实现 interface,所以,该 struct 的方法不像泛型可以直接返回一个泛型类型 T。只能返回 interface{}
func (p *ProductGorm) Get(db *gorm.DB, id uint) (interface{}, error) {
var pg ProductGorm
err := db.Where("id = ?", id).First(&pg).Error
return pg, err
}
type UserGorm struct {
gorm.Model
FirstName string
LastName string
}
// 不使用泛型的情况下,每个新的 struct 都要写一遍 Create 和 Get,哪怕 Create 和 Get 中的逻辑一样。
func (u *UserGorm) Create(db *gorm.DB) error {
return db.Create(u).Error
}
func (u *UserGorm) Get(db *gorm.DB, id uint) (interface{}, error) {
var ug UserGorm
err := db.Where("id = ?", id).First(&ug).Error
return ug, err
}
// 在这个示例中,接口只是为了与 handlingData 搭配展示类似泛型一样的参数传递。并不一定要使用接口
// type SQLExecutor interface {
// Create(db *gorm.DB) error
// Get(db *gorm.DB, id uint) (interface{}, error)
// }
// func handlingData(e SQLExecutor, db *gorm.DB, id uint) {
// e.Create(db)
// fmt.Println(e.Get(db, id))
// }
func main() {
initDB()
p := &ProductGorm{
Name: "product",
Price: 100,
}
u := &UserGorm{
FirstName: "first",
LastName: "last",
}
// 并不需要 handlingData() 函数来演示不使用泛型的效果,
// 只是用了接口后,添加该函数可以展现出接口中类似泛型一样的可以传递任意类型的效果
// handlingData(p, db, 1)
// handlingData(u, db, 1)
// 不使用泛型,需要给每个结构体都编写一遍相同的方法。
p.Create(db)
fmt.Println(p.Get(db, 1))
u.Create(db)
fmt.Println(u.Get(db, 1))
}
使用 Generic 的改进
type ProductGorm struct {
gorm.Model
Name string
Price uint
}
type UserGorm struct {
gorm.Model
FirstName string
LastName string
}
// 由泛型结构体统一处理
type SQLExecutor[T any] struct {
db *gorm.DB
}
// 通用的处理器
// !!!最关键的是通过泛型的使用!!!
// !!!代码整体上少写了很多 Create 和 Get。尤其是当还需要添加更多 strcut 时,节省的代码量会非常多!!!
func NewSQLExecutor[T any](db *gorm.DB) *SQLExecutor[T] {
return &SQLExecutor[T]{
db: db,
}
}
func (e *SQLExecutor[T]) Create(t *T) error {
return e.db.Create(t).Error
}
func (e *SQLExecutor[T]) Get(id uint) (*T, error) {
var t T
err := e.db.Where("id = ?", id).First(&t).Error
return &t, err
}
// 这个函数只是为了与使用接口对比而设计的,真实用法不是这样的。
// func handlingData[T any](e *SQLExecutor[T], p *T) {
// e.Create(p)
// fmt.Println(e.Get(1))
// }
func main() {
initDB()
p := &ProductGorm{
Name: "product",
Price: 100,
}
u := &UserGorm{
FirstName: "first",
LastName: "last",
}
// 泛型的最佳时机,就是当两个“对象”的某些“方法”的行为完全一样时,我们可以通过泛型来声明这些方法,以防止重复编写完全相同的代码。
// 就像下面这段代码中,ProductGorm 与 UserGorm 的两个方法代码其实是完全相同的,如果使用 interface{},那么我们需要重复写 Create() 与 Get() 方法。
// 其实,本质上 ProductGorm 与 UserGorm 所需要执行的 SQL 是完全一样,不一样的只是其中的列名而已。
ep := NewSQLExecutor[ProductGorm](db)
ep.Create(p)
fmt.Println(ep.Get(1))
eu := NewSQLExecutor[UserGorm](db)
eu.Create(u)
fmt.Println(eu.Get(1))
// 使用 handlingData() 只是为了与不使用泛型的示例中,添加了接口的使用示例保持一致,以方便对比。
// handlingData(NewSQLExecutor[ProductGorm](db), p)
// handlingData(NewSQLExecutor[UserGorm](db), u)
}
可以看到,使用了泛型之后,如果还有新的对象需要使用到类型的行为,我们不用再编写更多的重复代码,直接设定好对象即可。
待总结
类型形参
现在函数和类型都具有类型形参” (type parameters),类型形参列表看起来就是一个普通的参数列表,除了它使用的是方括号而不是小括号。
先从浮点值的基本非泛型 Min 函数开始:
func Min(x, y float64) float64 {
if x < y {
return x
}
return y
}
通过添加类型形参列表来使这个函数泛型化——使其适用于不同的类型。在此示例中,添加了一个带有单个类型形参T
的类型参数列表,并替换了float64
。
import "golang.org/x/exp/constraints"
func GMin[T constraints.Ordered](x, y T) T {
if x < y {
return x
}
return y
}
然后就可以使用类型实参调用此函数:
x := GMin[int](2, 3)
向 GMin 提供类型参数,在这种情况下int
称为实例化。实例化分两步进行。首先,编译器在泛型函数或泛型类型中用所有类型形参替换它们各自的类型实参。然后,编译器验证每个类型形参是否满足各自的约束。如果第二步失败,实例化就会失败并且程序无效。
成功实例化后,即可产生非泛型函数,它可以像任何其他函数一样被调用。比如:
fmin := GMin[float64]
m := fmin(2.71, 3.14)
GMin[float64]
的实例化产生了一个与Min
函数等效的函数,可以在函数调用中使用它。类型形参也可以与类型一起使用。
type Tree[T interface{}] struct {
left, right *Tree[T]
value T
}
func (t *Tree[T]) Lookup(x T) *Tree[T] { ... }
var stringTree Tree[string]
在上面的例子中,泛型类型Tree
存储了类型形参T
的值。泛型类型也可以有方法,比如本例中的Lookup
。为了使用泛型类型,它必须被实例化;Tree[string]
是使用类型实参string
来实例化Tree
的示例。
类型推断
此项功能是最复杂的变更,主要包括:
- 函数参数类型推断 (Function argument type inference)
- 约束类型推断 (Constraint type inference)
虽然类型推断的工作原理细节很复杂,但使用它并不复杂:类型推断要么成功,要么失败。如果它成功,类型实参可以被省略,调用泛型函数看起来与调用普通函数没有什么不同。如果类型推断失败,编译器将给出错误消息,在这种情况下,只需提供必要的类型实参。
泛型是 Go 1.18 的重要新语言特性,Robert Griesemer 和 Ian Lance Taylor 表示,这个功能实现得很好并且质量很高。虽然他们鼓励在有必要的场景中使用泛型,但在生产环境中部署泛型代码时,请务必谨慎。
更多介绍查看原文:https://go.dev/blog/intro-generics。
使用泛型的最佳时机
从历史上看,C++、D 乃至 Rust 等系统语言一直采用单态化方法实现泛型。然而,Go 1.18 的泛型实现并不完全依靠单态化 (Monomorphization),而是采用了一种被称为"GCShape stenciling with Dictionaries"的部分单态化技术。这种方法的好处是可以大幅减少代码量,但在特定情况下,会导致代码速度变慢。
Ian Lance Taylor 表示,Go 的通用开发准则有要求:开发者应通过编写代码而不是定义类型来编写 Go 程序。当涉及到泛型时,如果通过定义类型参数约束来编写程序,那一开始就走错了路。正解应该是从编写函数开始,当明确了类型参数的作用后,再添加类型参数就很容易了。
接着,Ian 列举了 4 种类型参数能有效发挥作用的情况:
- 使用语言定义的特殊容器类型
- 通用数据结构
- 类型参数首选是函数,而非方法的情况
- 不同类型需要实现通用方法
同时也提醒了不适合使用类型参数的情况:
- 不要使用类型参数替换接口类型 (Interface Type)
- 如果方法实现不同,不要使用类型参数
- 在适当的地方使用反射 (reflection)
最后,Ian 给出了简要的泛型使用方针,当开发者发现自己多次编写完全相同的代码,而这些副本之间的唯一区别仅在于使用了不同类型,这时候便可以考虑使用类型参数。换句话说,即开发者应避免使用类型参数,直到发现自己要多次编写完全相同的代码。
反馈
此页是否对你有帮助?
Glad to hear it! Please tell us how we can improve.
Sorry to hear that. Please tell us how we can improve.