没有切片与非零切片与Go语言中的空切片

Question

我是Go编程的新手.我已经阅读了编程书,该片包含三个部分:指向数组的指针,长度和容量.

我在nil切片之间感到困惑(切片没有底层数组指向,len = 0,cap = 0),非零切片只有len = 0,cap = 0和空切片.

任何人都可以告诉你的零片和空片是否相同？如果它们两者不同,请告诉我们这两者有什么区别？

如何测试切片是否为空？

此外,指针在非零切片中保持什么值,其长度和容量为零？

Answer 1

可观察的行为

nil和空切片(具有0容量)不一样,但它们的可观察行为是相同的.我的意思是:

• 您可以将它们传递给内置函数len()和cap()函数
• 你可以for range覆盖它们(将是0次迭代)
• 您可以对它们进行切片(不违反Spec:Slice表达式中列出的限制;因此结果也将是一个空切片)
• 由于它们的长度为0,因此无法更改其内容(附加值会创建新的切片值)

看到这个简单的例子(nil切片和2个非nil空切片):

var s1 []int         // nil slice
s2 := []int{}        // non-nil, empty slice
s3 := make([]int, 0) // non-nil, empty slice

fmt.Println("s1", len(s1), cap(s1), s1 == nil, s1[:], s1[:] == nil)
fmt.Println("s2", len(s2), cap(s2), s2 == nil, s2[:], s2[:] == nil)
fmt.Println("s3", len(s3), cap(s3), s3 == nil, s3[:], s3[:] == nil)

for range s1 {}
for range s2 {}
for range s3 {}

输出(在Go Playground上试试):

s1 0 0 true [] true
s2 0 0 false [] false
s3 0 0 false [] false

(请注意,切片nil会产生nil切片,切片非nil切片会产生非nil切片.)

您只能通过将切片值与预先声明的标识符进行比较来区分nil它们,它们在每个其他方面的行为都相同.

要判断切片是否为空,只需将其长度与0:进行比较:len(s) == 0.如果它是nil切片或非nil切片并不重要,它是否具有正容量也无关紧要; 如果它没有元素,它就是空的.

s := make([]int, 0, 100)
fmt.Println("Empty:", len(s) == 0, ", but capacity:", cap(s))

打印(在Go Playground上试试):

Empty: true , but capacity: 100

在引擎盖下

切片值由以下定义的结构表示reflect.SliceHeader:

type SliceHeader struct {
    Data uintptr
    Len  int
    Cap  int
}

在nil切片的情况下,此结构将具有其零值,其所有字段将是它们的零值,即:0.

具有nil容量和长度等于的非切片0,Len并且Cap字段肯定是0,但Data指针可能不是.这会不会是,这就是从区别它nil切片.它将指向零大小的底层数组.

请注意,Go规范允许具有0大小的不同类型的值具有相同的内存地址.规格:系统注意事项:尺寸和对齐保证:

如果结构或数组类型不包含大小大于零的字段(或元素),则其大小为零.两个不同的零大小变量在内存中可能具有相同的地址.

我们来看看吧.为此,我们调用unsafe包的帮助,并"获取" reflect.SliceHeader切片值的结构"视图":

var s1 []int
s2 := []int{}
s3 := make([]int, 0)

fmt.Printf("s1 (addr: %p): %+8v\n",
    &s1, *(*reflect.SliceHeader)(unsafe.Pointer(&s1)))
fmt.Printf("s2 (addr: %p): %+8v\n",
    &s2, *(*reflect.SliceHeader)(unsafe.Pointer(&s2)))
fmt.Printf("s3 (addr: %p): %+8v\n",
    &s3, *(*reflect.SliceHeader)(unsafe.Pointer(&s3)))

输出(在Go Playground上试试):

s1 (addr: 0x1040a130): {Data:       0 Len:       0 Cap:       0}
s2 (addr: 0x1040a140): {Data: 1535812 Len:       0 Cap:       0}
s3 (addr: 0x1040a150): {Data: 1535812 Len:       0 Cap:       0}

我们看到了什么？

• 所有切片(切片标头)都有不同的内存地址
• 所述nil切片具有0数据指针
• s2和s3切片确实有相同的数据指针,共享/指向相同的0大小的内存值