切片缩容后底层数组可访问吗？移除元素指针可用性是否有保障？

先看给定的结构体和方法代码：

type LicenseCards struct {
    cards *[]int
}

func (licenseCards *LicenseCards) PopLicenseCard() int {
    l := len(*licenseCards.cards)
    ret := (*licenseCards.cards)[l-1]
    *licenseCards.cards = (*licenseCards.cards)[:l-1]
    return ret
}

针对两个疑问解答如下：

1. 切片缩容后，底层数组是否仍可访问？ #

可以访问，但有前提。Go的切片本质是包含底层数组指针、长度、容量的结构体。当执行*licenseCards.cards = (*licenseCards.cards)[:l-1]缩容时，只是把切片的长度字段减小了，底层数组本身没有被修改，也不会立刻被垃圾回收（GC）。

只要还有其他引用指向这个底层数组（比如缩容前保存的切片副本、或者指向数组元素的指针），就能继续访问缩容前那些“被移出切片”的元素。举个例子，如果在Pop之前，你先获取了最后一个元素的指针：ptr := &(*licenseCards.cards)[l-1]，哪怕之后切片缩容，通过ptr依然能访问到原来的元素值——直到这个底层数组没有任何引用被GC回收为止。

不过要注意，直接通过缩容后的切片访问超出其长度的位置（比如(*licenseCards.cards)[l-1]）会触发运行时 panic，因为切片的长度是访问的边界限制，但底层数组的内存本身还在。

2. 如果移除切片的最后一个元素并返回该元素的指针，是否能保证该指针始终可用？ #

不能保证指针始终可用，存在两种失效场景：

• 当缩容后没有任何其他引用指向原来的底层数组时，Go的GC会在合适时机回收整个底层数组，此时之前返回的指针就变成了悬垂指针，访问它会导致不可预期的行为。
• 如果后续对这个切片执行添加元素的操作，当切片长度超过当前容量时，Go会重新分配一块新的底层数组，并把原有元素复制过去。此时原来的底层数组会被废弃，若没有其他引用，很快会被GC回收，之前返回的指针也就失效了。

举个具体的场景：假设你Pop时返回了最后一个元素的指针，之后又往cards里加了很多元素，触发了扩容，这时候再用之前的指针去访问，要么得到错误的值，要么直接引发程序崩溃。

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