有没有发现Go 1.17将允许切片转换为数组指针啦？-Golang-PHP中文网

有没有发现Go 1.17将允许切片转换为数组指针啦？

藏色散人

发布： 2021-07-12 14:15:10

转载

2800人浏览过

今天是周末的，虽然只有一天。给大家分享一个 go1.17 的小快讯。一天增长一个吸鱼小技巧！

在 Go 语言中，一个切片（slice）包含了对其支持数组的引用，无论这个数组是作为一个独立的变量存在于某个地方，还是仅仅是一个为支持分片而分配的匿名数组。

其切片基本结构都如下：

// runtime/slice.go
type slice struct {
    array unsafe.Pointer // 指向底层数组的指针
    len   int // 长度 
    cap   int // 容量
}

登录后复制

目前切片这种支持数组的方式可能会导致切片出现有趣的内存泄漏或对你的切片产生令人惊讶的变化。

另外很重要的一点，在 Go 1.16 及以前，不存在将从切片类型转换为数组类型的安全方法，比较无奈。

我们只能通过调用标准库 reflect 或 unsafe，通过编写不安全的代码来做到这一点：

(*[10]byte)(unsafe.Pointer(&b[0]))

登录后复制

显然这是不优雅的，官方自己都不推荐使用 unsafe，一旦处理出错了，可能还会导致致命错误，比较不可控。

其实早在2009 年，在 Go 发布后不久（远在 Go 1.0 发布之前），就有人提出相关疑惑，希望解决这个问题：

终于，在即将到来的 Go 1.17 中，这将成为可能，因为从 commit-id #1c268431f4 开始的一系列变化，更新了规范：

新的规范中对此的描述很直接：

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.

如果切片的长度比数组的长度长是无害，能够正常运行。
如果比数组长的切片，意味着你的数组将不能访问原始切片的所有支持数组。

另外规范中提供了一些新的例子，在 Go1.17 中我们可以这么用：

s := make([]byte, 2, 4)
s0 := (*[0]byte)(s)      // s0 != nil
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(s)

登录后复制