在学习Go泛型时，我遇到了一个似乎无法解决的错误。我把它归结为最简单的代码：
type opStack[T any] []T
func main() {
t := make(opStack)
// t := new(opStack)
t = append(t, 0)
fmt.Println(t[0])
}
在操场上，它在make()调用时(类似地，在被注释掉的new调用时(发出以下错误消息：
不能在没有实例化的情况下使用泛型类型opStack〔T any〕
但是make()是一个实例化函数。所以，我想我遗漏了一些语法上的微妙之处。Go在抱怨什么，需要纠正什么？
无论何时使用参数化类型，都必须包括任何需要类型参数的地方，如内置的make中，必须将其定义中的类型参数替换为实际类型。这被称为实例化。
t := make(opStack[int], 0)
t = append(t, 0)
如果将泛型类型用作另一个泛型类型的类型参数，则还必须实例化该泛型类型：
type Data[T any] struct {
data T
}
d := Data[opStack[int]]{ data: []int{0, 1, 2} }
您可以使用类型参数进行实例化，例如在函数签名、字段和类型定义中：
type FooBar[T any] struct {
ops opStack[T]
}
type OpsMap[T any] map[string]opStack[T]
func echo[T any](ops opStack[T]) opStack[T] { return ops }
语言规范中的相关引用(目前(在两个不同的地方，类型定义：
如果类型定义指定类型参数，则类型名称表示泛型类型。泛型类型在使用时必须实例化。
和实例化
通过用类型参数替换类型参数来实例化泛型函数或类型。[…]
在其他编程语言中；实例化"；可能指的是创建对象的实例——在Go中，该术语专门指用具体类型替换类型params。在我看来，这个词的用法仍然是一致的，尽管在Go中它并不一定意味着分配。
请注意，您可以在没有显式类型参数的情况下调用泛型函数。实例化也发生在那里，只是类型参数可能都是从函数参数推断出来的：
func Print[T, U any](v T, w U) { /* ... */ }
Print("foo", 4.5) // T is inferred from "foo", U from 4.5
推理过去也适用于泛型类型，但类型参数列表必须非空。但是，此功能已被禁用，因此必须显式提供所有类型参数。
type Vector[T any] []T
// v := Vector[int]{} -> must supply T
type Matrix[T any, U ~[]T] []U
// m := Matrix[int, []int]{} -> must supply T and U
因为您想要
t=附加(t，0(
数据类型可以是int或float group。
该代码应能在中工作
package main
import "fmt"
func main() {
type opStack[T any] []T
t := make(opStack[int], 0) // You must initialize data type here
t = append(t, 0)
fmt.Println(t[0])
}
感谢您对此的详细解释。我正试图找到一个相关问题的答案，该问题涉及如何使用泛型进行struct typing使用泛型进行结构类型化。我找到了做这件事的方法，认为在类似的情况下可能会有所帮助。
package main
type Queue[T any] struct {
}
// Get implements Ops.
func (*Queue[T]) Get() T {
panic("unimplemented")
}
type Ops[T any] interface {
Get() T
}
var _ Ops[any] = new(Queue[any])