所以TL; DR

Question

当形式参数为map时，直接为形式参数分配值不能更改实际参数，但是如果您向形式参数添加新的键和值，则也可以看到函数外部的实际参数。为什么会这样？

我不理解以下代码的输出值，并且形式参数与实际参数不同。

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

参数是都是一个值和一个指针。

等等..ut？

是的，地图（和切片）是类型，与实现的类型非常相似。想像这样的地图：

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
}

基础数组可以说，如果切片的 cap 为10，则不管其长度如何，一个整数切片将为[10]int。切片由go运行时管理，因此，如果超出容量，则会分配一个新数组（是前一个数组的cap的两倍），将现有数据复制过来，然后切片value字段设置为指向新数组。这就是append返回您要附加的切片，基础指针可能已更改等的原因。您可以在此找到更多详细信息。

您必须要小心的是这样的函数：

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

的行为与分配m[1] = 2时的函数几乎相同，但是一旦开始追加，运行时就可以自由移动底层数组，并指向新的内存地址。因此，最重要的是：映射和切片具有内部指针，该指针可能产生副作用，但是最好避免出现bug /歧义。 Go支持多个返回值，因此如果您打算更改它，只需返回一个切片。

注意：

在尝试找出什么是映射（引用，值，指针...）时，我注意到您尝试了以下操作：

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

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

就个人而言，我认为围绕价值传递与传递传递存在太多混淆。在这方面，Go的工作方式与C完全相同，就像C，绝对所有都是通过值传递的。碰巧的是，该值有时可以是内存地址（指针）。

当go中的form参数是map时，传入了什么？

2 个答案:

等等..ut？

所以TL; DR

小心...

注意：

更多详细信息（参考）