可观察的行为

nil和空切片（容量为0）不一样，但它们的可观察行为是相同的。我的意思是：

您可以将它们传递给内置len()和cap()函数
你可以for range超过它们（将是0次迭代）
您可以对它们进行切片（不违反Spec: Slice expressions中列出的限制;因此结果也将是一个空切片）
由于它们的长度为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大小的不同类型的值具有相同的内存地址。 Spec: System considerations: Size and alignment guarantees:

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

我们来检查一下。为此，我们调用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大小的内存值

Answer 2

切片在字面意义上可以是零：

var n []int
n == nil // true

这是唯一容易的案例。＆＃34;空＆＃34;的概念切片定义不明确：带s的切片len(s) == 0肯定是空的，无论其容量如何。最明智的做法是：忽略底层实现，永远不需要知道内部如何表示切片。重要的是切片的定义行为。

如何测试切片是否为空？

＆＃34>最明智的定义切片s为空＆＃34;是一个不包含转换为len(s) == 0的元素的切片。这个定义适用于零和非零切片。

任何人都可以告诉你，nil和空切片是否相同？如果它们两者不同，那么请说明这两者之间的区别是什么？

从技术上讲，nil切片和非nil切片是不同的（一个是== nil，另一个是！= nil），但这种区别通常无关紧要，因为你可以append到零切片并且len和cap on nil slice返回0

var n []int
len(n) == cap(n) == 0 // true
n = append(n, 123)
len(n) == 1 // true

阅读Go中的零值以获取更多信息。一个零切片就像一个零通道或一个零地图：它是未初始化的。您可以通过make或文字来初始化。如上所述，没有理由考虑潜在的表示。

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

这是一个实现细节，可能因编译器而异，甚至可能因版本而异。没有人需要知道这一点来编写正确且可移植的Go程序。

Answer 3

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

警告，如果处理JSON，则nil slice将编码为null而不是[]，这可能会破坏某些（javascript）客户端，这些客户端尝试对不可迭代的null进行迭代（不进行null检查）。

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

3 个答案:

可观察的行为

引擎盖下