跳到主要内容

Golang 泛型

警告
  • 目前不好使用 new(T), 增加一个类型进行限制
  • method 不支持类型参数 - No parameterized methods
  • type 参数不支持 assert - 可以考虑 _,ok := any(v).(int)
信息
  • golang.org/x/exp/slices - #45955
  • lightweight anonymous function syntax - #21498
  • 使用 struct 字段作为一个类型 #48522

FAQ

new(T)

目前该方法无法使用 https://stackoverflow.com/questions/71440697

  • 直接限定不方便传参数,因为 struct 不一定实现 interface, *struct 才实现 interface
正确做法
type Setter[T any] interface {
SetIndex(n int)
*T
}
func setIndex[T any, PT Setter[T]](items []int) (o []PT) {
for _, v := range items {
m := PT(new(T))
m.SetIndex(v)
o = append(o, m)
}
return
}

// 限定 接口 直接写也可以
func setIndex[T any, PT interface {
SetIndex(n int)
*T
}](items []int) (o []PT) {
for _, v := range items {
m := PT(new(T))
m.SetIndex(v)
o = append(o, m)
}
return
}
错误做法
func setIndex[M interface {
SetIndex(n int)
}](items []int) (o []M) {
for _, v := range items {
// NPE
m := *new(M)
m.SetIndex(v)
o = append(o, m)
}
return
}

type A struct {
Index int
}

func (s *A) SetIndex(v int) {
s.Index = v
}
func TestSetIndex(t *testing.T) {
// 会出现 NPE
fmt.Println(setIndex[*A]([]int{1, 2, 3, 4}))
}

method must have no type parameters

type A struct{}
// method 不支持 类型参数
func (v A)Map[T any](f func(A)T)T{
return f(v)
}

// func 支持 类型参数
func Map[IN any, OUT any](s IN, f func(IN) OUT) (o OUT) {
return f(s)
}

cannot use generic type without instantiation

type A[T any] struct {}
// 不可以
func(a A)Name(){}
// 可以
func(a A[T])Name(){}

cannot use type assertion on type parameter value Xxx(variable of type T constrained by any)

type A[T any] struct {
Val T
}
func(a A[T])Name(){
// 不可以 - 因为 T 是具体类型
_,_=a.Val.(string)

// 可以
var v interface{} = a.Val
_, _ = v.(string)

// 可以
_, _ = (interface{})(a.Val).(string)
}
  • proposal: spec: generics: type switch on parametric types #45380