从映射 [字符串][] 字符串返回的空列表有何特殊之处

Question

这是一个奇怪的情况，我不明白Go在做什么。最后，我使用了一些代码，这些代码使用了尚未插入该键的 map 的默认值。package mainimport (    "fmt"    "reflect")func main() {    mmm := map[string][]string{}    nnn := map[string][]string {        "a": {},    }        x := mmm["a"]    y := nnn["a"]    z := []string{}        fmt.Println(reflect.DeepEqual(x,y))    fmt.Println(reflect.DeepEqual(x,z))    fmt.Println(reflect.DeepEqual(y,z))    fmt.Printf("%T, %T, %T", x, y, z)}我得到意外的输出falsefalsetrue[]string, []string, []string我会期待全面。执行此操作的地图的默认值是什么？true

Answer 1

如果添加另一条打印线：

fmt.Printf("%#v, %#v, %#v", x, y, z)

一切都会变得清晰起来。它输出（在Go游乐场上尝试）：

[]string(nil), []string{}, []string{}

x是一个切片，并且是具有长度的非切片，就像 。nilynil0z

使用不在地图中的键对地图编制索引，将导致地图值类型的值为零。在你的例子中，值类型是 ，它是切片类型，切片类型的零值为 。[]stringnil

并反思。DeepEqual（） 文档切片和非切片不相等：nilnil

请注意，非零空片和零片（例如，[]字节{}和[]字节（零））并不严重相等。

Answer 2

首先，只是快速更正，这种数据类型称为“切片”，而不是“列表”。

查找不存在的映射键时，将获得映射值类型的“零值”。对于切片，零值是切片。切片通常表现得很像空切片（例如，切片的 为零），但它们不被视为相同。实际上，在 Go 中并没有为切片定义相等性，因此需要进行反思。Deep平等来决定平等在这里意味着什么。nilnillennil

您将在文档中看到此注释，解释此处的行为：

当以下所有情况都为真时，Slice 值深度相等：它们均为 nil 或均为非 nil，它们具有相同的长度，并且它们指向同一基础数组的相同初始条目（即 &x[0] == &y[0]），或者它们的相应元素（最大长度）深度相等。请注意，非零空片和零片（例如，[]字节{}和[]字节（零））并不严重相等。