Go中unsafe.SliceData为何返回&slice[:1][0]而非&slice[0]？

在Go的unsafe.SliceData函数定义里，当切片容量cap(slice) > 0时，函数返回&slice[:1][0]来获取底层数组的指针，而非直接使用&slice[0]，核心原因有两点：

• 避免运行时panic：如果切片的长度len(slice)为0但容量大于0，直接访问slice[0]会触发运行时panic——Go的语言规则禁止访问长度为0的切片的索引元素。而slice[:1]会创建一个新切片，其长度为1、容量与原切片一致（只要原容量>0），此时访问这个新切片的索引0是完全合法的，不会触发panic。

• 语义更贴合函数定位：SliceData的设计目标是获取切片底层数组的指针，无论原切片当前的长度是多少，只要容量大于0，底层数组就存在。slice[:1]的写法明确表达了“获取包含底层数组首个元素的切片”，即使原切片长度为0，也能安全拿到首个元素的地址，完美匹配函数的核心意图；而&slice[0]依赖原切片长度至少为1，语义上有明显局限。

举个简单的代码示例就能看出差异：

// 创建一个长度为0、容量为5的切片
s := make([]int, 0, 5)
// &s[0] 会触发运行时panic
// &s[:1][0] 可以正常获取到底层数组的首个元素地址

内容的提问来源于stack exchange，提问作者aviro