快报:正式提案将泛型特性加入 Go 语言

开发 前端
经历九九八十一难,多年的不断探讨和 Go 语言爱好者们在社区中的强烈关注,且 Go 官方在 2020 年不断放出消息。

本文转载自微信公众号「脑子进煎鱼了」,作者陈煎鱼。转载本文请联系脑子进煎鱼了公众号。   

大家好,我是煎鱼。

经历九九八十一难,多年的不断探讨和 Go 语言爱好者们在社区中的强烈关注,且 Go 官方在 2020 年不断放出消息。

总算在 2021 年 1 月 12 日,官方正式提出将泛型特性加入 Go 语言的 proposal 了,且最新的草案设计已经更新。

基本语法如下:

  1. func Print[T any](s []T) { 
  2.  // same as above 

其大体的概述如下:

  • 函数可以具有使用方括号的其他类型参数列表,但其他情况下看起来像普通的参数列表:func F[T any](p T) { ... }。
  • 类型也可以具有类型参数列表:type MySlice[T any] []T。
  • 每个类型参数都有一个类型约束,就像每个普通参数都有一个类型:func F[T Constraint](p T) { ... }。
  • 类型约束是接口类型。
  • 新的预声明名称 any 是允许任何类型的类型约束。
  • 用作类型约束的接口类型可以具有预先声明的类型的列表。只有与那些类型之一匹配的类型参数才能满足约束条件。
  • 泛型函数只能使用其类型约束所允许的操作。
  • 使用泛型函数或类型需要传递类型实参。
  • 在通常情况下,类型推断允许省略函数调用的类型参数。

根据官方博客的消息,如果该提案被正式接受。那么将会在 2021 年底之前完成一个基本可用的泛型功能(可能未完全优化),又或是会作为 Go1.18beta 的一部分。

这是 Go 泛型特性的又一步历史性前进,这一个里程碑。若大家有兴趣进一步了解或想提出意见,可查看下述传送门:

  • [A Proposal for Adding Generics to Go]:https://blog.golang.org/generics-proposal。
  • [proposal: spec: add generic programming using type parameters]:https://github.com/golang/go/issues/43651。

不知道今年年底或 Go1.18beta 能不能真的看到泛型的正式完整可用版本呢,值得期待!

 

责任编辑:武晓燕 来源: 脑子进煎鱼了
相关推荐

2021-12-13 08:52:42

Go 泛型

2022-03-18 18:00:00

编程语言泛型支持模糊测试

2021-08-09 10:36:20

GoSlices Maps

2021-02-05 16:26:08

Go开发者提案

2022-03-28 13:34:26

Go泛型部署泛型

2021-12-01 08:29:17

Go泛型Maps

2021-09-29 18:17:30

Go泛型语言

2021-02-25 15:51:41

Go语言模糊测试功能

2021-10-18 10:53:26

Go 代码技术

2021-11-27 22:20:13

SlicesGo泛型

2023-11-03 14:02:04

Go切片泛型库

2023-11-29 08:19:45

Go泛型缺陷

2009-09-09 14:11:58

Scala泛型

2021-12-15 10:23:56

Go 1.18 Bet语言泛型

2022-04-15 09:55:59

Go 泛型Go 程序函数

2021-12-05 23:45:23

Go泛型Maps

2009-12-24 09:16:11

C#泛型

2021-02-08 11:20:27

Java类型数组

2023-09-15 21:05:19

Go语言参数化

2021-07-15 23:18:48

Go语言并发
点赞
收藏

51CTO技术栈公众号