如何在 Go 中创建泛型方法？（方法必须没有类型参数）

Question

Golang 1.18beta支持泛型，我想在泛型切片上添加扩展方法。例如，地图函数定义如下：

func Map[E, V any](slice *[]E, iteratee func(E) V) *[]V {
    result := []V{}
    for _, item := range *slice {
        result = append(result, iteratee(item))
    }

    return &result
}

然后我想把这个方法作为slice的扩展方法，像这样，但是无法编译成功：

func (slice *[]E) Map[E, V any](iteratee func(E) V) *[]V {
    result := []V{}
    for _, item := range *slice {
        result = append(result, iteratee(item))
    }

    return &result
}

go buildGo 1.18 给出错误：

main.go: method must have no type parameters

实现第二个代码块的正确方法是什么？

我想这样使用：

slice := []string{"a", "b", "c"}
newSlice := slice.Map(func(s string) string {
        return s + "122"
    })

Answer 1

您必须slice使用要用于Map()（或任何其他）方法的类型参数来声明类型：

type slice[E, V any] []E

并且您必须将类型参数添加到接收器，没有约束（这些约束与类型声明中定义的相同），就像实例化泛型类型一样slice：

func (s *slice[E, V]) Map(iteratee func(E) V) *[]V {
    result := []V{}
    for _, item := range *s {
        result = append(result, iteratee(item))
    }

    return &result
}

测试它：

s := slice[int, string]{1, 2, 3}
m := s.Map(func(i int) string { return fmt.Sprint("x", i) })
fmt.Println(m)

它将输出（在Go Playground上尝试）：

&[x1 x2 x3]

另请注意，切片（切片头）已经包含指向底层数组的指针，因此很少需要使用切片指针。相反，使用非指针接收器声明该方法，并返回一个非指针（在Go Playground上尝试这个）：

func (s slice[E, V]) Map(iteratee func(E) V) []V {
    result := []V{}
    for _, item := range s {
        result = append(result, iteratee(item))
    }

    return result
}

（提示）规范的相关部分：规范：方法声明：

如果接收者基类型是参数化类型，则接收者规范必须为要使用的方法声明相应的类型参数。这使得接收者类型参数可供该方法使用。

从语法上讲，此类型参数声明看起来像接收者基类型的实例化，不同之处在于类型实参是正在声明的类型参数，一个对应于接收者基类型的每个类型参数。类型参数名称不需要与接收者基本类型定义中相应的参数名称相匹配，并且所有非空白参数名称在接收者参数部分和方法签名中必须是唯一的。接收者类型参数约束由接收者基本类型定义隐含：相应的类型参数具有相应的约束。

Answer 2

方法不允许具有未在接收器类型上指定的类型参数。

原因是 Go 中的接口是隐式实现的，因此目前还不清楚泛型方法如何实现接口。

为了使用第二个类型 param V，必须在类型声明中定义它。例如：

// type def: must specify V here
type Slice[T, V any] []T

func (s Slice[T,V]) Map(iteratee func(T) V) []V {
    result := make([]V, 0)
    for _, item := range s {
        result = append(result, iteratee(item))
    }

    return result
}

但是，您也可以考虑使用通用顶级函数，它的优点是允许类型推断，从而允许您使用更少的冗长代码并在实例化期间省略显式类型参数。

请注意，接收者必须重复类型参数声明，以便类型参数名称位于该方法的范围内：

func (s Slice[T,V]) Map(...)

如果某些方法根本不使用类型参数，您可以使用空白标识符_（下划线）来表示：

func (s Slice[T,_]) Foo( /* not using V herein */ )

然而，您的问题实际上是关于在未命名类型上定义泛型方法。

不管有没有泛型，你都无法做到这一点。您只能在定义的类型（即带有标识符的类型）上声明方法，并且在第二个片段中，E不是定义的类型，而是类型参数。

与所有数组都继承原型的 Javascript 不同Array，Go 中的切片类型本身也没有定义。它在语言规范中形式化为：

SliceType = "[" "]" ElementType .

如您所见，没有标识符。因此，您不能在任何和所有 slice 上声明方法，因为没有一个包罗万象的类型可以作为此类方法的接收者。

Playground 显示方法与函数：https://gotipplay.golang.org/p/R7uAq0SBUjj