是否可以创建具有不同类型参数的泛型类型切片？

你在学习Golang相关的知识吗？本文《是否可以创建具有不同类型参数的泛型类型切片？》，主要介绍的内容就涉及到，如果你想提升自己的开发能力，就不要错过这篇文章，大家要知道编程理论基础和实战操作都是不可或缺的哦！

在下面的代码中，我有一个包含文字值的标记类型。通过使用空接口，我可以创建一个令牌切片并附加具有不同类型的令牌。我认为使用泛型不可能完成相同的任务，因为我们无法推断令牌切片的类型。这个假设正确吗？

type Token struct {
    TokenType string
    Literal interface{}
}

func main(){
    tok1 := &Token{TokenType: "string", Literal: "foo"}
    tok2 := &Token{TokenType: "integer", Literal: 10}
    tokS := []*Token{tok1, tok2}
}

正确答案

没有。

给定参数化 token 类型为：

type token[t any] struct {
    tokentype string
    literal   t
}

具有不同类型参数的每个实例化都会产生不同的（命名）类型。

换句话说，token[string] 不能分配给 token[int]。它也不能分配给 token[any]，因为这里的 any 用作静态类型来实例化 t。

因此，当您使用 token[t any] 的特定实例构造切片时，不同的实例根本无法分配给其元素类型：

tokS := []*Token[string]{tok1, tok2}
// invalid: cannot use tok2 (variable of type *Token[int]) as type *Token[string] in array or slice literal

唯一可以容纳不同类型的切片，如 token[string] 和 token[int] 是 []interface{} 或 []any。

因为我们无法推断令牌切片的类型。这个假设正确吗？

差不多了。更准确地说，token 切片不会推断任何内容，因为您自己必须使用泛型类型的具体实例来构造它

类型推断用于从已为函数参数提供的类型参数中推断出缺失的类型参数。通用类型必须显式实例化，每个类型参数都有一个具体的类型参数。

是的。您可以拥有一片 token[string] 或 token[int]。

到这里，我们也就讲完了《是否可以创建具有不同类型参数的泛型类型切片？》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！