Go语言使用 map 时尽量不要在 big map 中保存指针

不知道你有没有听过这么一句：在使用 map 时尽量不要在 big map 中保存指针。好吧，你现在已经听过了：）为什么呢？原因在于 Go 语言的垃圾回收器会扫描标记 map 中的所有元素，GC 开销相当大，直接GG。

成都网站设计、成都做网站介绍好的网站是理念、设计和技术的结合。创新互联建站拥有的网站设计理念、多方位的设计风格、经验丰富的设计团队。提供PC端+手机端网站建设，用营销思维进行网站设计、采用先进技术开源代码、注重用户体验与SEO基础，将技术与创意整合到网站之中，以契合客户的方式做到创意性的视觉化效果。

这两天在《Mastering Go》中看到 GC 这一章节里面对比 map 和 slice 在垃圾回收中的效率对比，书中只给出结论没有说明理由，这我是不能忍的，于是有了这篇学习笔记。扯那么多，Show Your Code

这是一个简单的测试程序，保存字符串的 map 和 保存整形的 map GC 的效率相差几十倍，是不是有同学会说明明保存的是 string 哪有指针？这个要说到 Go 语言中 string 的底层实现了，源码在 src/runtime/string.go里，可以看到 string 其实包含一个指向数据的指针和一个长度字段。注意这里的是否包含指针，包括底层的实现。

Go 语言的 GC 会递归遍历并标记所有可触达的对象，标记完成之后将所有没有引用的对象进行清理。扫描到指针就会往下接着寻找，一直到结束。

Go 语言中 map 是基于 数组和链表 的数据结构实现的，通过 优化的拉链法 解决哈希冲突，每个 bucket 可以保存 8 对键值，在 8 个键值对数据后面有一个 overflow 指针，因为桶中最多只能装 8 个键值对，如果有多余的键值对落到了当前桶，那么就需要再构建一个桶（称为溢出桶），通过 overflow 指针链接起来。

因为 overflow 指针的缘故，所以无论 map 保存的是什么，GC 的时候就会把所有的 bmap 扫描一遍，带来巨大的 GC 开销。官方 issues 就有关于这个问题的讨论， runtime: Large maps cause significant GC pauses #9477

无脑机翻如下：

如果我们有一个map [k] v，其中k和v都不包含指针，并且我们想提高扫描性能，则可以执行以下操作。

将“ allOverflow [] unsafe.Pointer”添加到 hmap 并将所有溢出存储桶存储在其中。 然后将 bmap 标记为noScan。 这将使扫描非常快，因为我们不会扫描任何用户数据。

实际上，它将有些复杂，因为我们需要从allOverflow中删除旧的溢出桶。 而且它还会增加 hmap 的大小，因此也可能需要重新整理数据。

最终官方在 hmap 中增加了 overflow 相关字段完成了上面的优化，这是具体的 commit 地址。

下面看下具体是如何实现的，源码基于 go1.15，src/cmd/compile/internal/gc/reflect.go 中

通过注释可以看出，如果 map 中保存的键值都不包含指针（通过 Haspointers 判断），就使用一个 uintptr 类型代替 bucket 的指针用于溢出桶 overflow 字段，uintptr 类型在 GO 语言中就是个大小可以保存得下指针的整数，不是指针，就相当于实现了 将 bmap 标记为 noScan， GC 的时候就不会遍历完整个 map 了。随着不断的学习，愈发感慨 GO 语言中很多模块设计得太精妙了。

差不多说清楚了，能力有限，有不对的地方欢迎留言讨论，源码位置还是问的群里大佬 _

go语言中的指针和c++的指针的区别？

Go语言里面的指针和C++指针一样，都是指向某块内存的地址值，可以解引用，不同只是在于C++里可以直接对指针做算术运算而Go里面不行。

go语言怎么输出存放指针的数组

以下代码在VC6.0以上版本测试通过！

输出结果：6

#include stdio.h

int main(void)

{

int a[2][2] = {{1,2}, {3,4}};

int b[2][2] = {{5,6}, {7,8}};

int (*p1)[2] = a;

int (*p2)[2] = b;

int (*q[2])[2] = {p1, p2}; 这样才是正确的定义！

printf("%d\n", *(*q[1]+1));

return 0;

}

但在tc2.0和bc3.1中提示非法初始化！

但把

int (*q[2])[2] = {p1, p2};

改成

int (*q[2])[2];

q[0] = p1;

q[1] = p2;

可以通过！

原因暂不清楚，估计是老旧的编译器不支持太复杂的定义！

其实最好的方法是使用typedef，简单明了，可读性大大提升！

#include stdio.h

int main(void)

{

typedef int (*PA)[2]; 使用typedef

int a[2][2] = {{1,2}, {3,4}};

int b[2][2] = {{5,6}, {7,8}};

int (*p1)[2] = a;

int (*p2)[2] = b;

PA q[2]= {p1, p2}; 这样可读性是否大大的增加？！

printf("%d\n", *(*q[1]+1));

return 0;

}

go语言 结构体作为返回值 传的是指针吗

这个是根据你值的内容来定的啊,看代码

type User struct {

Name string

}

//例1(返回指针）

func test1()*User{

return new(User) 

}

//例2（返回指针）

func test2()*User{

return User{}

}

//例3（返回值）

func test3()User{

return User{}

}

明白没有？

go语言结构体变量和结构体指针变量的区别

第二个程序，空间都没有分配就初始化赋值，这根本就是在给系统添乱嘛。

golang里面表示指针的*和&符号有什么区别

指针，或者说pointer是一串指向某个内存地址的字符串，所谓指向是指这串字符串的内容是内存地址的值

表示取地址，例如你有一个变量a那么a就是变量a在内存中的地址，对于golang，指针也是有类型的，比如如果a是一个string那么a是一个string的指针类型，在go里面叫string

所以你看到b := a，a，b是两个不同的变量，a是string类型，b是string类型，你用fmt去打印b，你会发现它是一串内存地址，而非a的值

所以为了拿到a的值，有个操作*，用来取出指针对应内存地址里存的值，所以当你fmt打印一下*b它会跟a一模一样

网站栏目：go语言指针,go语言指针运算
网页路径：http://myzitong.com/article/dsishgh.html