通用结构和接口清单在Golang中的应用

golang学习网今天将给大家带来《通用结构和接口清单在Golang中的应用》，感兴趣的朋友请继续看下去吧！以下内容将会涉及到等等知识点，如果你是正在学习Golang或者已经是大佬级别了，都非常欢迎也希望大家都能给我建议评论哈~希望能帮助到大家！

有没有办法在 go 中获得通用结构/接口的列表？

这就是我想要实现的目标。

<code>package main

type List[T any] struct {
    Elements []T
}

func (f *List[T]) Add(el T) {
    f.Elements = append(f.Elements, el)
}

type ListInterface[T any] interface {
    Add(el T)
}

func main() {
    listOfLists := make([]ListInterface[any], 0)
    listOfLists = append(listOfLists, &List[int]{})
}
</code>

这是我得到的错误。

cannot use &List[int]{} (value of type *List[int]) as ListInterface[any] value in argument to append: *List[int] does not implement ListInterface[any] (wrong type for method Add)
    have Add(int)
    want Add(any)

所以，如果我理解正确的话，在 go 中 any 是它自己的类型。它不是“运行时想要的任何类型”的同义词。我的问题是，是否有可能做这样的事情？

正确答案

您在这里尝试执行的操作表明您期望 go 的泛型能够进行类型擦除（就像 Java 泛型一样）。但事实并非如此。

你有一个 List[int]，这意味着它的 Add 方法如下所示：

func (l *List) Add(el int) {
    l.Elements = append(l.Elements, el)
}

然后尝试将其添加到实现该接口的对象切片中：

Add(v any)

现在，您可能认为 int 可以用作 any，您是对的，它可以，但是当您看到：

var s []ListInterface[any]

您是说，所述切片中的所有元素都将具有 Add 方法，该方法采用 any 类型的参数，因此这意味着：

s[0].Add("foo")
s[1].Add(123)

应该始终是有效的调用。如果 s[0] 的类型为 List[int] （如您的代码片段中的情况），则这不成立。您将尝试将字符串附加到 Elements ，其类型为 []int。

有一种说法认为应该允许逆向：

s := []ListInterface[int]{}
s = append(s, &List[any]{})

看来 List[any] 将接受 int 参数，但这也是不允许的。在某些情况下这可能很有用，但在很多情况下这可能会出现问题。

本质上，Go 中的泛型是在编译时处理的事情。当您创建 List[int] 时，编译器将创建一个类似 List_int 的类型，并在该类型上实现 Add(el int) 方法，与您最终使用的任何其他 List 类型相同。这些类型都不会具有 Add(any) 方法，除非您创建 List[any]。将其视为编译器辅助的样板代码生成。不是运行时类型擦除。

结果： List[int] 和 List[any] 是完全不同的类型，因此不能并排坐在切片中，就好像它们是同一类型一样。如果您希望能够做您想做的事情，您可以这样做：

func (l *List[T]) AddAny(v any) {
    tv, ok := v.(T)
    if !ok {
        return // or return an error
    }
    l.Add(tv)
}

采用 any 值的方法，使用类型断言来查看给定值是否与列表的基础类型兼容，如果是这种情况则添加它。然后您可以将它们添加到单个切片中，如下所示：

type Lists interface {
    AddAny(any)
}

s := []Lists{}
s = append(s, &List[int]{}, &List[string]{})
s[0].AddAny(123) // will work
s[0].AddAny("foo") // will not, with the current code this will silently fail
s[1].AddAny("foo") // works fine
s[1].AddAny(123) // silently fails

但实际上，当你做这样的事情时，代码只是尖叫 X-Y 问题，你试图使用 Y（泛型）来解决你的问题，而真正的问题是 X：什么是最好的方法解决问题？

好了，本文到此结束，带大家了解了《通用结构和接口清单在Golang中的应用》，希望本文对你有所帮助！关注golang学习网公众号，给大家分享更多Golang知识！