Go1.17发布

go1.17版本在8月16号发布了，新增的功能和变更如下：

官方发布blog地址

1. 编译优化

go1.17将使用栈传递参数和返回值替换为使用寄存器。实现性能提升5%，最终生成的二进制包大小减少2%。

该优化目前支持Linux、macOS、Windows的64位X86架构。官方表示后续会支持更多架构。

2. 跨平台支持

支持windows系统64位ARM架构

3. go module改变

新增了 pruned module graphs 功能，当go.mod文件中指定了go 1.17或者更高版本，且依赖的包同样是go 1.17或者更高版本，go.mod中只保留直接依赖。

4. 新增语言特性

1. 新增unsafe.Add方法，方便指针运算，是`Pointer(uintptr(ptr) + uintptr(len)`的简化

func Add(ptr Pointer, len IntegerType) Pointer

2. 新增unsafe.Slice方法，方便将指针转换为slice，是`(*[len]ArbitraryType)(unsafe.Pointer(ptr))[:]`的简化

func Slice(ptr *ArbitraryType, len IntegerType) []ArbitraryType

下面代码为它的使用示例：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21


package main

import (
	"fmt"
	"unsafe"
	"reflect"
)

func main() {
	s := []int{1,2,3}
	fmt.Println(s)
	printSliceHeader(&s)
	s1 := unsafe.Slice(&s[0], 3)
	fmt.Println(s1)
	printSliceHeader(&s1)
}

func printSliceHeader(s *[]int) {
	header := (*reflect.SliceHeader)(unsafe.Pointer(s))
	fmt.Println(header)
}

运行结果为：

1
2
3
4


[1 2 3]
&{824634818560 3 3}
[1 2 3]
&{824634818560 3 3}

3. 支持从slice到array转换

Converting a slice to an array pointer yields a pointer to the underlying array of the slice. If the length of the slice is less than the length of the array, a run-time panic occurs. slice转为array指针将生成一个指向slice底层数组的指针。如果slice的长度小于array的长度，会panic。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12


s := make([]byte, 2, 4)
s0 := (*[0]byte)(s)      // s0 != nil 
s1 := (*[1]byte)(s[1:])  // &s1[0] == &s[1] 
s2 := (*[2]byte)(s)      // &s2[0] == &s[0]
s4 := (*[4]byte)(s)      // panics: len([4]byte) > len(s)

var t []string
t0 := (*[0]string)(t)    // t0 == nil
t1 := (*[1]string)(t)    // panics: len([1]string) > len(t)

u := make([]byte, 0)
u0 = (*[0]byte)(u)       // u0 != nil

通过例子了解slice转为array的原理：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46


package main

import (
	"fmt"
	"reflect"
	"unsafe"
)

func main() {
	s := []int{1, 2, 3}
	fmt.Println("slice中内容：", s)
	printSliceHeader(&s)

	s0 := (*[3]int)(s)
	fmt.Println("array中内容：", s0)
	fmt.Printf("array地址：%p \n", s0)
	fmt.Println("")

	s0[0] = 0
	fmt.Println("1. 改变slice中的元素，array中元素同样改变")
	fmt.Println("slice中内容：", s)
	fmt.Println("array中内容：", s0)
	fmt.Println("")

	fmt.Println("2. 对slice进行扩容")
	s = append(s, 4)
	fmt.Println("slice中内容：", s)
	printSliceHeader(&s)
	fmt.Println("array中内容：", s0)
	fmt.Printf("array地址：%p \n", s0)
	fmt.Println("")

	fmt.Println("3. array传参会对数组中元素进行复制")
	arrayParam(*s0)
	fmt.Println("array中内容：", s0)
}

func printSliceHeader(s *[]int) {
	header := (*reflect.SliceHeader)(unsafe.Pointer(s))
	//fmt.Println(header)
	fmt.Printf("slice底层数组地址：0x%x \n", header.Data)
}

func arrayParam(s0 [3]int) {
	s0[0] = 10
}

运行结果：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17


slice中内容： [1 2 3]
slice底层数组地址：0xc000016018 
array中内容： &[1 2 3]
array地址：0xc000016018 

1. 改变slice中的元素，array中元素同样改变
slice中内容： [0 2 3]
array中内容： &[0 2 3]

2. 对slice进行扩容
slice中内容： [0 2 3 4]
slice底层数组地址：0xc000078060 
array中内容： &[0 2 3]
array地址：0xc000016018 

3. array传参会对数组中元素进行复制
array中内容： &[0 2 3]

5. 性能提升和bug修复

1. 提升crypto/x509性能

2. 修复URL Query解析bug，在1.17版本前，分号（;）和&一样可以作为参数的分隔符号。1.17版本去掉了分号作为分隔符。

6. 泛型前瞻

go预计会在1.18版本正式发布泛型，在这之前可以通过一些其他方法来体验，例如通过编译go master分支源码，1.17版本中加入-gcflags "-G=3"，或者使用官方提供的Play ground。下面这个去重的例子就是在play ground上运行的：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37


package main

import (
	"fmt"
)

type Set[T comparable] map[T]struct{} //comparable限定了类型T必须是可比较类型，这是由于map的key必须是可比较的

func RemoveRep[T comparable](s []T) (s0 []T) {
	m := make(Set[T])
	var index int
	for i := 0; i < len(s); i++ {
		if _, ok := m[s[i]]; !ok {
			m[s[i]] = struct{}{}
			s[index] = s[i]
			index++
		}

	}
	return s[:index]
}

type bar struct {
	A int
	B string
}

func main() {
	s := RemoveRep([]int{1, 2, 3, 4, 4, 5, 6, 7, 2, 1})
	fmt.Println(s)

	s1 := RemoveRep([]string{"a", "b", "c", "c", "d", "e", "a", "b"})
	fmt.Println(s1)

	s3 := RemoveRep([]bar{{1, "a"}, {2, "b"}, {3, "c"}, {3, "c"}, {4, "d"}, {5, "e"}, {1, "a"}, {2, "b"}})
	fmt.Println(s3)
}

Contents