使用指向类型参数的指针创建泛型类型的实例

Question

鉴于这些类型定义：type N interface{ ~int | ~float32 | ~float64 }type S[T any] struct {    t T}type myInt inttype pSpMyInt[T myInt] *S[*T]type spMyInt[T *myInt,] S[T]type spMyInt2[T myInt] S[*T]type pSpMyInt我可以创建一个 varfunc createPS[T myInt]() pSpMyInt[T] {    var i T    s := S[*T]{t: &i}    return &s}但我无法弄清楚如何创建spMyIntor的变量spMyInt2。这func createSP[T myInt]() spMyInt2[T] {    var i T    s := S[*T]{t: &i}    return s}编译失败 cannot use s (variable of type S[*T]) as type spMyInt2[T] in return statement。

Answer 1

首先，不要使用精确类型参数约束。它几乎没有意义。当您将函数声明为 时createPS[T myInt]()，类型参数类型集的基数为 1，因此它只能有效地由实例化myInt。您可以像下面这样重写函数：

func createPS() pSpMyInt[myInt] {

    var i myInt

    s := S[*myInt]{t: &i}

    return &s

}

有了这个：

类型S[*T] 与spMyInt2[T]. _ 但是，由于spMyInt2[T]的基础类型是S[*T]，您可以简单地转换：

func createSP2[T myInt]() spMyInt2[T] {

    var i T

    s := S[*T]{t: &i}

    return spMyInt2[T](s) // conversion

}

至于type spMyInt[T *myInt,] S[T]（逗号不是拼写错误，而是避免解析歧义所必需的），事情并没有那么简单。

问题是类型参数不是它的类型约束。因此类型文字不能用于实例化不同的未命名类型文字。要明确：

// naive attempt that doesn't compile

func createSP1[T myInt]() spMyInt[*T] {

    var i T

    s := S[*T]{t: &i}

    return spMyInt[*T](s)

}

你可能认为spMyInt[T *myInt]有一个类型参数被约束到*myInt并且函数T被基类型约束myInt，因此 *T应该满足T *myInt。这是不正确的，因为类型文字*T不等同于*myInt. 所以实际上你不能为type spMyInt[T *myInt,] S[T].

但是你很幸运，因为类型约束的基数为 1。所以你可以删除类型参数：

func createSP1() spMyInt[*myInt] {

    var i myInt

    s := S[*myInt]{t: &i}

    return spMyInt[*myInt](s)

}