Golang中Slice的append详解
tomorrowwu ·在Golang语言中,数据类型不多,但是够用,开发项目过程中,Slice属于最常用的数据结构之一,对其原理理解不清楚,很容易会遗留bug,笔者查询了很多博客资料,对Slice的append原理进行一个总结,如果有写的不清楚不明白之处,请多多包涵,并予以指正。
package main
import "fmt"
func main(){
s := []int{5}
s = append(s,7)
fmt.Println("cap(s) =", cap(s), "ptr(s) =", &s[0])
s = append(s,9)
fmt.Println("cap(s) =", cap(s), "ptr(s) =", &s[0])
x := append(s, 11)
fmt.Println("cap(s) =", cap(s), "ptr(s) =", &s[0], "ptr(x) =", &x[0])
y := append(s, 12)
fmt.Println("cap(s) =", cap(s), "ptr(s) =", &s[0], "ptr(y) =", &y[0])
}
输出:
cap(s) = 2 ptr(s) = 0x10328008
cap(s) = 4 ptr(s) = 0x103280f0
cap(s) = 4 ptr(s) = 0x103280f0 ptr(x) = 0x103280f0
cap(s) = 4 ptr(s) = 0x103280f0 ptr(y) = 0x103280f0
实际过程:
文字说明:
- 创建s时,cap(s) == 1,内存中数据[5]
- append(s, 7) 时,按Slice扩容机制,cap(s)翻倍 == 2,内存中数据[5,7]
- append(s, 9) 时,按Slice扩容机制,cap(s)再翻倍 == 4,内存中数据[5,7,9],但是实际内存块容量4
- x := append(s, 11) 时,容量足够不需要扩容,内存中数据[5,7,9,11]
- y := append(s, 12) 时,容量足够不需要扩容,内存中数据[5,7,9,12]
5中的append是在s的基础上加入元素12,实际上就是==从s切片的末尾开始写入==,所以覆盖掉了11
我说下我的看法:
1. 首先定义的这个slice变量s在内存中就是一个长度为1的数组,里边只有一个元素为5.(注意数组是不可变的)
2. 如果向s上增加一个新的元素,由于数组不可变,需要生成一个新的数组,长度为2,让s指向这个新的数组,这样
才能将新的数据加入,这个时候将7加入;
3. 另外,由于slice容量不够,每次扩容都会自动扩大为之前的2倍,之前是从1变为2;
4. 当再次向s中增加元素的时候,2又不够了,则生成新的数组,容量为4了,并将9加入;
5. 之后,将11加入,由于容量够,所以可以直接加入,从s[0]的地址没有变化可以看出来;
6. 最后一个地方是难理解的,由于y也是在s的基础上增加元素,而s之前的容量为3个,这个时候加入会将
数据加入到s对应的数组的第4个元素上去,而由于x已经在底层数组的第四个位置上加了元素,看上去就相当于
是覆盖了11。
顺便把代码修改下:
'
s := []int{5}
fmt.Println("cap(s) =", cap(s), "len(s)=", len(s), "ptr(s) =", &s[0])
s = append(s, 7)
fmt.Println("cap(s) =", cap(s), "len(s)=", len(s), "ptr(s) =", &s[0])
s = append(s, 9)
fmt.Println("cap(s) =", cap(s), "len(s)=", len(s), "ptr(s) =", &s[0])
x := append(s, 11)
fmt.Println("cap(s) =", cap(s), "len(s)=", len(s), "len(x)=", len(x), "ptr(s) =", &s[0], "ptr(x) =", &x[0])
y := append(s, 12)
fmt.Println("cap(s) =", cap(s), "len(s)=", len(s), "len(x)=", len(x), "ptr(s) =", &s[0], "ptr(y) =", &y[0])
'
#1
在Golang语言中,数据类型不多,但是够用,开发项目过程中,Slice属于最常用的数据结构之一,对其原理理解不清楚,很容易会遗留bug,笔者查询了很多博客资料,对Slice的append原理进行一个总结,如果有写的不清楚不明白之处,请多多包涵,并予以指正。
package main
import "fmt"
func main(){
s := []int{5}
s = append(s,7)
fmt.Println("cap(s) =", cap(s), "ptr(s) =", &s[0])
s = append(s,9)
fmt.Println("cap(s) =", cap(s), "ptr(s) =", &s[0])
x := append(s, 11)
fmt.Println("cap(s) =", cap(s), "ptr(s) =", &s[0], "ptr(x) =", &x[0])
y := append(s, 12)
fmt.Println("cap(s) =", cap(s), "ptr(s) =", &s[0], "ptr(y) =", &y[0])
}
输出:
cap(s) = 2 ptr(s) = 0x10328008
cap(s) = 4 ptr(s) = 0x103280f0
cap(s) = 4 ptr(s) = 0x103280f0 ptr(x) = 0x103280f0
cap(s) = 4 ptr(s) = 0x103280f0 ptr(y) = 0x103280f0
实际过程:
文字说明:
- 创建s时,cap(s) == 1,内存中数据[5]
- append(s, 7) 时,按Slice扩容机制,cap(s)翻倍 == 2,内存中数据[5,7]
- append(s, 9) 时,按Slice扩容机制,cap(s)再翻倍 == 4,内存中数据[5,7,9],但是实际内存块容量4
- x := append(s, 11) 时,容量足够不需要扩容,内存中数据[5,7,9,11]
- y := append(s, 12) 时,容量足够不需要扩容,内存中数据[5,7,9,12]
5中的append是在s的基础上加入元素12,实际上就是==从s切片的末尾开始写入==,所以覆盖掉了11