写点什么

12 年后,Go 终于默认支持泛型

  • 2021-08-24
  • 本文字数:1293 字

    阅读完需:约 4 分钟

12年后,Go终于默认支持泛型

根据 Go 语言社区发布的 2020 年度调查报告表明,88% 的受访者认为泛型是 Go 缺失的关键特性。

Go 默认支持泛型


近日,Go 项目代码仓库提交和合并的一个 PR 显示,Go 语言已在 cmd/compile 中默认启用 -G=3,可使用新的 types2 类型检查器并支持类型参数。这意味着,Go 编译器正式启用了对泛型的支持。根据描述,在此之前,cmd/compile 的 -G flag 默认值为 0。



事实上,在上周 Go 1.17 发布时,就有开发者发现泛型代码已被合并,只是默认不启用。而随着 -G flag 默认值由 0 改成 3,加速奔跑的 Go 终于倾听广大开发者的声音,支持泛型。


Go 语言起源于 2007 年,并于 2009 年正式发布。在这十余年中,向 Go 语言添加泛型的讨论一直持续着。有开发者悲观地认为,Go 语言可能永远都不会加入泛型了。


根据 Go 语言社区发布的 2019 年度调查报告表明,79% 的受访者认为泛型是 Go 缺失的关键特性。而在 2020 年的开发者调查报告中,这一比例达到了 88%。此外,还有 18% 的受访者表示,由于缺少泛型而不会用 Go。


2019 年 7 月底,Go 团队发布了 Go 2 泛型设计的草稿 Contracts - Draft Design,这个设计草稿建议增加参数多态来扩展 Go 语言。


2020 年 6 月下旬,Go 团队发布了关于泛型的最新设计草案,此后一直在完善相关工作,并将注意力转移到生产就绪版本的实现身上。Go 团队称,“我们将在 2021 年年内继续努力,力争在年底前为大家带来一些可供试用的成果,也许会以 Go 1.18 beta 的形式发布。”


2021 年 1 月,Go 团队核心成员 Ian Lance Taylor 宣布已提交为 Go 添加泛型的提案,并表示“为 Go 添加泛型的语言变更完全向后兼容,现有的 Go 程序会继续像现在一样正常运行。”


这是 Go 泛型特性的又一步历史性前进。根据 Go 官方消息,Go 1.18 中将正式启用泛型。

为什么 Go 语言没有泛型?


从诞生到现在,12 年的 Go 为什么一直没有泛型


简单来说有以下两点原因:


  1. 泛型困境是所有编程语言都需要面对的,也是加入泛型之前不得不深思熟虑的问题;

  2. 目前的多数泛型提案都有明显的缺陷,而且在 1.x 版本中,提升语言其他方面性能带来的收益比泛型带来的更多。


一方面,泛型和其他特性一样,不是只有好处,也有坏处,为编程语言加入泛型会遇到需要权衡的两难问题。语言的设计者需要在编程效率、编译速度和运行速度三者进行权衡和选择,编程语言要选择牺牲一个而保留另外两个。


泛型困境,图片来源:Draveness 技术网站


当我们考虑是否应该支持泛型时,实际上需要考虑的问题是:我们应该牺牲工程师的开发效率、牺牲编译速度和更大的编译产物还是牺牲运行速度。


泛型的引入一定会影响编译速度和运行速度,同时也会增加编译器的复杂度,所以社区在考虑泛型时也非常谨慎。Go 2 的泛型提案在面对这个问题时没有进行选择,让具体实现决定是应该影响编译速度(单独编译不同的类型参数)还是运行时间(使用方法调用在运行时决定具体执行的函数)。


另一方面,社区中的大部分泛型提案都有各自的缺陷,所以不会被 Go 团队采纳,同时向 Go 语言中加入泛型并不是团队的首要工作,所以 Go 语言发布 10 多年以来一直都没有支持泛型。


当前,虽然 Go 编译器已默认启用 -G=3,但 -G=0 模式仍在测试中。对于渴望支持泛型的开发者来说,一起期待明年的 Go 1.18 吧。

2021-08-24 00:138786

评论 5 条评论

发布
用户头像
interface 飞起了
2021-08-30 09:17
回复
用户头像
不出泛型不用,Java还凑合能用
2021-08-27 10:53
回复
用户头像
文中配图注明下来源吧

2021-08-24 13:31
回复
感谢提醒,已标注哈
2021-08-24 14:04
回复
用户头像
文中配图注明下吧
2021-08-24 13:31
回复
没有更多了
发现更多内容

ript刷LeetCode拿offer-树的遍历

js2030code

JavaScript LeetCode

前端监控系列4 | SDK 体积与性能优化实践

字节跳动终端技术

性能优化 前端监控 sdk 体积优化

03 详细架构设计

神奇的叶叔叔

【DS】二叉树大总结!

安苒

数据结构 二叉树

华为云CDN,是怎样满足各行业全场景加速需求

IT科技苏辞

华为云CDN,如何赋能企业数字化发展?

IT科技苏辞

精细化边缘安全防护:如何防止CDN域名被恶意刷量?

阿里云CloudImagine

CDN 边缘安全

微信小程序部署流程

codingyt

10月月更

华为云虚拟专用网络VPN,助力现代企业云上业务创新发展

科技怪授

网络 网络VPN

Spring Boot「15」统一异常处理

Samson

Java spring 学习笔记 spring-boot 10月月更

Spring Boot「16」自定义错误页面

Samson

Java spring 学习笔记 spring-boot 10月月更

“程”风破浪的开发者|总结巧用CSS实现各种效果的「百计千谋」

叶一一

CSS 学习方法 前端 “程”风破浪的开发者

Wallys/DR7915-wifi6-MT7915-MT7975-2T2R-support-OpenWRT-802.11AX-supporting-MiniPCIe-Module//QCA9882/QCA9880

wallys-wifi6

QCA9882 MT7915

华为云CDN加速服务,如何让你的网速“飞”起来!

秃头也爱科技

华为云虚拟专用网络VPN,专为解决现代企业云链路痛点而生

科技怪授

网络 网络VPN

这几款音乐人必备的软件,你了解吗?

懒得勤快

华为云对象存储OBS,为不同企业提供云存储方案,助力企业更好经营

科技之光

JavaScript刷LeetCode拿offer-栈相关题目

js2030code

JavaScript LeetCode

华为云虚拟专用网络VPN,为现代企业打造优质的混合云计算环境

科技怪授

网络VPN

JavaScript刷LeetCode-字符串类解题技巧

Geek_07a724

JavaScript LeetCode

华为云对象存储OBS,安全可靠的云存储服务,让企业轻松上云

科技之光

2022云原生峰会开启报名 | 一年一度云原生技术风向标就看这里!

阿里巴巴云原生

阿里云 云原生峰会

华为云弹性公网IP,如何解决现代企业的网络IP烦恼

科技怪授

弹性公网IP

JavaScript刷LeetCode模板技巧篇(二)

Geek_07a724

JavaScript LeetCode

【融云出海白皮书免费看】出海洞察之沙特的「土豪行为」盘点

融云 RongCloud

白皮书 出海

聊一聊作为高并发系统基石之一的缓存

Java全栈架构师

Java 缓存 后端 高并发 架构师

超高性价比的云服务器-华为云耀云服务器

科技之光

10-6-华为云OBS大数据存算分离方案,助力企业顺利实现数字化转型!

科技之光

聚焦云计算、大数据、人工智能等开源技术,这场开源开发者的盛会不容错过!

OpenAnolis小助手

人工智能 云计算 大数据 COSCon'22 开源盛会

NFTScan 与 Cobo 达成合作,双方将共同推动 NFT 资管安全市场的发展

NFT Research

区块链 NFT 数据基础设施

全嘉宾阵容官宣 | 2022 云原生峰会即将启动,实战派企业向你发出邀请

阿里巴巴云原生

阿里云 云原生 峰会

12年后,Go终于默认支持泛型_编程语言_凌敏_InfoQ精选文章