对具有递归类型约束的函数的泛型化

编程并不是一个机械性的工作，而是需要有思考，有创新的工作，语法是固定的，但解决问题的思路则是依靠人的思维，这就需要我们坚持学习和更新自己的知识。今天golang学习网就整理分享《对具有递归类型约束的函数的泛型化》，文章讲解的知识点主要包括，如果你对Golang方面的知识点感兴趣，就不要错过golang学习网，在这可以对大家的知识积累有所帮助，助力开发能力的提升。

是否可以编写一个泛型类型约束，以便该类型包含返回相同类型的函数，或者是否与普通接口存在相同的问题？示例用例是具有可链接方法的构建器。

假设我有一个构建器 intfoo，它有一个 setfoo 方法，负责将 foo 字段设置为某个值。演示链接

type intfoo struct {
    foo int
}

func (me *intfoo) setfoo(foo int) *intfoo {
    me.foo = foo
    return me
}

现在我可能有几个像这样的不同类型的构建器，我想定义一个这样的约束：

type builder[f any] interface {
    setfoo(f) builder[f] // this return type is problematic
}

以及一些使用构建器约束类型的函数，如下所示：

// some generic demo function
func demo[e builder[f], f any](builder e, foo f) {
    builder.setfoo(foo)
    return
}

尝试调用演示函数

e := &intfoo{}
    demo(e, 2)

导致错误：

[compiler InvalidTypeArg] [E] *IntFoo does not implement Builder[int] (wrong type for method SetFoo)
        have SetFoo(foo int) *IntFoo
        want SetFoo(int) Builder[int]

正确答案

您想要从您的方法返回原始类型 e - 而不是 builder 接口：

type builder[f, e any] interface {
    setfoo(f) e
}

然后重新处理 demo，以便将所需类型 e 中继到 builder 类型约束：

func demo[e builder[f, e], f any](bldr e, foo f) e {
    return bldr.setfoo(foo)
}

https://go.dev/play/p/2K4D_nzMwU2

v := demo(e, 2)
fmt.Printf("%[1]T : %+[1]v\n", v) // *main.IntFoo : &{foo:2}

本篇关于《对具有递归类型约束的函数的泛型化》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！