在Golang中定义指定接收器类型约束的方法

哈喽！大家好，很高兴又见面了，我是golang学习网的一名作者，今天由我给大家带来一篇《在Golang中定义指定接收器类型约束的方法》，本文主要会讲到等等知识点，希望大家一起学习进步，也欢迎大家关注、点赞、收藏、转发! 下面就一起来看看吧！

我可能错过了 golang 泛型规范中的某些内容，并且我遇到了一个奇怪的情况，我似乎无法找到答案。

要点是我想定义一个接收参数的方法，其指针接收器实现特定的接口。我需要它作为指针接收器来改变实现接口的结构。

这是问题情况的简化示例。 https://go.dev/play/p/lw256mh1pgh

package main

import "fmt"

type doer interface {
    do()
}

type thing struct {
    used int
}

var _ doer = &thing{}

func (t *thing) do() {
    t.used++
    fmt.println("doing my thing.")
}

func append[t doer](list []t, constructor func() *t) []t {
    v := constructor()
    v.do()
    return append(list, *v)
}

func main() {
    constructor := func() *thing { return &thing{} }
    s := make([]thing, 0)
    s = append(s, constructor)
    fmt.println(s)
}

所以你看到有两个错误。即使我接受构造函数返回一个 thing 而不是可能导致许多分配的指针，我仍然无法调用 do()。下面是更详细的错误。

thing does not implement doer: wrong method signature
    got  func (*thing).do()
    want func (doer).do()

我想知道如何指定类型约束以验证指针接收器。我想我缺少一些语法？

目前，我可以通过提供包装函数来调用 do() 函数来解决此问题。 https://play.golang.com/p/as6yn_isghi

func Append[T any](list []T, constructor func() *T, do func(*T)) []T {
    v := constructor()
    do(v)
    return append(list, *v)
}

func main() {
    constructor := func() *Thing { return &Thing{} }
    s := make([]Thing, 0)

    s = Append(s, constructor, func(t *Thing) { t.Do() })

    fmt.Println(s)
}

对这个可能愚蠢的问题表示歉意。我只是不知道如何告诉 golang 检查指针接收器上的类型约束。我尝试了 [t *doer]、[&t doer] 之类的东西，但无法让它们工作。

正确答案

听起来您好像陷入了实现接口的指针和指向接口的指针之间。一般规则是，在具体类型方面保留指针，在通用方面使用接口。

*thing 实现了 doer，但就 append 而言，它只是处理 doer。

func append[t doer](list []t, constructor func() *t) []t

该列表的类型为 t。返回的是 t 类型的列表。为什么构造函数返回*t？

*thing 可能是 doer 背后的具体类型，但这取决于实现。 append 仅处理 doer。

return append(list, *v)

这里也一样。为什么要取消引用 v？构造函数应返回 doer。列表是 doers。因此，添加 append(list, v) ，无需取消引用。

最后，[]thing 不适合您的列表类型。

constructor := func() *thing { return &thing{} }
    s := make([]thing, 0)

你的构造函数返回*thing，但你的列表是thing。由于 *thing 实现了 doer，因此我们应该改为 make([]*thing, 0)。

func Append[T Doer](list []T, constructor func() T) []T {
    v := constructor()
    v.Do()
    return append(list, v)
}

func main() {
    constructor := func() *Thing { return &Thing{} }
    s := make([]*Thing, 0)
    s = Append(s, constructor)
    fmt.Println(s)
}

完整示例https://go.dev/play/p/K2oAy6gl2q8

终于介绍完啦！小伙伴们，这篇关于《在Golang中定义指定接收器类型约束的方法》的介绍应该让你收获多多了吧！欢迎大家收藏或分享给更多需要学习的朋友吧~golang学习网公众号也会发布Golang相关知识，快来关注吧！