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
下面代码为它的使用示例:
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]
&{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。
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的原理:
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
}
运行结果:
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分支源码,或者使用官方提供的Play ground。下面这个去重的例子就是在play ground上运行的:
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)
}