不知道你有沒有聽過這么一句：在使用 map 時盡量不要在 big map 中保存指針。好吧，你現(xiàn)在已經聽過了：）為什么呢？原因在于 Go 語言的垃圾回收器會掃描標記 map 中的所有元素，GC 開銷相當大，直接GG。
成都網站設計、成都做網站介紹好的網站是理念、設計和技術的結合。創(chuàng)新互聯(lián)建站擁有的網站設計理念、多方位的設計風格、經驗豐富的設計團隊。提供PC端+手機端網站建設，用營銷思維進行網站設計、采用先進技術開源代碼、注重用戶體驗與SEO基礎，將技術與創(chuàng)意整合到網站之中，以契合客戶的方式做到創(chuàng)意性的視覺化效果。
這兩天在《Mastering Go》中看到 GC 這一章節(jié)里面對比 map 和 slice 在垃圾回收中的效率對比，書中只給出結論沒有說明理由，這我是不能忍的，于是有了這篇學習筆記。扯那么多，Show Your Code
這是一個簡單的測試程序，保存字符串的 map 和 保存整形的 map GC 的效率相差幾十倍，是不是有同學會說明明保存的是 string 哪有指針？這個要說到 Go 語言中 string 的底層實現(xiàn)了，源碼在 src/runtime/string.go里，可以看到 string 其實包含一個指向數(shù)據(jù)的指針和一個長度字段。注意這里的是否包含指針，包括底層的實現(xiàn)。
Go 語言的 GC 會遞歸遍歷并標記所有可觸達的對象，標記完成之后將所有沒有引用的對象進行清理。掃描到指針就會往下接著尋找，一直到結束。
Go 語言中 map 是基于 數(shù)組和鏈表 的數(shù)據(jù)結構實現(xiàn)的，通過 優(yōu)化的拉鏈法 解決哈希沖突，每個 bucket 可以保存 8 對鍵值，在 8 個鍵值對數(shù)據(jù)后面有一個 overflow 指針，因為桶中最多只能裝 8 個鍵值對，如果有多余的鍵值對落到了當前桶，那么就需要再構建一個桶（稱為溢出桶），通過 overflow 指針鏈接起來。
因為 overflow 指針的緣故，所以無論 map 保存的是什么，GC 的時候就會把所有的 bmap 掃描一遍，帶來巨大的 GC 開銷。官方 issues 就有關于這個問題的討論， runtime: Large maps cause significant GC pauses #9477
無腦機翻如下：
如果我們有一個map [k] v，其中k和v都不包含指針，并且我們想提高掃描性能，則可以執(zhí)行以下操作。
將“ allOverflow [] unsafe.Pointer”添加到 hmap 并將所有溢出存儲桶存儲在其中。 然后將 bmap 標記為noScan。 這將使掃描非?？?，因為我們不會掃描任何用戶數(shù)據(jù)。
實際上，它將有些復雜，因為我們需要從allOverflow中刪除舊的溢出桶。 而且它還會增加 hmap 的大小，因此也可能需要重新整理數(shù)據(jù)。
最終官方在 hmap 中增加了 overflow 相關字段完成了上面的優(yōu)化，這是具體的 commit 地址。
下面看下具體是如何實現(xiàn)的，源碼基于 go1.15，src/cmd/compile/internal/gc/reflect.go 中
通過注釋可以看出，如果 map 中保存的鍵值都不包含指針（通過 Haspointers 判斷），就使用一個 uintptr 類型代替 bucket 的指針用于溢出桶 overflow 字段，uintptr 類型在 GO 語言中就是個大小可以保存得下指針的整數(shù)，不是指針，就相當于實現(xiàn)了 將 bmap 標記為 noScan， GC 的時候就不會遍歷完整個 map 了。隨著不斷的學習，愈發(fā)感慨 GO 語言中很多模塊設計得太精妙了。
差不多說清楚了，能力有限，有不對的地方歡迎留言討論，源碼位置還是問的群里大佬 _
Go語言里面的指針和C++指針一樣，都是指向某塊內存的地址值，可以解引用，不同只是在于C++里可以直接對指針做算術運算而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;
}
這個是根據(jù)你值的內容來定的啊,看代碼
type?User?struct?{
Name?string
}
//例1(返回指針）
func?test1()*User{
return?new(User)?
}
//例2（返回指針）
func?test2()*User{
return?User{}
}
//例3（返回值）
func?test3()User{
return?User{}
}
明白沒有？
第二個程序，空間都沒有分配就初始化賦值，這根本就是在給系統(tǒng)添亂嘛。
指針，或者說pointer是一串指向某個內存地址的字符串，所謂指向是指這串字符串的內容是內存地址的值
表示取地址，例如你有一個變量a那么a就是變量a在內存中的地址，對于golang，指針也是有類型的，比如如果a是一個string那么a是一個string的指針類型，在go里面叫string
所以你看到b := a，a，b是兩個不同的變量，a是string類型，b是string類型，你用fmt去打印b，你會發(fā)現(xiàn)它是一串內存地址，而非a的值
所以為了拿到a的值，有個操作*，用來取出指針對應內存地址里存的值，所以當你fmt打印一下*b它會跟a一模一樣
重慶分公司
重慶分公司
