时间:2020-12-12 10:03:26 | 栏目:Golang | 点击:次
事情出因
一大早上被一篇公众号的推文震惊了,Goland竟然支持go的泛型了。据我所知:
Go的泛型不是还在设计草图吗?最乐观估计也要2021年8月份。你说Go语言现在都没开发好泛型,你支持这个特性有什么用呢?
带着好奇心点开推文,没发现对泛型的说明,只看到一个Goland对泛型的使用的说明链接: https://blog.jetbrains.com/go/2020/11/24/experimenting-with-go-type-parameters-generics-in-goland/,心里怪痒痒的,忍不住点开看了,恍然大悟。
虽然Go并没有完整实现好泛型,但是却有个go2go工具的build工具,能把泛型代码编译成二进制可执行文件。话不多说,试试它。
准备和我的环境
上机实操
大致流程如下:
科学拉取go源码
由于Go的源码的git仓库地址是https://go.googlesource.com/go,却不在GitHub上,这就有点头疼了。所以前提是你有科学上网工具。
我介绍下我的步骤。
1.查看你本地代理的代理端口,如我的端口是1087,所以我在我让我的终端也会走代理,因为一般来说科学上网工具只会代理浏览器。
export http_proxy=http://127.0.0.1:1087;export https_proxy=http://127.0.0.1:1087;
然后检出https://go.googlesource.com/go到go-mainline目录,并切换分支到
git clone https://go.googlesource.com/go go-mainline
3.此时用Goland打开该go源码,检出分支dev.go2go。
4.然后为Goland配置些环境变量
①、在Settings/Preferences | Go | GOROOT, 选择No SDK
选项
②、在Settings/Preferences | Tools | Terminal, 添加下面的环境变量:GOROOT_BOOTSTRAP为版本大于1.14的Go sdk(我直接用的是1.15)、CGO_ENABLED=0
5.然后在Goland的控制台下,进入到源码的src下,执行
bash make.bash
如果你是windows系统,那么就用bash.bat
。
然后等待一会儿,你能明显听见CPU风扇的声音。
6.上面工具都编译好只有,接下来就新建个项目试一下吧,下面我就抛砖引玉了。
上面是我新建的一个项目,如果你的代码的后缀不是.go2的话请改成.go2,.go2就表示里面用了go2的语法,也就包括了泛型,这里我测试泛型。(看后缀就能看出来官方的决心了,go2一定是会有泛型的)
7.此时还没完,可以给Goland加个快捷工具,当然也可以不加在命令行执行,把go2泛型代码编译成二进制文件,到时候我们就可以执行该二进制文件查看泛型代码的结果。
program我这里是Users/shen/go-mainline/go
,这个就是我上面拉取go的源码编译得到的。
在这里就会找到这个命令,执行他就会获得编译好的二进制文件。
8.最后在命令行就能获得结果。
9.说说我体验下来Goland的感受:
①、并没有想象中那么好用,甚至连最简单的使用都够呛,如看我的截图,它最any
的关键字都提示不支持,你说这。。。
②、当我要运行泛型代码的时候,还需要自己配置编译工具,这种体验我觉得就没必要说支持了吧,难道是我还没有使用对,可是我明明按照官方的文档来操作的啊。
说说对泛型的理解
下面是我的泛型测试代码:
package main import "fmt" type Book struct { Name string Price int } func (x Book) Less(y Book) bool { return y.Price < x.Price } type Lesser[T any] interface { Less(y T) bool } func doSort[T Lesser[T]](a []T) { for i := 0; i < len(a)-1; i++ { for j := i; j < len(a); j++ { if a[i].Less(a[j]) { a[i], a[j] = a[j], a[i] } } } } func main() { a := []Book{ {"Second Book", 2}, {"First Book", 1}, {"Fifth Book", 5}, {"Fourth Book", 4}, {"Sixth Book", 6}, {"Third Book", 3}, {"shen", 8}, } doSort(a) fmt.Println(a) }
Lesser
是Book
实现的接口,所谓泛型就是接口里面可以不把方法的返回参数,请求参数固定死,这个和java的泛型一致,编译阶段是不知道具体参数类型的,只有在运行时才知道具体的参数类型。Lesser
的方法Less(y T) bool
的参数类型是T
,然后Book
实现该方法就要指定具体参数类型了func (x Book) Less(y Book) bool
,这里就是Book
类型。
然后调用方法理解起来和java的泛型意思差不多了:func doSort[T Lesser[T]](a []T)
,下面是我用java实现相同功能的的泛型:
package com.shen.main; public class Main { public static void main(String[] args) { Book[] a = new Book[]{ new Book("Second Book", 2), new Book("First Book", 1), new Book("Fifth Book", 5), new Book("Fourth Book", 4), new Book("Sixth Book", 6), new Book("Third Book", 3) }; doSort(a); for (Book book : a) { System.out.println(book); } } public static <T extends Lesser<T>> void doSort(T[] a) { for (int i = 0; i < a.length; i++) { for (int j = i; j < a.length; j++) { if (a[i].Less(a[j])) { T temp = a[i]; a[i] = a[j]; a[j] = temp; } } } } } interface Lesser<T> { boolean Less(T y); } class Book implements Lesser<Book> { String name; int price; public Book(String name, int price) { this.name = name; this.price = price; } @Override public String toString() { return "Book{" + "name='" + name + '\'' + ", price=" + price + '}'; } @Override public boolean Less(Book y) { return y.price < this.price; } }
大家对照下看看,是不是和java的何其相似,所以我觉得网上有些人一边期盼着泛型能彻底改变go的大型工程结构,一边又怕泛型引来一些维护成本,觉得增加了go的难度。我觉得这个担心完全没必要,只要你对java的泛型或者其他语言的泛型稍微有点基础,就很容易看懂,所有泛型的目的都差不多,只不过是换汤不换药而已(看到有些人还在争论go的泛型是用尖括号还是小括号还是中括号而引发的感叹)。
总结
好了以上就是我对Goland的泛型支持的体验过程,对Goland的泛型支持很失望,也许一开始就抱有了很好的期待了吧,但是对Goland的行动很佩服,我相信在Go的泛型正式实现之后,Goland一定会很好的支持的。
还有就是体验了下泛型的力量,确实减少了很多工作量,代码更简洁。留给大家想想: 如果不用泛型go的代码怎么实现,有多臃肿呢?起码Lesser
接口里面的方法要为每个具体入参定义一个方法,而且方法名还不能一样,尼玛。。。,最最重要的是解耦性还不好:接口耦合了具体参数类型。。。
上面就是我的感受,我也就是入个门,还没有更加深入的体验go的泛型草图设计,如果你也感兴趣的话,可以看看go的泛型设计文档:https://go.googlesource.com/proposal/+/refs/heads/master/design/go2draft-type-parameters.md