如何将一种可转换为指针的泛型类型参数化另一种可转换为指针的泛型类型？

从现在开始，我们要努力学习啦！今天我给大家带来《如何将一种可转换为指针的泛型类型参数化另一种可转换为指针的泛型类型？》，感兴趣的朋友请继续看下去吧！下文中的内容我们主要会涉及到等等知识点，如果在阅读本文过程中有遇到不清楚的地方，欢迎留言呀！我们一起讨论，一起学习！

从类型参数提案中，有一个有用的部分描述了应该如何定义类型约束，以便已经通过其指针接收器实现接口的类型仍然可以用作类型参数，例如：

type explainedexamplegeneric[t any] interface {
    getbool() bool
    *t // non-interface type constraint element
}

type explainedimpl struct{ bully bool }

func (e *explainedimpl) getbool() bool { return e == nil || e.bully }

func print[t any, pt explainedexamplegeneric[t]](impl t) {
    fmt.println(pt(&impl).getbool())
}

func main() {
    print[explainedimpl](explainedimpl{}) // prints: false
}

对于我的用例，我想使用此 explainedexamplegeneric 作为另一个泛型类型的参数：

type uncharteredgeneric[t any, u any, v explainedexamplegeneric[u]] interface {
    getstring() string
    getexplainedexamplegeneric() v
    *t // non-interface type constraint element
}

type explainedexamplegeneric[t any] interface {
    getbool() bool
    *t // non-interface type constraint element
}

此编译，但是，当尝试编译函数以利用此 uncharteredgeneric 类型时，我收到以下错误：

./prog.go:35:40: got 2 arguments but 3 type parameters
./prog.go:36:17: cannot convert &impl (value of type *t) to type pt

func uncharteredprint[t any, u any, pt uncharteredgeneric[t, u]](impl t) { -> got 2 arguments but 3 type parameters
    fmt.println(pt(&impl).getexplainedexamplegeneric().getbool()) -> cannot convert &impl (value of type *t) to type pt
}

最后，当我尝试调用此函数时，无法推断我的类型链接到演示：

./prog.go:36:40: got 2 arguments but 3 type parameters
./prog.go:37:17: cannot convert &impl (value of type *t) to type pt
./prog.go:42:50: cannot infer pt (prog.go:36:37)

package main

import "fmt"

type UncharteredGeneric[T any, U any, V ExplainedExampleGeneric[U]] interface {
    GetString() string
    GetExplainedExampleGeneric() V
    *T // non-interface type constraint element
}

type ExplainedExampleGeneric[T any] interface {
    GetBool() bool
    *T // non-interface type constraint element
}

type UncharteredImpl struct{ some string }

func (e *UncharteredImpl) GetExplainedExampleGeneric() ExplainedImpl { return ExplainedImpl{} }
func (e *UncharteredImpl) GetString() string {
    if e == nil {
        return ""
    }
    return e.some
}

type ExplainedImpl struct{ bully bool }

func (e *ExplainedImpl) GetBool() bool { return e == nil || e.bully }

func Print[T any, PT ExplainedExampleGeneric[T]](impl T) {
    fmt.Println(PT(&impl).GetBool())
}

func UncharteredPrint[T any, U any, PT UncharteredGeneric[T, U]](impl T) { -> got 2 arguments but 3 type parameters
    fmt.Println(PT(&impl).GetExplainedExampleGeneric().GetBool()) -> cannot convert &impl (value of type *T) to type PT
}

func main() {
    Print[ExplainedImpl](ExplainedImpl{})
    UncharteredPrint[UncharteredImpl, ExplainedImpl](UncharteredImpl{}) -> cannot infer PT (prog.go:36:37)
}

知道我做错了什么吗？似乎应该是可能的，但我不确定我在这里缺少什么，任何帮助将不胜感激。

正确答案

首先，接口 uncharteredgeneric 是参数化类型，您必须显式提供所有三个类型参数。

因此在uncharteredprint函数类型参数列表中，pt应该是：

pt uncharteredgeneric[t, u, v]

现在 v 是什么？如 uncharteredgeneric 自己的类型参数列表中所示，v 必须满足 explainedexamplegeneric[u]，因此这就是我们定义它的方式。完整的签名变为：

uncharteredprint[t any, u any, v explainedexamplegeneric[u], pt uncharteredgeneric[t, u, v]](impl t)

不能直接使用 explainedexamplegeneric[u] 来实例化 uncharteredgeneric，因为 explainedexamplegeneric 包含类型元素 *t；您只能将其用作 v 的约束。

最后，毕竟 pt 将被推断为 *uncharteredimpl，但这尚未实现 uncharteredgeneric — v 使用 *explainedimpl 实例化，但该方法声明为 zqbc zqbgetexplainedexamplegeneric()explainedimpl。您还必须修复方法签名以返回指针类型：

func (e *UncharteredImpl) GetExplainedExampleGeneric() *ExplainedImpl { return &ExplainedImpl{} }

然后，编译运行：https://go.dev/play/p/zCZd53ys-5J

以上就是《如何将一种可转换为指针的泛型类型参数化另一种可转换为指针的泛型类型？》的详细内容，更多关于的资料请关注golang学习网公众号！