go语言为什么空切片，nil切片可以继续使用？append()函数

go语言为什么空切片，nil切片可以继续使用？

首先先说明下什么是空切片？什么是nil切片？

通过var a [ ]int创建的切片是一个nil切片
通过b:=make([]int,0)创建的是一个空切片，（底层数组为空，但底层数组指针非空）

问题：

在之前一直认为切片必须要初始化才可以使用，今天刷力扣时发现如下情况：

var s []string
    s = append(s, "a")
    fmt.Println(s)

//可以使用

    var m map[string]string
    m["a"]= "b"
    fmt.Println(m)

//报错，未初始化不可以使用

解决方案：

var a []int
	fmt.Printf("len: %d, cap: %d, data:%+v \n", len(a), cap(a), a)

//	输出	len: 0, cap: 0, data:[] 

var a []int
	fmt.Printf("len: %d, cap: %d, data:%+v \n", len(a), cap(a), a)
	fmt.Printf("第一次 %v\n",a)
a=append(a,1)
	fmt.Printf("len: %d, cap: %d, data:%+v \n", len(a), cap(a), a)

//		输出	len: 0, cap: 0, data:[]  
				len: 1, cap: 1, data:[1] 

var a [ ]int 这样创建的切片一开始容量和长度都是0
但是可以正常使用

另一种情况：

var s []string
    s[0]="a"
    fmt.Println(s)

//报错

原因分析：

前两个都使用了append()函数，正常

查看append()函数源码：

func append(slice []Type, elems ...Type) []Type

// The copy built-in function copies elements from a source slice into a
// destination slice. (As a special case, it also will copy bytes from a
// string to a slice of bytes.) The source and destination may overlap. Copy
// returns the number of elements copied, which will be the minimum of
// len(src) and len(dst).

slice 在 append 调用的方法中判断了一下，如果没有初始化的底层数组指针，就新建一个
append 会初始化 nil slice
先判断 cap， 长度不够， 直接 copy 出为新 slice

---

结论

• append 内部append 会初始化 nil slice，与此类似的函数还有 copy 。这两个函数内部都进行 make 初始化。每次对 slice 的操作内部是会产生一个新的数组，然后返回
• 对空切片和nil切片都使用append()函数，都可以使用append添加元素
• 与此类似的函数还有 copy 。这两个函数内部都进行 make 初始化。每次对 slice 的操作内部是会产生一个新的数组，然后返回

注意：如果追加元素后slice的len<=cap,则append返回的新生成的slice的内存地址依旧是传入的slice参数的内存地址。

---

参考文档：https://www.v2ex.com/t/655229 https://studygolang.com/articles/16173?fr=sidebar