为什么一个功能中的映射值会受到另一个功能中的映射项的影响？

Question

这是我的代码：

func test(v map[string]string) {
    v["foo"] = "bar"
}

func main() {
    v := make(map[string]string)
    test(v)
    fmt.Printf("%v\n", v) // prints map[foo:bar]
}

我对Go很陌生，但据我所知，由于我将映射值传递给test()而不是指向映射的指针，因此该test()函数应修改映射的其他变量，因此不会影响变量的值main()。我希望它能打印出来map[]。我测试了另一种情况：

type myStruct struct {
    foo int
}

func test2(v myStruct) {
    v.foo = 5
}

func main() {
    v := myStruct{1}
    test2(v)
    fmt.Printf("%v\n", v) // prints {1}
}

在这种情况下，代码的行为符合我的预期。函数中的v变量main()不受变量中更改的影响test2()。那么为什么地图不同？

Answer 1

正确的做法是，当您将某些内容传递给函数时，将创建一个副本。但是，映射是对基础数据结构的某种描述符。因此，当您将映射值传递给函数时，将仅复制描述符，该描述符表示/指向存储映射数据（条目）的相同数据结构。

这意味着，如果函数对映射的条目进行了任何修改（添加，删除，修改条目），则可以从调用者处观察到。

阅读Go Blog：实际操作中的Go map，以了解详细信息。

请注意，切片和通道也是如此。一般来说，您可以使用内置make()函数创建的类型。这就是为什么这些类型的值为零nil，因为这些类型的值需要进行一些额外的初始化，而这些初始化需要在调用时完成make()。

在另一个示例中，您使用的是struct值，它们不是描述符。当您将struct值传递给另一个函数时，该函数将创建该结构值的完整副本（复制其所有字段的值），在该函数内部进行修改时，该副本不会对原始值产生任何影响，因为该副本的内存将被修改–这是与众不同的。