一尘不染

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

go

这是我的代码:

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()。那么为什么地图不同?


阅读 179

收藏
2020-07-02

共1个答案

一尘不染

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

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

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

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

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

2020-07-02