Go切片深入学习

Go切片专项学习

go切片扩容机制

go1.18 之前：

1.如果期望容量大于当前容量的两倍就会使用期望容量；
2.如果当前切片的长度小于 1024 就会将容量翻倍；
3.如果当前切片的长度大于 1024 就会每次增加 25% 的容量，直到新容量大于期望容量；

go1.18 之后：

1.如果期望容量大于当前容量的两倍就会使用期望容量；
2.如果当前切片的长度小于阈值（默认 256）就会将容量翻倍；
3.如果当前切片的长度大于等于阈值（默认 256），就会每次增加 25% 的容量，基准是 newcap + 3*threshold，直到新容量大于期望容量；

第一条相同，新扩容机制在长度小于256以下时，扩容机制仍然和旧的一样，不同的是，当大于256的时候扩容会按照指定的公式进行扩容。

最后求极限扩容系数会趋近于1.25。

这样做的目的是为了控制让小的切片容量增长速度快一点，减少内存分配次数，而让大切片容量增长率小一点，更好地节省内存。

前几天朋友让我看了一道题：挺有意思的，短短几行代码就把切片的性质说的一清二楚。

package main

import "fmt"

func SliceRise(s []int) {
    s = append(s, 0)
    fmt.Printf("s = %v\n", s)
    for i := range s {
       s[i]++
    }
}

func main() {
    s1 := []int{1, 2}
    s2 := s1
    s2 = append(s2, 3)
    SliceRise(s1)
    SliceRise(s2)
    fmt.Printf("s1 = %v\n", s1)
    fmt.Printf("s2 = %v\n", s2)
}

这个代码输出结果是：

s = [1 2 0]
s = [1 2 3 0]
s1 = [1 2]   
s2 = [2 3 4] 

我们看看为什么？

首先，第一个s由于扩容，导致了底层数组改变，所以方法内和方法外是两个不同的结构，

第二个s在方法外就已经扩容了，进入方法内后底层数组指针仍然没有改变，这就是关键点了，既然没有改变，为什么内部是长度为4，外侧就为3了呢？

肯定会有很多人认为最后结果是2341 。

原因就在于切片是值传递的，传递进去的是原始切牌的拷贝，进入后新切片长度为4，容量为4，而在外侧的切片长度为3，容量为4，这就导致了只能输出前三位。