Go语言在声明变量的时候,会自动对变量对应的内存区域进行初始化操作。每个变量会被初始化成其类型的默认值,例如: 整型和浮点型变量的默认值为0。 字符串变量的默认值为空字符串。 布尔型变量默认为false。 切片、函数、指针变量的默认为nil。
func main() {
var s1 []int // nil切片
s2 := make([]int,0) // 空切片
s4 := make([]int,0) // 空切片
s5 := []int{} // 空切片
}
直接看代码,不同声明方式:使用 make() 函数生成的切片一定发生了内存分配操作,但给定开始与结束位置(包括切片复位)的切片只是将新的切片结构指向已经分配好的内存区域,设定开始与结束位置,不会发生内存分配操作。这里的内存分配我理解的就是引用数组指针地址
- nil切片和空切片指向的地址不一样。nil空切片引用数组指针地址为0(无指向任何实际地址)
- 空切片的引用数组指针地址是有的,且固定为一个值
我们看看切片的数据结构:
type SliceHeader struct {
Data uintptr //引用数组指针地址
Len int // 切片的目前使用长度
Cap int // 切片的容量
}
- nil切片和空切片最大的区别在于指向的数组引用地址是不一样的。
- 所有的空切片指向的数组引用地址都是一样的
补充【所有的空切片指向的数组引用地址都是一样的代码】:
package main
import (
"fmt"
"reflect"
"unsafe"
)
func main() {
var s1 []int // nil切片
s2 := make([]int,0) // 空切片
s4 := make([]int,0) // 空切片
fmt.Printf("s1 pointer:%+v, s2 pointer:%+v, s4 pointer:%+v, \n", *(*reflect.SliceHeader)(unsafe.Pointer(&s1)),*(*reflect.SliceHeader)(unsafe.Pointer(&s2)),*(*reflect.SliceHeader)(unsafe.Pointer(&s4)))
fmt.Printf("%v\n", (*(*reflect.SliceHeader)(unsafe.Pointer(&s1))).Data==(*(*reflect.SliceHeader)(unsafe.Pointer(&s2))).Data)
fmt.Printf("%v\n", (*(*reflect.SliceHeader)(unsafe.Pointer(&s2))).Data==(*(*reflect.SliceHeader)(unsafe.Pointer(&s4))).Data)
}
结果:
s1 pointer:{Data:0 Len:0 Cap:0}, s2 pointer:{Data:824634289816 Len:0 Cap:0}, s4 pointer:{Data:824634289816 Len:0 Cap:0},
false //nil切片和空切片指向的数组地址不一样
true //两个空切片指向的数组地址是一样的,都是824634289816