Go 語言切片是如何擴容的？

yongxinz發表於2023-04-09

在 Go 語言中，有一個很常用的資料結構，那就是切片（Slice）。

切片是一個擁有相同型別元素的可變長度的序列，它是基於陣列型別做的一層封裝。它非常靈活，支援自動擴容。

切片是一種引用型別，它有三個屬性：指標，長度和容量。

底層原始碼定義如下：

type slice struct {
    array unsafe.Pointer
    len   int
    cap   int
}

指標： 指向 slice 可以訪問到的第一個元素。
長度： slice 中元素個數。
容量： slice 起始元素到底層陣列最後一個元素間的元素個數。

比如使用 make([]byte, 5) 建立一個切片，它看起來是這樣的：

宣告和初始化

切片的使用還是比較簡單的，這裡舉一個例子，直接看程式碼吧。

func main() {
    var nums []int  // 宣告切片
    fmt.Println(len(nums), cap(nums)) // 0 0
    nums = append(nums, 1)   // 初始化
    fmt.Println(len(nums), cap(nums)) // 1 1

    nums1 := []int{1,2,3,4}    // 宣告並初始化
    fmt.Println(len(nums1), cap(nums1))    // 4 4

    nums2 := make([]int,3,5)   // 使用make()函式構造切片
    fmt.Println(len(nums2), cap(nums2))    // 3 5
}

擴容時機

當切片的長度超過其容量時，切片會自動擴容。這通常發生在使用 append 函式向切片中新增元素時。

擴容時，Go 執行時會分配一個新的底層陣列，並將原始切片中的元素複製到新陣列中。然後，原始切片將指向新陣列，並更新其長度和容量。

需要注意的是，由於擴容會分配新陣列並複製元素，因此可能會影響效能。如果你知道要新增多少元素，可以使用 make 函式預先分配足夠大的切片來避免頻繁擴容。

接下來看看 append 函式，簽名如下：

func Append(slice []int, items ...int) []int

append 函式引數長度可變，可以追加多個值，還可以直接追加一個切片。使用起來比較簡單，分別看兩個例子：

追加多個值：

package main

import "fmt"

func main() {
    s := []int{1, 2, 3}
    fmt.Println("初始切片:", s)

    s = append(s, 4, 5, 6)
    fmt.Println("追加多個值後的切片:", s)
}

輸出結果為：

初始切片: [1 2 3]
追加多個值後的切片: [1 2 3 4 5 6]

再來看一下直接追加一個切片：

package main

import "fmt"

func main() {
    s1 := []int{1, 2, 3}
    fmt.Println("初始切片:", s1)

    s2 := []int{4, 5, 6}
    s1 = append(s1, s2...)
    fmt.Println("追加另一個切片後的切片:", s1)
}

輸出結果為：

初始切片: [1 2 3]
追加另一個切片後的切片: [1 2 3 4 5 6]

再來看一個發生擴容的例子：

package main

import "fmt"

func main() {
    s := make([]int, 0, 3) // 建立一個長度為0，容量為3的切片
    fmt.Printf("初始狀態: len=%d cap=%d %v\n", len(s), cap(s), s)

    for i := 1; i <= 5; i++ {
        s = append(s, i) // 向切片中新增元素
        fmt.Printf("新增元素%d: len=%d cap=%d %v\n", i, len(s), cap(s), s)
    }
}

輸出結果為：

初始狀態: len=0 cap=3 []
新增元素1: len=1 cap=3 [1]
新增元素2: len=2 cap=3 [1 2]
新增元素3: len=3 cap=3 [1 2 3]
新增元素4: len=4 cap=6 [1 2 3 4]
新增元素5: len=5 cap=6 [1 2 3 4 5]

在這個例子中，我們建立了一個長度為 0，容量為 3 的切片。然後，我們使用 append 函式向切片中新增 5 個元素。

當我們新增第 4 個元素時，切片的長度超過了其容量。此時，切片會自動擴容。新的容量是原始容量的兩倍，即 6。

表面現象已經看到了，接下來，我們就深入到原始碼層面，看看切片的擴容機制到底是什麼樣的。

原始碼分析

在 Go 語言的原始碼中，切片擴容通常是在進行切片的 append 操作時觸發的。在進行 append 操作時，如果切片容量不足以容納新的元素，就需要對切片進行擴容，此時就會呼叫 growslice 函式進行擴容。

growslice 函式定義在 Go 語言的 runtime 包中，它的呼叫是在編譯後的程式碼中實現的。具體來說，當執行 append 操作時，編譯器會將其轉換為類似下面的程式碼：

slice = append(slice, elem)

在上述程式碼中，如果切片容量不足以容納新的元素，則會呼叫 growslice 函式進行擴容。所以 growslice 函式的呼叫是由編譯器在生成的機器碼中實現的，而不是在原始碼中顯式呼叫的。

切片擴容策略有兩個階段，go1.18 之前和之後是不同的，這一點在 go1.18 的 release notes 中有說明。

下面我用 go1.17 和 go1.18 兩個版本來分開說明。先透過一段測試程式碼，直觀感受一下兩個版本在擴容上的區別。

package main

import "fmt"

func main() {
    s := make([]int, 0)

    oldCap := cap(s)

    for i := 0; i < 2048; i++ {
        s = append(s, i)

        newCap := cap(s)

        if newCap != oldCap {
            fmt.Printf("[%d -> %4d] cap = %-4d  |  after append %-4d  cap = %-4d\n", 0, i-1, oldCap, i, newCap)
            oldCap = newCap
        }
    }
}

上述程式碼先建立了一個空的 slice，然後在一個迴圈裡不斷往裡面 append 新元素。

然後記錄容量的變化，每當容量發生變化的時候，記錄下老的容量，新增的元素，以及新增完元素之後的容量。

這樣就可以觀察，新老 slice 的容量變化情況，從而找出規律。

執行結果（1.17 版本）：

[0 ->   -1] cap = 0     |  after append 0     cap = 1   
[0 ->    0] cap = 1     |  after append 1     cap = 2   
[0 ->    1] cap = 2     |  after append 2     cap = 4   
[0 ->    3] cap = 4     |  after append 4     cap = 8   
[0 ->    7] cap = 8     |  after append 8     cap = 16  
[0 ->   15] cap = 16    |  after append 16    cap = 32  
[0 ->   31] cap = 32    |  after append 32    cap = 64  
[0 ->   63] cap = 64    |  after append 64    cap = 128 
[0 ->  127] cap = 128   |  after append 128   cap = 256 
[0 ->  255] cap = 256   |  after append 256   cap = 512 
[0 ->  511] cap = 512   |  after append 512   cap = 1024
[0 -> 1023] cap = 1024  |  after append 1024  cap = 1280
[0 -> 1279] cap = 1280  |  after append 1280  cap = 1696
[0 -> 1695] cap = 1696  |  after append 1696  cap = 2304

執行結果（1.18 版本）：

[0 ->   -1] cap = 0     |  after append 0     cap = 1
[0 ->    0] cap = 1     |  after append 1     cap = 2   
[0 ->    1] cap = 2     |  after append 2     cap = 4   
[0 ->    3] cap = 4     |  after append 4     cap = 8   
[0 ->    7] cap = 8     |  after append 8     cap = 16  
[0 ->   15] cap = 16    |  after append 16    cap = 32  
[0 ->   31] cap = 32    |  after append 32    cap = 64  
[0 ->   63] cap = 64    |  after append 64    cap = 128 
[0 ->  127] cap = 128   |  after append 128   cap = 256 
[0 ->  255] cap = 256   |  after append 256   cap = 512 
[0 ->  511] cap = 512   |  after append 512   cap = 848 
[0 ->  847] cap = 848   |  after append 848   cap = 1280
[0 -> 1279] cap = 1280  |  after append 1280  cap = 1792
[0 -> 1791] cap = 1792  |  after append 1792  cap = 2560

根據上面的結果還是能看到區別的，具體擴容策略下面邊看原始碼邊說明。

go1.17

擴容呼叫的是 growslice 函式，我複製了其中計算新容量部分的程式碼。

// src/runtime/slice.go

func growslice(et *_type, old slice, cap int) slice {
    // ...

    newcap := old.cap
    doublecap := newcap + newcap
    if cap > doublecap {
        newcap = cap
    } else {
        if old.cap < 1024 {
            newcap = doublecap
        } else {
            // Check 0 < newcap to detect overflow
            // and prevent an infinite loop.
            for 0 < newcap && newcap < cap {
                newcap += newcap / 4
            }
            // Set newcap to the requested cap when
            // the newcap calculation overflowed.
            if newcap <= 0 {
                newcap = cap
            }
        }
    }

    // ...

    return slice{p, old.len, newcap}
}

在分配記憶體空間之前需要先確定新的切片容量，執行時根據切片的當前容量選擇不同的策略進行擴容：

如果期望容量大於當前容量的兩倍就會使用期望容量；
如果當前切片的長度小於 1024 就會將容量翻倍；
如果當前切片的長度大於等於 1024 就會每次增加 25% 的容量，直到新容量大於期望容量；

go1.18

// src/runtime/slice.go

func growslice(et *_type, old slice, cap int) slice {
    // ...

    newcap := old.cap
    doublecap := newcap + newcap
    if cap > doublecap {
        newcap = cap
    } else {
        const threshold = 256
        if old.cap < threshold {
            newcap = doublecap
        } else {
            // Check 0 < newcap to detect overflow
            // and prevent an infinite loop.
            for 0 < newcap && newcap < cap {
                // Transition from growing 2x for small slices
                // to growing 1.25x for large slices. This formula
                // gives a smooth-ish transition between the two.
                newcap += (newcap + 3*threshold) / 4
            }
            // Set newcap to the requested cap when
            // the newcap calculation overflowed.
            if newcap <= 0 {
                newcap = cap
            }
        }
    }

    // ...

    return slice{p, old.len, newcap}
}

和之前版本的區別，主要在擴容閾值，以及這行程式碼：newcap += (newcap + 3*threshold) / 4。

在分配記憶體空間之前需要先確定新的切片容量，執行時根據切片的當前容量選擇不同的策略進行擴容：

如果期望容量大於當前容量的兩倍就會使用期望容量；
如果當前切片的長度小於閾值（預設 256）就會將容量翻倍；
如果當前切片的長度大於等於閾值（預設 256），就會每次增加 25% 的容量，基準是 newcap + 3*threshold，直到新容量大於期望容量；

記憶體對齊

分析完兩個版本的擴容策略之後，再看前面的那段測試程式碼，就會發現擴容之後的容量並不是嚴格按照這個策略的。

那是為什麼呢？

實際上，growslice 的後半部分還有更進一步的最佳化（記憶體對齊等），靠的是 roundupsize 函式，在計算完 newcap 值之後，還會有一個步驟計算最終的容量：

capmem = roundupsize(uintptr(newcap) * ptrSize)
newcap = int(capmem / ptrSize)

這個函式的實現就不在這裡深入了，先挖一個坑，以後再來補上。

總結

切片擴容通常是在進行切片的 append 操作時觸發的。在進行 append 操作時，如果切片容量不足以容納新的元素，就需要對切片進行擴容，此時就會呼叫 growslice 函式進行擴容。

切片擴容分兩個階段，分為 go1.18 之前和之後：

一、go1.18 之前：

如果期望容量大於當前容量的兩倍就會使用期望容量；
如果當前切片的長度小於 1024 就會將容量翻倍；
如果當前切片的長度大於 1024 就會每次增加 25% 的容量，直到新容量大於期望容量；

二、go1.18 之後：

如果期望容量大於當前容量的兩倍就會使用期望容量；
如果當前切片的長度小於閾值（預設 256）就會將容量翻倍；
如果當前切片的長度大於等於閾值（預設 256），就會每次增加 25% 的容量，基準是 newcap + 3*threshold，直到新容量大於期望容量；

以上就是本文的全部內容，如果覺得還不錯的話歡迎點贊，轉發和關注，感謝支援。

參考文章：

推薦閱讀：

go 語言切片
2018-07-16
Go
Go語言————7.2 切片
2018-07-01
Go
GO語言學習——切片二
2022-04-29
Go
GO語言————8.4 map 型別的切片
2018-07-03
Go型別
Go語言————7.4 切片重組（reslice）
2018-07-01
Go
GO語言————7.5 切片的複製與追加
2018-07-01
Go
go語言學習-陣列-切片-map
2018-03-25
Go陣列
Go 語言是如何計算 len() 的?
2021-08-11
Go
《快學 Go 語言》第 5 課 —— 神奇的切片
2018-11-21
Go
從原始碼解析 Go 的切片型別以及擴容機制
2022-06-07
原始碼Go型別
go語言將表資料動態轉成切片(欄位任意擴充)
2019-02-16
Go
Go 語言基礎陣列、切片、對映
2020-06-18
Go陣列
Go語言系列(三)之陣列和切片
2020-08-01
Go陣列
go語言使用切片實現線性表
2018-04-18
Go
《快學 Go 語言》第 5 課 —— 靈活的切片
2018-11-12
Go
GO語言————7.6 字串、陣列和切片的應用
2018-07-01
Go字串陣列
Go語言切片面試真題7連問
2022-02-18
Go面試
帶讀 |《Go in Action》(中文：Go語言實戰) 深入瞭解切片
2022-12-23
Go
語言是 Go 還是 Golang？
2019-09-28
Golang
Go是Google的語言，而不是我們的語言
2019-05-22
Go
GO是更好的程式語言嗎？
2017-03-18
Go
什麼是Go語言?Go語言有什麼特點?
2020-12-10
Go
Go語言GOPATH是什麼
2024-03-20
Go
Go 是物件導向的語言嗎?
2020-03-29
Go物件
Go語言是徹底的面向組合的併發語言
2014-09-15
Go
go語言之陣列與切片
2019-01-25
Go陣列
Go 語言在命令列以表格的形式輸出結構體切片
2017-08-29
Go命令列結構體
聊聊Go語言中的陣列與切片
2022-12-01
Go陣列
Go 語言切片的三種特殊狀態 —— 90% 的開發者都忽視了
2018-11-21
Go
Go是一門什麼樣的語言？
2021-08-01
Go
Event Horizon是Go語言的CQRS/ES框架
2014-11-27
Go框架
Go語言————1、初識GO語言
2018-06-23
Go
如何客觀的評價 Go 語言
2019-04-21
Go
Go語言中切片slice的宣告與使用
2020-10-01
Go
【Go語言入門系列】(七)如何使用Go的方法？
2020-08-31
Go
Go 語言編寫 CPython 擴充套件 goPy
2013-04-08
GoPython套件
Go 切片詳解（理解是關鍵）
2019-12-18
Go
Go語言切片一網打盡，別和Java語法傻傻分不清楚
2022-01-29
GoJava

Go 語言切片是如何擴容的？

宣告和初始化

擴容時機

原始碼分析

go1.17

go1.18

記憶體對齊

總結

相關文章