Frequently Asked Questions ：Go为什么没有泛型？

Go为什么没有泛型

详细可以见issue：https://github.com/golang/go/issues/43651 ，这个issue已经被认同，不出意外的话在Go的1.18版本就能支持泛型了。

Go希望被设计为一个能够被容易持续运行很久的服务端语言（详细可参考这篇文章https://talks.golang.org/2012/splash.article），因此设计的时候聚焦于可拓展性、可阅读性和并发性上，因此当时看来多态编程并不是必不可少的，所以就忽略了。

现在语言原来越成熟完善，可以开始考虑泛型的设计。但是有一些注意事项要留意。

泛型的确是很方便，但是背后的代价是复杂的类型系统和运行时设计。鱼与熊掌不可兼得，我们还没思考到比较均衡的方案，但是我们在持续思考。

于此同时，Go内置的map和slice，这些容器中的元素可以是interface{}接口（使用显式地拆箱）。这其实和泛型类似。

下面这个话题还在持续讨论，你可以看看之前一些Go实现泛型的失败尝试https://github.com/golang/go/issues/15292。

PS: 泛型是什么呢？学过Java的可以比较容易知道，比如hashMap中的元素就是泛型，在没有设定的时，它可以是任意值，但是一旦在我们new的时候，指定了泛型的具体类型，那么它就不能变了。这一点Go就不行，虽然上面有说道interface做到了类似泛型的功能，但是相同的new一个map的时候，Go不用指定具体是什么类型，而在使用的时候，必须要加上一堆断言assert，十分臃肿麻烦。

1. scalability 可拓展性
2. essential 必不可少的
3. caveat 注意事项
4. explicit 清晰地，显式地
5. buildi-in 内置的