php小编小新为你带来了关于Go语言中的切片类型的介绍。在Go语言中，切片有三种状态：nil切片、非nil切片和空切片。这三种切片状态在使用时具有不同的含义和特点。了解这些切片类型的区别，将有助于我们更好地理解和使用Go语言中的切片功能。接下来，让我们一起来探索这三种切片类型的具体特点和用法。
问题内容
我是 Go 编程的新手。我在Go编程书中读到，切片由三部分组成：指向数组的指针、长度和容量。
我对以下内容感到困惑：
- nil 切片（切片没有指向的底层数组，len = 0，cap=0）
- 仅 len = 0、cap = 0 的非零切片
- 空切片。
谁能告诉我 nil 和空切片是否是同一件事？ 如果两者不同，那么请告诉我这两者有什么区别？如何测试切片是否为空？另外，指针在长度和容量为零的非零切片中保存什么值？
解决方法
可观察的行为
nil 和空切片（容量为 0）并不相同，但它们的可观察行为是相同的（几乎始终）。我的意思是：
- 您可以将它们传递给内置
len()和cap()函数 - 您可以
len()覆盖它们（将是 0 次迭代） - 您可以对它们进行切片（只要不违反规范：切片表达式中概述的限制；因此结果也将是一个空切片）
- 由于它们的长度为 0，因此您无法更改其内容（附加值会创建新的切片值）
查看这个简单的示例（一个 cap() 切片和 2 个非 for range 空切片）：
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 进行比较来区分，它们在其他方面的行为都是相同的。 但请注意，许多软件包确实会将切片与 nil 进行比较，并且可能会基于此进行不同的操作（例如 encoding/ json 和 fmt 包）。
唯一的区别是将切片转换为数组指针（已添加到Go 1.17 中的语言）。将非 nil 切片转换为数组指针将生成非 nil 指针，将 encoding/ json 切片转换为数组指针将生成 fmt 指针。
要判断切片是否为空，只需将其长度与 nil 进行比较：nil。无论它是 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
}
对于 0 切片，该结构将具有其零值，即其所有字段都将为零值，即：len(s) == 0。
如果非 nil 切片的容量和长度等于 nil、reflect.SliceHeader 和 nil 字段，则很可能是 0，但 nil 指针可能不是。它不会，这就是它与 0 切片的区别。它将指向一个零大小的底层数组。
请注意，Go 规范允许大小为 0 的不同类型的值具有相同的内存地址。 cap()0
让我们检查一下。为此，我们调用 cap()1 包的帮助，并“获取” Len 结构“视图” “我们的切片值：
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)))
输出（在 cap()2 上尝试一下）：
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}
我们看到了什么？
- 所有切片（切片头）都有不同的内存地址
-
Cap切片具有0数据指针 -
Data和nil切片确实具有相同的数据指针，共享/指向相同的 0 大小的内存值
