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

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

参数既是值又是指针。

等等.. 咦？

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

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;博士

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

小心。。。

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

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

底层数组是例如，如果切片的上限为 10，则无论长度如何，都将[10]intint 切片。切片由 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的参数不是类型map[int]int，而是类型*map[int]int。

就个人而言，我认为通过价值与通过传递有太多的困惑。Go 在这方面的工作方式与 C 完全相同，就像 C 一样，绝对一切都是通过值传递的。碰巧这个值有时可以是内存地址(指针)。

当 go 中的表单参数是 map 时，传入的是什么?

等等.. 咦？

所以TL;博士

小心。。。

笔记：

更多详细信息(参考资料)

相关内容

最新更新

热门标签：