在golang有零片和空片有什么意义？

Question

区分零片（即未初始化片）和空片（即已初始化但为空片）的要点是什么？

我理解其中的差异，但我想知道，这两种情况之间存在细微差异的背后动机是什么？出于所有目的，nil片和空片在使用它们时的行为是相同的。

似乎如果Go开发人员只有一个案例，例如只允许空切片，那么它就简化了心智模型并消除了细微缺陷的来源。

创建这两个用例有什么原因吗？

Answer 1

nil切片值不需要分配。如果您希望在片中构建某些内容，但通常不会附加任何数据，因此片可能会保持nil，因此不需要进行分配，这可能会有所不同。

空片可能需要分配，即使其容量为零。

另外，空切片表示其长度为0，但其容量可能不是；因此，“无论出于何种目的，一个nil片和一个空片在使用它们时的行为都是相同的”这不是真的。您可以分配长度为0且容量大的切片，并优化进一步的追加以避免分配（和复制）：

s := make([]int, 0)
fmt.Println(s, len(s), cap(s))
s = append(s, 1)
fmt.Println(s, len(s), cap(s))

s = make([]int, 0, 10)
fmt.Println(s, len(s), cap(s))
s = append(s, 1)
fmt.Println(s, len(s), cap(s))

以上内容的输出（在运动场上尝试）：

[] 0 0
[1] 1 2
[] 0 10
[1] 1 10

我们看到了什么？在第一个示例中，我们创建了一个长度为0、容量为0的空切片。如果我们给它追加一个元素，它的长度将变成1（很明显），它的容量增加到2。这是因为在引擎盖下append（）分配了一个大小为2的新数组（考虑到未来的增长），复制了现有的元素（在本例中没有），并分配了新元素。

在第二种情况下，我们从一个空切片开始，但容量为10。这意味着我们可以向其追加10个元素，而不会导致新的分配和复制现有元素。当切片很大时，这可能是一个很大的优势，需要多次这样做。