go - go中的[] int {}和[] int有什么区别？ [复制]

Question

This question already has an answer here:

How should I define an empty slice in Go?

(1个答案)


1年前关闭。




这里有两个不同的定义，但是有什么区别？
我尝试了以下方法:

func main() {
    var test1 []int
    test2 := []int{}

    if test1 == nil {
        fmt.Println(1)
    }
    if test2 == nil {
        fmt.Println(2)
    }
    fmt.Println("test1:", test1)
    fmt.Println("test2:", test2)
}

这是输出:

1
test1: []
test2: []

但是为什么test1是nil但另一个不是？

最佳答案

[]int本身就是int类型片的拼写。

在:

var test1 []int

[]int提供变量 test1的类型。该行总体上不提供任何值，因此 test1初始化为 []int类型的 zero value。零的值为 []int(nil)，或者非正式地，仅为nil.1

在:

test2 := []int{}

[]int提供括号括起的初始化程序列表的类型。也就是说， {}是 composite literal:一个大括号，后跟一系列元素(在本例中为空)，后跟一个大括号。该行的其余部分( :=和左侧的变量名称)代表 short variable declaration。这使变量 test2的类型为 []int，并为空列表生成值。

在这种情况下，由空列表产生的值是空的 int片:一个具有empty2后备存储，长度为零，容量为零的值。

这就是 test1为nil而不是 test2的原因: test1保留零值，对于任何分片类型，该值为 nil(在 nil转换为该类型后仍然是)。同时， test2保留三部分的 slice header ，该 header 覆盖了由复合文字创建的零长度后备数组。

nil slice-这有点草率:它表示single-of- T类型的值，其实际值为 []T(nil)而不是某些三部分的slice头，通常可以用作空(长度为零)的slice相同类型的。特别地， for i := range x和 x = append(x, newElement)都“很好地”处理 x == nil:它们对空片的处理方式相同。打印 slice 的 fmt例程也可以做到这一点。3

1 nil本身是未键入的。请参阅 the Go specification, under the section Variables中对 nil的首次提及。

2至少在不使用 unsafe.Pointer或类似条件的情况下，不可能知道Go是否实际上为后备数组分配了任何存储空间。您对 slice 执行的任何操作都会为其提供一定的容量，以便您可以将某些值放入内存中的某个位置，这将或可能只是分配一个新的后备阵列。 unsafe包中包含一些技巧，可以窥探Go运行时，但总的来说，您不需要这样做，也应该这样做。

3相比之下， map类型的播放效果不太好。如果 x是一个(可能是非正式的)片段，并且可能是nil，而 m是一个可能是nil的 map ，我们可以这样做:

x = append(x, newElem)

但是我们不能:

m[key] = newElem

我们首先要检查 m是否为nil，如果是，则分配一个空映射:

if m == nil {
    m = make(...) // put in the right type here
}
m[key] = newElem

因此，使用是相对常见的:

var x []T
m := map[string]T{}

彼此相邻，因为 x表现良好，而 m则表现不佳。

关于go - go中的[] int {}和[] int有什么区别？ [复制]，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/59349879/

上一篇：oracle-adf - oracleADF 11g 表刷新问题

下一篇：oracle-adf - 在 ADF 中对齐布局元素

Answer 1

[]int本身就是int类型片的拼写。

在:

var test1 []int

[]int提供变量 test1的类型。该行总体上不提供任何值，因此 test1初始化为 []int类型的 zero value。零的值为 []int(nil)，或者非正式地，仅为nil.1

在:

test2 := []int{}

[]int提供括号括起的初始化程序列表的类型。也就是说， {}是 composite literal:一个大括号，后跟一系列元素(在本例中为空)，后跟一个大括号。该行的其余部分( :=和左侧的变量名称)代表 short variable declaration。这使变量 test2的类型为 []int，并为空列表生成值。

在这种情况下，由空列表产生的值是空的 int片:一个具有empty2后备存储，长度为零，容量为零的值。

这就是 test1为nil而不是 test2的原因: test1保留零值，对于任何分片类型，该值为 nil(在 nil转换为该类型后仍然是)。同时， test2保留三部分的 slice header ，该 header 覆盖了由复合文字创建的零长度后备数组。

nil slice-这有点草率:它表示single-of- T类型的值，其实际值为 []T(nil)而不是某些三部分的slice头，通常可以用作空(长度为零)的slice相同类型的。特别地， for i := range x和 x = append(x, newElement)都“很好地”处理 x == nil:它们对空片的处理方式相同。打印 slice 的 fmt例程也可以做到这一点。3

1 nil本身是未键入的。请参阅 the Go specification, under the section Variables中对 nil的首次提及。

2至少在不使用 unsafe.Pointer或类似条件的情况下，不可能知道Go是否实际上为后备数组分配了任何存储空间。您对 slice 执行的任何操作都会为其提供一定的容量，以便您可以将某些值放入内存中的某个位置，这将或可能只是分配一个新的后备阵列。 unsafe包中包含一些技巧，可以窥探Go运行时，但总的来说，您不需要这样做，也应该这样做。

3相比之下， map类型的播放效果不太好。如果 x是一个(可能是非正式的)片段，并且可能是nil，而 m是一个可能是nil的 map ，我们可以这样做:

x = append(x, newElem)

但是我们不能:

m[key] = newElem

我们首先要检查 m是否为nil，如果是，则分配一个空映射:

if m == nil {
    m = make(...) // put in the right type here
}
m[key] = newElem

因此，使用是相对常见的:

var x []T
m := map[string]T{}

彼此相邻，因为 x表现良好，而 m则表现不佳。