尝鲜Go 1.18中范型版本的map和slice

大家最近都关注到了Go 1.18会支持范型的消息了吧。

作为Golang的内置类型，大家都期待map和slice支持范型后，可以简化很多的判断逻辑，比如Equal逻辑等等。

几天前，Go范型的标准库已经提交了，且可以试用了：

大家也可以读一下对应的代码：https://cs.opensource.google/go/x/exp/+/master:maps/maps.go

废话不多说，我们看下如何尝试范型版本的map和slice吧！

如何使用Go 1.18？

Golang 官网链接只有1.17版本的下载，那么我们如何才能使用1.18版本的Golang呢？

网上翻了翻，有人提供了Golang 1.18版本的Docker镜像 seongwoohong/golang-nightly:1.18，而且保证维护到1.18版本正式发布：

那么我们就可以用如下命令启动一个go1.18的编译环境了：

$ docker run --rm -it -v $PWD:/root/go-generics seongwoohong/golang-nightly:1.18 sh
# cd /root/go-generics/
~/go-generics #

尝试maps

翻了下maps的代码和测试用例，用下面的代码演示下maps的功能：

package main

import (
	"fmt"
	"strconv"

	"golang.org/x/exp/maps" // v0.0.0-20211129234152-8a230f1f7d7a
)

func main() {
	var m1 = map[int]int{1: 2, 2: 4, 4: 8, 8: 16}
	var m2 = map[string]string{"1": "2", "2": "4", "4": "8", "8": "16"}
	var m3 = map[int]string{1: "2", 2: "4", 4: "8", 8: "16"}

	// Keys 方法返回map的所有键
	// 如果没有范型，那么对于每种map，都需要写Keys方法，现在只需要一个
	fmt.Printf("m1 Keys:\t%#v\n", maps.Keys(m1))
	fmt.Printf("m2 Kyes:\t%#v\n", maps.Keys(m2))

	// Values 方法返回map的所有值
	fmt.Printf("m1 Values:\t%#v\n", maps.Values(m1))
	fmt.Printf("m2 Values:\t%#v\n", maps.Values(m2))

	// 判断map是否相等
	fmt.Println("m1==m1?\t", maps.Equal(m1, m1))
	fmt.Println("m2==m2?\t", maps.Equal(m2, m2))
	//fmt.Println(maps.Equal(m1, m2))
	// map[int]int与map[string]string无法比较

	// 判断map是否相等（手动指定判断逻辑）
	fmt.Println("m1==m3?\t", maps.EqualFunc(m1, m3, func(v1 int, v2 string) bool {
		return strconv.Itoa(v1) == v2
	}))

	// 还有一些Clear、Clone、Copy、DeleteFunc，都是见名知义的函数
}

然后编译执行看看：

# go build -gcflags="-G=3 -lang=go1.18"
# ./m
m1 Keys:	[]int{1, 2, 4, 8}
m2 Kyes:	[]string{"8", "1", "2", "4"}
m1 Values:	[]int{2, 4, 8, 16}
m2 Values:	[]string{"16", "2", "4", "8"}
m1==m1?	 true
m2==m2?	 true
m1==m3?	 true

尝试slices

同样，翻翻slices的代码和测试用例，可以用下面的代码演示下slices的功能：

package main

import (
	"fmt"
	"strconv"

	"golang.org/x/exp/slices" // v0.0.0-20211129234152-8a230f1f7d7a
)

func main() {
	var s1 = []int{1, 2, 3}
	var s2 = []string{"1", "2", "3"}

	// 判断slice是否相等
	fmt.Println("s1==s1?\t", slices.Equal(s1, s1))
	fmt.Println("s2==s2?\t", slices.Equal(s2, s2))
	//fmt.Println(slices.Equal(s1, s2))
	//[]int与[]string无法比较

	// 判断slice是否相等（手动指定判断逻辑）
	fmt.Println("s1==s2?\t", slices.EqualFunc(s1, s2, func(v1 int, v2 string) bool {
		return strconv.Itoa(v1) == v2
	}))

	// 在slice中查找某个元素
	fmt.Printf("s1[%v]=%d\n", slices.Index(s1, 2), 2)
	fmt.Printf("s1[%v]=%d\n", slices.Index(s1, 999), 999)

	// 还有一些Clear、Clone、Copy、DeleteFunc，都是见名知义的函数
}

同样可以编译通过并执行：

# go build -gcflags="-G=3 -lang=go1.18"
# ./m
s1==s1?	 true
s2==s2?	 true
s1==s2?	 true
s1[1]=2
s1[-1]=999

总结

相比于Java的范型，Golang真正做到了运行时的范型，能够提升一些效率。

更重要的是，就像王垠之前吐槽的那样，Java的数组不支持范型，这让Java的类型系统显得不是那么完备。在这一点上，Golang做的更好些。