带 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

}

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

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)

}

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

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：在早期的测试版中，泛型类型中的类型参数列表可能是部分的;此功能已被禁用。