源碼包中`src/runtime/slice.go:slice`定義了Slice的數據結構:
~~~go
type slice struct {
array unsafe.Pointer // 指向底層數組
len int // len表示切片長度
cap int // cap表示底層數組容量
}
~~~
### 使用make創建Slice
使用make來創建Slice時,可以同時指定長度和容量,創建時底層會分配一個數組,數組的長度即容量。
例如,語句`slice := make([]int, 5, 10)`所創建的Slice,結構如下圖所示:

該Slice長度為5,即可以使用下標slice\[0\] ~ slice\[4\]來操作里面的元素,capacity為10,表示后續向slice添加新的元素時可以不必重新分配內存,直接使用預留內存即可
### 使用數組創建Slice
使用數組來創建Slice時,Slice將與原數組共用一部分內存。
例如,語句`slice := array[5:7]`所創建的Slice,結構如下圖所示:

切片從數組array\[5\]開始,到數組array\[7\]結束(不含array\[7\]),即切片長度為2,數組后面的內容都作為切片的預留內存,即capacity為5。
數組和切片操作可能作用于同一塊內存,這也是使用過程中需要注意的地方
### Slice 擴容
使用append向Slice追加元素時,如果Slice空間不足,將會觸發Slice擴容,擴容實際上是重新分配一塊更大的內存,將原Slice數據拷貝進新Slice,然后返回新Slice,擴容后再將數據追加進去。
例如,當向一個capacity為5,且length也為5的Slice再次追加1個元素時,就會發生擴容,如下圖所示:

擴容操作只關心容量,會把原Slice數據拷貝到新Slice,追加數據由append在擴容結束后完成。上圖可見,擴容后新的Slice長度仍然是5,但容量由5提升到了10,原Slice的數據也都拷貝到了新Slice指向的數組中。
擴容容量的選擇遵循以下規則:
* 如果原Slice容量小于1024,則新Slice容量將擴大為原來的2倍;
* 如果原Slice容量大于等于1024,則新Slice容量將擴大為原來的1.25倍;
使用append()向Slice添加一個元素的實現步驟如下:
* 假如Slice容量夠用,則將新元素追加進去,Slice.len++,返回原Slice
* 原Slice容量不夠,則將Slice先擴容,擴容后得到新Slice
* 將新元素追加進新Slice,Slice.len++,返回新的Slice
### Slice Copy
使用copy()內置函數拷貝兩個切片時,會將源切片的數據逐個拷貝到目的切片指向的數組中,拷貝數量取兩個切片長度的最小值。
例如長度為10的切片拷貝到長度為5的切片時,將會拷貝5個元素。
也就是說,copy過程中不會發生擴容
### 特殊切片
根據數組或切片生成新的切片一般使用`slice := array[start:end]`方式,這種新生成的切片并沒有指定切片的容量,實際上新切片的容量是從start開始直至array的結束。
比如下面兩個切片,長度和容量都是一致的,使用共同的內存地址:
~~~go
sliceA := make([]int, 5, 10)
sliceB := sliceA[0:5]
~~~
根據數組或切片生成切片還有另一種寫法,即切片同時也指定容量,即slice\[start:end:cap\], 其中cap即為新切片的容量,當然容量不能超過原切片實際值,如下所示:
~~~go
sliceA := make([]int, 5, 10) //length = 5; capacity = 10
sliceB := sliceA[0:5] //length = 5; capacity = 10
sliceC := sliceA[0:5:5] //length = 5; capacity = 5
~~~
這切片方法不常見,在Golang源碼里能夠見到,不過非常利于切片的理解
- 概述
- go語言基礎特性
- Go語言聲明
- Go項目構建及編譯
- go command
- 程序設計原則
- Go基礎
- 變量
- 常量
- iota
- 基本類型
- byte和rune類型
- 類型定義和類型別名
- 數組
- string
- 高效字符串連接
- string底層原理
- 運算符
- new
- make
- 指針
- 下劃線 & import
- 語法糖
- 簡短變量申明
- 流程控制
- ifelse
- switch
- select
- select實現原理
- select常見案例
- for
- range
- range實現原理
- 常見案例
- range陷阱
- Goto&Break&Continue
- Go函數
- 函數
- 可變參數函數
- 高階函數
- init函數和main函數
- 匿名函數
- 閉包
- 常用內置函數
- defer
- defer常見案例
- defer規則
- defer與函數返回值
- defer實現原理
- defer陷阱
- 數據結構
- slice
- slice內存布局
- slice&array
- slice底層實現
- slice陷阱
- map
- Map實現原理
- 集合
- List
- Set
- 線程安全數據結構
- sync.Map
- Concurrent Map
- 面向對象編程
- struct
- 匿名結構體&匿名字段
- 嵌套結構體
- 結構體的“繼承”
- struct tag
- 行為方法
- 方法與函數
- type Method Value & Method Expressions
- interface
- 類型斷言
- 多態
- 錯誤機制
- error
- 自定義錯誤
- panic&recover
- reflect
- reflect包
- 應用示例
- DeepEqual
- 反射-fillObjectField
- 反射-copyObject
- IO
- 讀取文件
- 寫文件
- bufio
- ioutil
- Go網絡編程
- tcp
- tcp粘包
- udp
- HTTP
- http服務
- httprouter
- webSocket
- go并發編程
- Goroutine
- thread vs goroutine
- Goroutine任務取消
- 通過channel廣播實現
- Context
- Goroutine調度機制
- goroutine調度器1.0
- GMP模型調度器
- 調度器竊取策略
- 調度器的生命周期
- 調度過程全解析
- channel
- 無緩沖的通道
- 緩沖信道
- 單向信道
- chan實現原理
- 共享內存并發機制
- mutex互斥鎖
- mutex
- mutex原理
- mutex模式
- RWLock
- 使用信道處理競態條件
- WaitGroup
- 工作池
- 并發任務
- once運行一次
- 僅需任意任務完成
- 所有任務完成
- 對象池
- 定時器Timer
- Timer
- Timer實現原理
- 周期性定時器Ticker
- Ticker對外接口
- ticker使用場景
- ticker實現原理
- ticker使用陷阱
- 包和依賴管理
- package
- 依賴管理
- 測試
- 單元測試
- 表格測試法
- Banchmark
- BDD
- 常用架構模式
- Pipe-filter pattern
- Micro Kernel
- JSON
- json-內置解析器
- easyjson
- 性能分析
- gc
- 工具類
- fmt
- Time
- builtin
- unsafe
- sync.pool
- atomic
- flag
- runtime
- strconv
- template