go - 如何允许可转换为指针的泛型类型参数化另一个可转换为指针的泛型类型？

Question

从类型参数提议中，有a useful section描述应该如何定义一个类型约束，这样一个已经通过它的指针接收器实现了接口(interface)的类型仍然可以用作类型参数，例如:

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
}

最后，当我尝试调用这个函数时，无法推断出我的类型link to playground :

./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)
}

知道我做错了什么吗？似乎应该可以，但我不确定我在这里遗漏了什么，我们将不胜感激。

Answer 1

首先，UncharteredGeneric 接口(interface)是一个参数化的类型，您必须显式提供所有三种类型参数。

因此在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 实例化的，但是该方法被声明为 GetExplainedExampleGeneric() ExplainedImpl。您还必须修复方法签名以返回指针类型:

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

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