转到1.18泛型如何用接口定义一个新的able类型参数

Question

这曾经在go1.18beta1中工作，但在go1.18rc1 中不工作

package main
type A struct{}
func (*A) Hello() {
println("Hello")
}
func Create[M any, PT interface {
Hello()
*M
}](n int) (out []*M) {
for i := 0; i < n; i++ {
v := PT(new(M))
v.Hello()
out = append(out, v)
}
return
}
func main() {
println(Create[A](2))
}

执行将抛出

./prog.go:16:21: cannot use v (variable of type PT constrained by interface{Hello(); *M}) as type *M in argument to append:
PT does not implement *M (type *M is pointer to interface, not interface)

似乎是由于这个限制：

不允许在结构类型中嵌入类型参数或指向类型参数的指针作为未命名字段。类似地，不允许在接口类型中嵌入类型参数。目前尚不清楚这些是否会被允许。

如何在go1.18rc1中执行此操作？

Answer 1

您必须再次将v转换回*M。

out = append(out, (*M)(v))

你得到的错误是关于可分配性。事实上，你问题中的引号并没有禁止在接口中嵌入指针类型。M和PT都是不同的命名类型参数，如果没有显式转换，就无法将其中一个参数分配给另一个。

转换是有效的，因为PT的类型集中的所有类型(仅*M(都可以转换为*M。