前言
一、数组
- 初始化:Go 语言的数组有两种不同的创建方式,一种是显式的指定数组大小,另一种是使用 […]T 声明数组
var array02 = [3]int{1, 2, 3}
var array03 = [...]int{1, 2, 3}
- 语句转换:对于一个由字面量组成的数组,根据数组元素数量的不同,编译器会在负责初始化字面量
1、当元素数量小于或等于4的时候,会直接将数组中的元素放置到栈上
2、当元素数量大于4个时,会直接将数组中的元素放置到静态区并在运行时取出
var array02 = [3]int{1, 2, 3}
fmt.Printf("array02:%p array[0]:%p array02[1]:%p array02[2]:%p \n", &array02, &array02[0], &array02[1], &array02[2])
//array02:0x140000ac000
//array[0]:0x140000ac000
//array02[1]:0x140000ac008
//array02[2]:0x140000ac010
/*
1byte=8bit
int8占用1个字节
int16占用2个字节
int32占用4个字节
int64占用8个字节
*/
内存分布:
由此得出结论
1、数组的地址就是第一个元素的地址
2、go的数组属于值类型。默认同样也是值传递
3、长度是数组的一部分,在传递函数时,同样要考虑数组的长度,如果数组长度不匹配,在代码编译时就会报错。
无论是在栈上还是静态存储区,数组在内存中都是一连串的内存空间,我们通过指向数组开头的指针、元素的数量以及元素类型占的空间大小表示数组。
二、切片
1、定义:切片是动态数组,其长度并不是固定的,我们可以向切片中追加元素,它会在容量不足时自动扩容。
2、切片的初始化:
- (1)通过下标的方式获得数组或者切片的一部分;
var array02 = [3]int{1, 2, 3}
array04 := array02[1:2]
- (2)通过字面量初始新的切片
array05:=[]int{1,2,3}
- (3)通过new()关键字创建
array06:=make(int[],10)
3、数据结构
type slice struct {
array unsafe.Pointer
len int
cap int
}
array 是指向数组的指针;
len 是当前切片的长度
cap 是当前切片的容量,即 Data 数组的大小
4、切片在内存中分析
以下内容摘取go语言圣经
以Q2切片为例,data引用了一个数组对象,元素的长度为3,从切取中元素左闭右开
cap:表示当前切片的容量。
5、切片的扩容操作
func appendInt(x []int, y int) []int {
var z []int
zlen := len(x) + 1 // 6
if zlen <= cap(x) {
// There is room to grow. Extend the slice.
z = x[:zlen]
} else {
// There is insufficient space. Allocate a new array.
// Grow by doubling, for amortized linear complexity.
zcap := zlen
if zcap < 2*len(x) {
zcap = 2 * len(x)
}
z = make([]int, zlen, zcap)
copy(z, x) // a built-in function; see text
}
z[len(x)] = y
return z
}
func main() {
var x, y []int
for i := 0; i < 10; i++{
y = appendInt(x, i)
fmt.Printf("%d cap=%d\t%v\n", i, cap(y), y)
x = y
}
}
执行代码,查看每次的扩容结果
0 cap=1 [0]
1 cap=2 [0 1]
2 cap=4 [0 1 2]
3 cap=4 [0 1 2 3]
4 cap=8 [0 1 2 3 4]
5 cap=8 [0 1 2 3 4 5]
6 cap=8 [0 1 2 3 4 5 6]
7 cap=8 [0 1 2 3 4 5 6 7]
8 cap=16 [0 1 2 3 4 5 6 7 8]
9 cap=16 [0 1 2 3 4 5 6 7 8 9]