在 Go 中如何编写不带类型参数的泛型方法？

Go 1.18beta 引入了泛型，本文探讨了如何为泛型切片定义扩展方法。虽然最初尝试将泛型方法定义为 `func (slice *[]e) map[e, v any](iteratee func(e) v) *[]v` 失败，但可以通过声明切片类型 `type slice[e, v any] []e` 并将类型参数添加到接收器 `func (s *slice[e, v]) map(iteratee func(e) v) *[]v` 来实现。这使得能够像 `slice := []string{"a", "b", "c"}` 这样的切片上使用 `slice.Map(func(s string) string { return s + "122" })` 等方法。

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 使用 go 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"
    })

正确答案

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

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
}

（提示）规范的相关部分：Spec: Method declarations:

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

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

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

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

为了使用第二个类型参数 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 */ )

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

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

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

SliceType = "[" "]" ElementType .

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

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

本篇关于《在 Go 中如何编写不带类型参数的泛型方法？》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！