Goland支持泛型了(上机实操)

事情出因

一大早上被一篇公众号的推文震惊了，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工具，能把泛型代码编译成二进制可执行文件。话不多说，试试它。

准备和我的环境

1. 下载现在最新的Goland工具：2020.3
2. macos Big Sur 系统
3. git version 2.21.0
4. 你可能要科学上网

 上机实操

大致流程如下：

• 检出最新的Go代码的泛型实现的分支
• 编译该分支得到一些工具，用来支持泛型
• 在Goland里面配置泛型编译工具

科学拉取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