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

Question

鉴于这些类型定义：

type N interface{ ~int | ~float32 | ~float64 }

type S[T any] struct {

    t T

}

type myInt int

type pSpMyInt[T myInt] *S[*T]

type spMyInt[T *myInt,] S[T]

type spMyInt2[T myInt] S[*T]

type pSpMyInt我可以创建一个 var

func 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 compilefunc 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)}