pointers - go中的form参数为map时，传入的是什么？

Question

当形参为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]

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

Answer 1

参数既是值又是指针。

等等..什么？

是的， map (和 slice ，就此而言)是类型，与您要实现的非常相似。想像这样的 map :

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，您正在传递上面结构的副本(按值传递)，并且您正在分配一个新 映射到它，在此过程中创建一个新的哈希表指针。函数作用域中的变量已更新，但您传递的变量仍保留对原始 map 的引用，并且保留了指向原始 map 的指针。

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

所以长话短说

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

小心...

正如我所说， slice 的工作方式几乎相同:

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

底层数组是说，如果 slice 的 cap 为 10，则 int slice 将为 [10]int，无论长度如何。 slice 由 go runtime 管理，所以如果超出容量，将分配一个新数组(cap 的前一个数组的两倍)，现有数据被复制过来， slice value 字段设置为指向新数组。这就是为什么 append 返回您附加到的 slice 、底层指针可能已更改等的原因。您可以找到更多关于此的深入信息。

你必须小心的是像这样的函数:

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

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

注意事项:

在您试图弄清楚 map 是什么(引用、值、指针...)时，我注意到您试过这个:

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

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

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

---

更多细节(引用)

• Slices: usage & internals
• Maps 注意:这会引起一些混淆，因为指针、 slice 和映射被称为*引用类型*，但正如其他人和其他地方所解释的那样，不要将其与 C++ 引用混淆