-1

当形参为map时，直接给形参赋值并不能改变实参，但是如果给形参添加新的key和value，也可以看到函数外的实参。这是为什么？

看不懂下面代码的输出值，形参和实参不一样。

unc main() {
    t := map[int]int{
        1: 1,
    }
    fmt.Println(unsafe.Pointer(&t))
    copysss(t)
    fmt.Println(t)
}
func copysss(m map[int]int) {
    //pointer := unsafe.Pointer(&m)
    //fmt.Println(pointer)
    m = map[int]int{
        1: 2,
    }
}

stdout :0xc000086010

        map[1:1]

func main() {
    t := map[int]int{
        1: 1,
    }
    fmt.Println(unsafe.Pointer(&t))
    copysss(t)
    fmt.Println(t)
}
func copysss(m map[int]int) {
    //pointer := unsafe.Pointer(&m)
    //fmt.Println(pointer)
    m[1] = 2
}

stdout :0xc00007a010

        map[1:2]

func main() {
    t := map[int]int{
        1: 1,
    }
    fmt.Println(unsafe.Pointer(&t))
    copysss(t)
    fmt.Println(t)
}
func copysss(m map[int]int) {
    pointer := unsafe.Pointer(&m)
    fmt.Println(pointer)
    m[1] = 2
}

stdout:0xc00008a008
       0xc00008a018
       map[1:2]

我想知道参数是值还是指针。

4

2 回答 2

3

参数既是值又是指针。

等等..什么？

是的，地图（和切片，就此而言）是类型，与您将实现的非常相似。想象这样一张地图：

type map struct {
    // meta information on the map
    meta struct{
        keyT   type
        valueT type
        len    int
    }
    value *hashTable // pointer to the underlying data structure
}

因此，在您重新分配的第一个函数中，m您传递了上面结构的副本（按值传递），并且您正在为其分配一个新映射，在此过程中创建一个新的哈希表指针。函数范围内的变量已更新，但您传递的变量仍然包含对原始映射的引用，并且使用它，指向原始映射的指针被保留。

在第二个片段中，您正在访问底层哈希表（指针的副本，但指针指向相同的内存）。您正在直接操作原始地图，因为您只是在更改内存的内容。

所以 TL;DR

地图是一个值，包含地图外观的元信息，以及指向存储在其中的实际数据的指针。指针是按值传递的，就像其他任何东西一样（在 C/C++ 中指针按值传递的方式相同），但是当然，取消引用指针意味着您正在直接更改内存中的值。

小心...

就像我说的，切片的工作方式几乎相同：

type slice struct {
    meta struct {
        type T
        len, cap int
    }
    value *array // yes, it's a pointer to an underlying array
}

底层数组是说，[10]int如果切片的上限是 10，则一个整数切片将是，无论长度如何。切片由 go 运行时管理，因此如果超出容量，则会分配一个新数组（cap前一个数组的两倍），复制现有数据，并将切片value字段设置为指向新数组。这就是为什么append返回您要附加到的切片、底层指针可能已更改等原因。您可以找到更多关于此的深入信息。

你必须小心的是这样的函数：

func update(s []int) {
    for i, v := range s {
       s[i] = v*2
    }
}

将与您分配的函数的行为方式大致相同m[1] = 2，但是一旦您开始追加，运行时就可以自由移动底层数组并指向新的内存地址。所以底线：地图和切片有一个内部指针，它会产生副作用，但你最好避免错误/歧义。Go 支持多个返回值，因此如果您打算更改它，只需返回一个切片。

笔记：

在您试图弄清楚地图是什么（引用、值、指针...）时，我注意到您尝试了以下操作：

pointer := unsafe.Pointer(&m)
fmt.Println(pointer)

您在那里所做的实际上是打印参数变量的地址，而不是实际对应于地图本身的任何地址。传递给的参数unsafe.Pointer不是 type map[int]int，而是 type *map[int]int。

就个人而言，我认为传递值与传递有太多混淆。在这方面，Go 的工作方式与 C 完全一样，就像 C 一样，绝对一切都是按值传递的。碰巧这个值有时可以是内存地址（指针）。

更多细节（参考）

  • 切片：用法和内部结构
  • Maps 注意：这会引起一些混淆，因为指针、切片和映射被称为*引用类型*，但正如其他人和其他地方所解释的那样，不要与 C++ 引用混淆
于 2019-05-22T12:53:12.207 回答
0

在 Go 中，map 是一个引用类型。这意味着映射实际上驻留在堆中，而变量只是指向它的指针。

地图是通过副本传递的。您可以在函数中更改本地副本，但这不会反映在调用者的范围内。

但是，由于 map 变量是指向驻留在堆中的唯一映射的指针，因此指向同一映射的任何变量都可以看到每个更改。

这篇文章可以澄清概念：https ://www.ardanlabs.com/blog/2014/12/using-pointers-in-go.html 。

于 2019-05-22T12:43:20.970 回答