Go 的通用结构

Zoo*_*Hii 37 generics struct go

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

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

    ModelX<int>
Run Code Online (Sandbox Code Playgroud)

我尝试过类似的事情:

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

    m := ModelX<T>
Run Code Online (Sandbox Code Playgroud)

这个怎么做?那可能吗?

bla*_*een 74

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

\n
type Model[T any] struct {\n    Data []T\n}\n
Run Code Online (Sandbox Code Playgroud)\n

泛型类型在使用时必须实例化1,实例化需要类型参数列表:

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

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

\n

如果在泛型类型上声明方法,则必须在接收器上重复类型参数声明,即使类型参数未在方法范围 \xe2\x80\x94 中使用,在这种情况下,您可以使用空白标识符来_使其明显的:

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

一个重要的细节是 \xe2\x80\x94 与函数2 \xe2\x80\x94 不同,泛型类型必须始终提供所有3 个类型参数。例如,这种类型:

\n
type Foo[T any, P *T] struct {\n    val T\n    ptr P\n}\n
Run Code Online (Sandbox Code Playgroud)\n

必须用这两种类型实例化,即使其中一些类型可以推断出来:

\n
func main() {\n    v := int64(20)\n    foo := Foo[int64, *int64]{val:v, ptr: &v}\n\n    fmt.Println(foo)\n}\n
Run Code Online (Sandbox Code Playgroud)\n

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

\n
\n

脚注:

\n

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

\n

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

\n

3:在早期测试版本中,泛型类型中的类型参数列表可能是部分的;该功能已被禁用

\n