使用 Go 的泛型结构

Question

Go中的这个C#代码相当于什么，我该如何构建它

class ModelX<T>
{
public T Data { get; set; }
}
ModelX<int>

我尝试过类似的东西：

type ModelX<T> struct {
ModelY
Data []T
}
m := ModelX<T>

怎么做？这可能吗？

Answer 1

从 Go 1.18 开始，您可以定义泛型类型：

type Model[T any] struct {
Data []T
}

泛型类型在使用时必须实例化¹，并且实例化需要类型参数列表：

func main() {
// passing int as type parameter
modelInt := Model[int]{Data: []int{1, 2, 3}}
fmt.Println(modelInt.Data) // [1 2 3]
// passing string as type parameter
modelStr := Model[string]{Data: []string{"a", "b", "c"}}
fmt.Println(modelStr.Data) // [a b c]
}

有关实例化的详细信息和常见问题： Go 错误：在没有实例化的情况下无法使用泛型类型

如果在泛型类型上声明方法，则必须在接收器上重复类型参数声明，即使方法作用域中未使用类型参数也是如此 — 在这种情况下，您可以使用空白标识符_使其显而易见：

func (m *Model[T]) Push(item T) {
m.Data = append(m.Data, item)
}
// not using the type param in this method
func (m *Model[_]) String() string {
return fmt.Sprint(m.Data)
}

一个重要的细节是，与函数²不同，泛型类型必须始终在实例化时提供所有³个类型参数。例如，此类型：

type Foo[T any, P *T] struct {
val T
ptr P
}

必须使用这两种类型进行实例化，即使可以推断出其中一些类型：

func main() {
v := int64(20)
foo := Foo[int64, *int64]{val:v, ptr: &v}
fmt.Println(foo)
}

游乐场：https://go.dev/play/p/n2G6l6ozacj

---

脚注：

1：关于实例化的语言规范：https://golang.org/ref/spec#Instantiations

2：规范中的引用是"对参数化函数的调用可以提供(可能是部分)类型参数列表，或者如果省略的类型参数可以从普通(非类型)函数参数推断出来，则可以完全省略它。此报价不包括参数化类型

3：在早期的测试版中，泛型类型中的类型参数列表可能是部分的;此功能已被禁用。