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 内置的