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

给定这些类型定义：

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
}

但我不知道如何创建 spmyint 或 spmyint2 的变量。

这个

func createSP[T myInt]() spMyInt2[T] {
    var i T
    s := S[*T]{t: &i}
    return s
}

编译失败 不能在return语句中使用s（s[*t]类型的变量）作为spmyint2[t]类型。

正确答案

首先，不要使用精确类型参数约束。这几乎没有任何意义。当您将函数声明为 createps[t myint]() 时，类型参数类型集的基数为 1，因此可以有效地由 myint 实例化仅和永远。您可以像下面这样重写该函数：

解决这个问题：

类型 s[*t] 与 spmyint2[t] 不同。但是，由于 spmyint2[t] 的底层类型是 s[*t]，因此您可以简单地转换：

至于 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 应该满足 phpcnc phpcnt * myint。这是不正确的，因为类型文字 *t 不等于 *myint 的明显不明显的原因。所以实际上你不能为 type spmyint[t *myint,] s[t] 编写通用构造函数。

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

func createSP1() spMyInt[*myInt] {
    var i myInt
    s := S[*myInt]{t: &i}
    return spMyInt[*myInt](s)
}