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

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

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)
}

你可能感兴趣的:(go1.17发布)