為什么分析map
在計算機編程語言當中，用的最多的數據結構估計就是map。map以他近乎o(1)的查找效率和修改效率讓他在大多數場景下都比較受青睞。map的常規的實現方式都是hash+其他數據結構，如java是hash+紅黑樹，而我現在即將要分析的go的實現方式是hash+鏈表。我會分析map的幾乎每段代碼，并且在我的GitHub可以查看到我的分析，注釋十分詳盡，歡迎批評指正。我的打算是把一些常用的數據結構都分析一遍，如果有志同道合的人，可以聯系我。
我的環境
為了給那些感興趣看源碼分析我的博客的同學閱讀得更加清晰，列舉了我的環境： 1. go1.14.7 amd64； 2. windows和mac接口，linux沒有測試，估計沒問題 ； 3. goland,目前最好的golang ide，雖然筆者用起來感覺還是不太完美； 4. 著重分析map[string]string，其他類型的源碼變化不大 ；
本篇重點
1.go的map和java的map有區別，go中是一個關鍵字，而java確實可以直接查看源碼，那么如何分析go的map源碼？ 2.調試過程當中，go充斥著大量指針，如何知道指針指向的內容？map的最小單位bmap除了查看tophash，怎么查看里面的其他隱藏字段？ 3.go的map源碼為何給不同的key的類型設計不同的實現？ 4.其他一些查看源碼的小技巧：內存對齊、指針偏移、類型大小等等
如何找到map對應的源碼
go的map的結構體是hmap，代碼位于runtime/map.go,當編譯器編譯你申明使用map的源碼時候，其實是使用了runtime/map*.go,后面對map的增刪改查都是執行該代碼，故要弄懂map的底層原理只需要分析該源碼，也可以斷點調試。 我下面有個自己測試的源碼，注意我編譯之后查看，就可以發現端倪：
package mainimport "fmt"func main() {m1 := make(map[string]string)fmt.Println(m1)m2 := make(map[string]string, 8)fmt.Println(m2)m3 := make(map[string]string, 9)fmt.Println(m3)m4 := map[string]string{}fmt.Println(m4)m3["1"] = "2"for k, v := range m3 {fmt.Println(k)fmt.Println(v)}v1 := m3["1"]fmt.Println(v1)if v2, ok := m3["1"]; ok {fmt.Println(v2)}
}
上面代碼有幾種不同申明map的方式，對應runtime/map.go也不同。還有賦值和遍歷查找的代碼。 下面編譯得到匯編指令文件，執行
go tool compile -N -l -S main.go > main.txt生成了匯編指令文件:
"".main STEXT size=1891 args=0x0 locals=0x2880x0000 00000 (main.go:5) TEXT "".main(SB), ABIInternal, $648-00x0000 00000 (main.go:5) MOVQ TLS, CX0x0009 00009 (main.go:5) PCDATA $0, $-20x0009 00009 (main.go:5) MOVQ (CX)(TLS*2), CX0x0010 00016 (main.go:5) PCDATA $0, $-10x0010 00016 (main.go:5) LEAQ -520(SP), AX0x0018 00024 (main.go:5) CMPQ AX, 16(CX)0x001c 00028 (main.go:5) PCDATA $0, $-20x001c 00028 (main.go:5) JLS 18810x0022 00034 (main.go:5) PCDATA $0, $-10x0022 00034 (main.go:5) SUBQ $648, SP0x0029 00041 (main.go:5) MOVQ BP, 640(SP)0x0031 00049 (main.go:5) LEAQ 640(SP), BP0x0039 00057 (main.go:5) PCDATA $0, $-20x0039 00057 (main.go:5) PCDATA $1, $-20x0039 00057 (main.go:5) FUNCDATA $0, gclocals·ad6397d3d33bbb6a31b1320349e23274(SB)0x0039 00057 (main.go:5) FUNCDATA $1, gclocals·1bbf1965a34fa71a63e073b1cf2d752a(SB)0x0039 00057 (main.go:5) FUNCDATA $2, gclocals·658035074399f748be6dd39603d5113c(SB)0x0039 00057 (main.go:5) FUNCDATA $3, "".main.stkobj(SB)0x0039 00057 (main.go:6) PCDATA $0, $00x0039 00057 (main.go:6) PCDATA $1, $00x0039 00057 (main.go:6) CALL runtime.makemap_small(SB)0x003e 00062 (main.go:6) PCDATA $0, $10x003e 00062 (main.go:6) MOVQ (SP), AX0x0042 00066 (main.go:6) MOVQ AX, "".m1+80(SP)0x0047 00071 (main.go:7) PCDATA $0, $00x0047 00071 (main.go:7) PCDATA $1, $10x0047 00071 (main.go:7) MOVQ AX, ""..autotmp_10+200(SP)0x004f 00079 (main.go:7) PCDATA $1, $20x004f 00079 (main.go:7) XORPS X0, X00x0052 00082 (main.go:7) MOVUPS X0, ""..autotmp_9+272(SP)0x005a 00090 (main.go:7) PCDATA $0, $10x005a 00090 (main.go:7) PCDATA $1, $10x005a 00090 (main.go:7) LEAQ ""..autotmp_9+272(SP), AX0x0062 00098 (main.go:7) MOVQ AX, ""..autotmp_15+192(SP)0x006a 00106 (main.go:7) TESTB AL, (AX)0x006c 00108 (main.go:7) PCDATA $0, $20x006c 00108 (main.go:7) PCDATA $1, $00x006c 00108 (main.go:7) MOVQ ""..autotmp_10+200(SP), CX0x0074 00116 (main.go:7) PCDATA $0, $30x0074 00116 (main.go:7) LEAQ type.map[string]string(SB), DX0x007b 00123 (main.go:7) PCDATA $0, $20x007b 00123 (main.go:7) MOVQ DX, ""..autotmp_9+272(SP)0x0083 00131 (main.go:7) PCDATA $0, $10x0083 00131 (main.go:7) MOVQ CX, ""..autotmp_9+280(SP)0x008b 00139 (main.go:7) TESTB AL, (AX)0x008d 00141 (main.go:7) JMP 1430x008f 00143 (main.go:7) MOVQ AX, ""..autotmp_14+520(SP)0x0097 00151 (main.go:7) MOVQ $1, ""..autotmp_14+528(SP)0x00a3 00163 (main.go:7) MOVQ $1, ""..autotmp_14+536(SP)0x00af 00175 (main.go:7) PCDATA $0, $00x00af 00175 (main.go:7) MOVQ AX, (SP)0x00b3 00179 (main.go:7) MOVQ $1, 8(SP)0x00bc 00188 (main.go:7) MOVQ $1, 16(SP)0x00c5 00197 (main.go:7) CALL fmt.Println(SB)0x00ca 00202 (main.go:8) CALL runtime.makemap_small(SB)0x00cf 00207 (main.go:8) PCDATA $0, $10x00cf 00207 (main.go:8) MOVQ (SP), AX0x00d3 00211 (main.go:8) MOVQ AX, "".m2+72(SP)0x00d8 00216 (main.go:9) PCDATA $0, $00x00d8 00216 (main.go:9) PCDATA $1, $10x00d8 00216 (main.go:9) MOVQ AX, ""..autotmp_10+200(SP)0x00e0 00224 (main.go:9) PCDATA $1, $20x00e0 00224 (main.go:9) XORPS X0, X00x00e3 00227 (main.go:9) MOVUPS X0, ""..autotmp_9+272(SP)0x00eb 00235 (main.go:9) PCDATA $0, $10x00eb 00235 (main.go:9) PCDATA $1, $10x00eb 00235 (main.go:9) LEAQ ""..autotmp_9+272(SP), AX0x00f3 00243 (main.go:9) MOVQ AX, ""..autotmp_17+184(SP)0x00fb 00251 (main.go:9) TESTB AL, (AX)0x00fd 00253 (main.go:9) PCDATA $0, $20x00fd 00253 (main.go:9) PCDATA $1, $00x00fd 00253 (main.go:9) MOVQ ""..autotmp_10+200(SP), CX0x0105 00261 (main.go:9) PCDATA $0, $30x0105 00261 (main.go:9) LEAQ type.map[string]string(SB), DX0x010c 00268 (main.go:9) PCDATA $0, $20x010c 00268 (main.go:9) MOVQ DX, ""..autotmp_9+272(SP)0x0114 00276 (main.go:9) PCDATA $0, $10x0114 00276 (main.go:9) MOVQ CX, ""..autotmp_9+280(SP)0x011c 00284 (main.go:9) TESTB AL, (AX)0x011e 00286 (main.go:9) JMP 2880x0120 00288 (main.go:9) MOVQ AX, ""..autotmp_16+496(SP)0x0128 00296 (main.go:9) MOVQ $1, ""..autotmp_16+504(SP)0x0134 00308 (main.go:9) MOVQ $1, ""..autotmp_16+512(SP)0x0140 00320 (main.go:9) PCDATA $0, $00x0140 00320 (main.go:9) MOVQ AX, (SP)0x0144 00324 (main.go:9) MOVQ $1, 8(SP)0x014d 00333 (main.go:9) MOVQ $1, 16(SP)0x0156 00342 (main.go:9) CALL fmt.Println(SB)0x015b 00347 (main.go:10) PCDATA $0, $10x015b 00347 (main.go:10) LEAQ type.map[string]string(SB), AX0x0162 00354 (main.go:10) PCDATA $0, $00x0162 00354 (main.go:10) MOVQ AX, (SP)0x0166 00358 (main.go:10) MOVQ $9, 8(SP)0x016f 00367 (main.go:10) MOVQ $0, 16(SP)0x0178 00376 (main.go:10) CALL runtime.makemap(SB)0x017d 00381 (main.go:10) PCDATA $0, $10x017d 00381 (main.go:10) MOVQ 24(SP), AX0x0182 00386 (main.go:10) PCDATA $1, $30x0182 00386 (main.go:10) MOVQ AX, "".m3+64(SP)0x0187 00391 (main.go:11) PCDATA $0, $00x0187 00391 (main.go:11) PCDATA $1, $40x0187 00391 (main.go:11) MOVQ AX, ""..autotmp_10+200(SP)0x018f 00399 (main.go:11) PCDATA $1, $50x018f 00399 (main.go:11) XORPS X0, X00x0192 00402 (main.go:11) MOVUPS X0, ""..autotmp_9+272(SP)0x019a 00410 (main.go:11) PCDATA $0, $10x019a 00410 (main.go:11) PCDATA $1, $40x019a 00410 (main.go:11) LEAQ ""..autotmp_9+272(SP), AX0x01a2 00418 (main.go:11) MOVQ AX, ""..autotmp_19+176(SP)0x01aa 00426 (main.go:11) TESTB AL, (AX)0x01ac 00428 (main.go:11) PCDATA $0, $20x01ac 00428 (main.go:11) PCDATA $1, $30x01ac 00428 (main.go:11) MOVQ ""..autotmp_10+200(SP), CX0x01b4 00436 (main.go:11) PCDATA $0, $30x01b4 00436 (main.go:11) LEAQ type.map[string]string(SB), DX0x01bb 00443 (main.go:11) PCDATA $0, $20x01bb 00443 (main.go:11) MOVQ DX, ""..autotmp_9+272(SP)0x01c3 00451 (main.go:11) PCDATA $0, $10x01c3 00451 (main.go:11) MOVQ CX, ""..autotmp_9+280(SP)0x01cb 00459 (main.go:11) TESTB AL, (AX)0x01cd 00461 (main.go:11) JMP 4630x01cf 00463 (main.go:11) MOVQ AX, ""..autotmp_18+472(SP)0x01d7 00471 (main.go:11) MOVQ $1, ""..autotmp_18+480(SP)0x01e3 00483 (main.go:11) MOVQ $1, ""..autotmp_18+488(SP)0x01ef 00495 (main.go:11) PCDATA $0, $00x01ef 00495 (main.go:11) MOVQ AX, (SP)0x01f3 00499 (main.go:11) MOVQ $1, 8(SP)0x01fc 00508 (main.go:11) MOVQ $1, 16(SP)0x0205 00517 (main.go:11) CALL fmt.Println(SB)0x020a 00522 (main.go:12) CALL runtime.makemap_small(SB)0x020f 00527 (main.go:12) PCDATA $0, $10x020f 00527 (main.go:12) MOVQ (SP), AX0x0213 00531 (main.go:12) PCDATA $0, $00x0213 00531 (main.go:12) PCDATA $1, $60x0213 00531 (main.go:12) MOVQ AX, "".m4+56(SP)0x0218 00536 (main.go:13) PCDATA $0, $10x0218 00536 (main.go:13) PCDATA $1, $30x0218 00536 (main.go:13) MOVQ "".m4+56(SP), AX0x021d 00541 (main.go:13) PCDATA $0, $00x021d 00541 (main.go:13) PCDATA $1, $40x021d 00541 (main.go:13) MOVQ AX, ""..autotmp_10+200(SP)0x0225 00549 (main.go:13) PCDATA $1, $50x0225 00549 (main.go:13) XORPS X0, X00x0228 00552 (main.go:13) MOVUPS X0, ""..autotmp_9+272(SP)0x0230 00560 (main.go:13) PCDATA $0, $10x0230 00560 (main.go:13) PCDATA $1, $40x0230 00560 (main.go:13) LEAQ ""..autotmp_9+272(SP), AX0x0238 00568 (main.go:13) MOVQ AX, ""..autotmp_23+168(SP)0x0240 00576 (main.go:13) TESTB AL, (AX)0x0242 00578 (main.go:13) PCDATA $0, $20x0242 00578 (main.go:13) PCDATA $1, $30x0242 00578 (main.go:13) MOVQ ""..autotmp_10+200(SP), CX0x024a 00586 (main.go:13) PCDATA $0, $30x024a 00586 (main.go:13) LEAQ type.map[string]string(SB), DX0x0251 00593 (main.go:13) PCDATA $0, $20x0251 00593 (main.go:13) MOVQ DX, ""..autotmp_9+272(SP)0x0259 00601 (main.go:13) PCDATA $0, $10x0259 00601 (main.go:13) MOVQ CX, ""..autotmp_9+280(SP)0x0261 00609 (main.go:13) TESTB AL, (AX)0x0263 00611 (main.go:13) JMP 6130x0265 00613 (main.go:13) MOVQ AX, ""..autotmp_22+448(SP)0x026d 00621 (main.go:13) MOVQ $1, ""..autotmp_22+456(SP)0x0279 00633 (main.go:13) MOVQ $1, ""..autotmp_22+464(SP)0x0285 00645 (main.go:13) PCDATA $0, $00x0285 00645 (main.go:13) MOVQ AX, (SP)0x0289 00649 (main.go:13) MOVQ $1, 8(SP)0x0292 00658 (main.go:13) MOVQ $1, 16(SP)0x029b 00667 (main.go:13) CALL fmt.Println(SB)0x02a0 00672 (main.go:14) PCDATA $0, $10x02a0 00672 (main.go:14) LEAQ type.map[string]string(SB), AX0x02a7 00679 (main.go:14) PCDATA $0, $00x02a7 00679 (main.go:14) MOVQ AX, (SP)0x02ab 00683 (main.go:14) PCDATA $0, $10x02ab 00683 (main.go:14) MOVQ "".m3+64(SP), AX0x02b0 00688 (main.go:14) PCDATA $0, $00x02b0 00688 (main.go:14) MOVQ AX, 8(SP)0x02b5 00693 (main.go:14) PCDATA $0, $10x02b5 00693 (main.go:14) LEAQ go.string."1"(SB), AX0x02bc 00700 (main.go:14) PCDATA $0, $00x02bc 00700 (main.go:14) MOVQ AX, 16(SP)0x02c1 00705 (main.go:14) MOVQ $1, 24(SP)0x02ca 00714 (main.go:14) CALL runtime.mapassign_faststr(SB)0x02cf 00719 (main.go:14) PCDATA $0, $40x02cf 00719 (main.go:14) MOVQ 32(SP), DI0x02d4 00724 (main.go:14) MOVQ DI, ""..autotmp_24+160(SP)0x02dc 00732 (main.go:14) TESTB AL, (DI)0x02de 00734 (main.go:14) MOVQ $1, 8(DI)0x02e6 00742 (main.go:14) PCDATA $0, $-20x02e6 00742 (main.go:14) PCDATA $1, $-20x02e6 00742 (main.go:14) CMPL runtime.writeBarrier(SB), $00x02ed 00749 (main.go:14) JEQ 7560x02ef 00751 (main.go:14) JMP 18640x02f4 00756 (main.go:14) LEAQ go.string."2"(SB), AX0x02fb 00763 (main.go:14) MOVQ AX, (DI)0x02fe 00766 (main.go:14) JMP 7680x0300 00768 (main.go:15) PCDATA $0, $10x0300 00768 (main.go:15) PCDATA $1, $30x0300 00768 (main.go:15) MOVQ "".m3+64(SP), AX0x0305 00773 (main.go:15) PCDATA $0, $00x0305 00773 (main.go:15) PCDATA $1, $40x0305 00773 (main.go:15) MOVQ AX, ""..autotmp_10+200(SP)0x030d 00781 (main.go:15) PCDATA $0, $40x030d 00781 (main.go:15) PCDATA $1, $70x030d 00781 (main.go:15) LEAQ ""..autotmp_11+544(SP), DI0x0315 00789 (main.go:15) XORPS X0, X00x0318 00792 (main.go:15) PCDATA $0, $00x0318 00792 (main.go:15) LEAQ -32(DI), DI0x031c 00796 (main.go:15) DUFFZERO $2730x032f 00815 (main.go:15) PCDATA $0, $10x032f 00815 (main.go:15) LEAQ type.map[string]string(SB), AX0x0336 00822 (main.go:15) PCDATA $0, $00x0336 00822 (main.go:15) MOVQ AX, (SP)0x033a 00826 (main.go:15) PCDATA $0, $10x033a 00826 (main.go:15) PCDATA $1, $80x033a 00826 (main.go:15) MOVQ ""..autotmp_10+200(SP), AX0x0342 00834 (main.go:15) PCDATA $0, $00x0342 00834 (main.go:15) MOVQ AX, 8(SP)0x0347 00839 (main.go:15) PCDATA $0, $10x0347 00839 (main.go:15) LEAQ ""..autotmp_11+544(SP), AX0x034f 00847 (main.go:15) PCDATA $0, $00x034f 00847 (main.go:15) MOVQ AX, 16(SP)0x0354 00852 (main.go:15) CALL runtime.mapiterinit(SB)0x0359 00857 (main.go:15) JMP 8590x035b 00859 (main.go:15) CMPQ ""..autotmp_11+544(SP), $00x0364 00868 (main.go:15) JNE 8750x0366 00870 (main.go:15) JMP 13290x036b 00875 (main.go:15) PCDATA $0, $10x036b 00875 (main.go:15) MOVQ ""..autotmp_11+552(SP), AX0x0373 00883 (main.go:15) TESTB AL, (AX)0x0375 00885 (main.go:15) MOVQ 8(AX), CX0x0379 00889 (main.go:15) MOVQ (AX), AX0x037c 00892 (main.go:15) PCDATA $0, $00x037c 00892 (main.go:15) PCDATA $1, $90x037c 00892 (main.go:15) MOVQ AX, ""..autotmp_25+288(SP)0x0384 00900 (main.go:15) MOVQ CX, ""..autotmp_25+296(SP)0x038c 00908 (main.go:15) PCDATA $0, $10x038c 00908 (main.go:15) MOVQ ""..autotmp_11+544(SP), AX0x0394 00916 (main.go:15) TESTB AL, (AX)0x0396 00918 (main.go:15) MOVQ 8(AX), CX0x039a 00922 (main.go:15) MOVQ (AX), AX0x039d 00925 (main.go:15) PCDATA $0, $00x039d 00925 (main.go:15) PCDATA $1, $100x039d 00925 (main.go:15) MOVQ AX, "".k+256(SP)0x03a5 00933 (main.go:15) MOVQ CX, "".k+264(SP)0x03ad 00941 (main.go:15) MOVQ ""..autotmp_25+296(SP), AX0x03b5 00949 (main.go:15) PCDATA $0, $50x03b5 00949 (main.go:15) PCDATA $1, $110x03b5 00949 (main.go:15) MOVQ ""..autotmp_25+288(SP), CX0x03bd 00957 (main.go:15) PCDATA $0, $00x03bd 00957 (main.go:15) PCDATA $1, $120x03bd 00957 (main.go:15) MOVQ CX, "".v+240(SP)0x03c5 00965 (main.go:15) MOVQ AX, "".v+248(SP)0x03cd 00973 (main.go:16) MOVQ "".k+264(SP), AX0x03d5 00981 (main.go:16) PCDATA $0, $50x03d5 00981 (main.go:16) PCDATA $1, $130x03d5 00981 (main.go:16) MOVQ "".k+256(SP), CX0x03dd 00989 (main.go:16) PCDATA $0, $00x03dd 00989 (main.go:16) MOVQ CX, (SP)0x03e1 00993 (main.go:16) MOVQ AX, 8(SP)0x03e6 00998 (main.go:16) CALL runtime.convTstring(SB)0x03eb 01003 (main.go:16) PCDATA $0, $10x03eb 01003 (main.go:16) MOVQ 16(SP), AX0x03f0 01008 (main.go:16) PCDATA $0, $00x03f0 01008 (main.go:16) PCDATA $1, $140x03f0 01008 (main.go:16) MOVQ AX, ""..autotmp_26+152(SP)0x03f8 01016 (main.go:16) PCDATA $1, $150x03f8 01016 (main.go:16) XORPS X0, X00x03fb 01019 (main.go:16) MOVUPS X0, ""..autotmp_9+272(SP)0x0403 01027 (main.go:16) PCDATA $0, $10x0403 01027 (main.go:16) PCDATA $1, $140x0403 01027 (main.go:16) LEAQ ""..autotmp_9+272(SP), AX0x040b 01035 (main.go:16) MOVQ AX, ""..autotmp_28+144(SP)0x0413 01043 (main.go:16) TESTB AL, (AX)0x0415 01045 (main.go:16) PCDATA $0, $20x0415 01045 (main.go:16) PCDATA $1, $130x0415 01045 (main.go:16) MOVQ ""..autotmp_26+152(SP), CX0x041d 01053 (main.go:16) PCDATA $0, $30x041d 01053 (main.go:16) LEAQ type.string(SB), DX0x0424 01060 (main.go:16) PCDATA $0, $20x0424 01060 (main.go:16) MOVQ DX, ""..autotmp_9+272(SP)0x042c 01068 (main.go:16) PCDATA $0, $10x042c 01068 (main.go:16) MOVQ CX, ""..autotmp_9+280(SP)0x0434 01076 (main.go:16) TESTB AL, (AX)0x0436 01078 (main.go:16) JMP 10800x0438 01080 (main.go:16) MOVQ AX, ""..autotmp_27+424(SP)0x0440 01088 (main.go:16) MOVQ $1, ""..autotmp_27+432(SP)0x044c 01100 (main.go:16) MOVQ $1, ""..autotmp_27+440(SP)0x0458 01112 (main.go:16) PCDATA $0, $00x0458 01112 (main.go:16) MOVQ AX, (SP)0x045c 01116 (main.go:16) MOVQ $1, 8(SP)0x0465 01125 (main.go:16) MOVQ $1, 16(SP)0x046e 01134 (main.go:16) CALL fmt.Println(SB)0x0473 01139 (main.go:17) MOVQ "".v+248(SP), AX0x047b 01147 (main.go:17) PCDATA $0, $50x047b 01147 (main.go:17) PCDATA $1, $80x047b 01147 (main.go:17) MOVQ "".v+240(SP), CX0x0483 01155 (main.go:17) PCDATA $0, $00x0483 01155 (main.go:17) MOVQ CX, (SP)0x0487 01159 (main.go:17) MOVQ AX, 8(SP)0x048c 01164 (main.go:17) CALL runtime.convTstring(SB)0x0491 01169 (main.go:17) PCDATA $0, $10x0491 01169 (main.go:17) MOVQ 16(SP), AX0x0496 01174 (main.go:17) PCDATA $0, $00x0496 01174 (main.go:17) PCDATA $1, $160x0496 01174 (main.go:17) MOVQ AX, ""..autotmp_29+136(SP)0x049e 01182 (main.go:17) PCDATA $1, $170x049e 01182 (main.go:17) XORPS X0, X00x04a1 01185 (main.go:17) MOVUPS X0, ""..autotmp_9+272(SP)0x04a9 01193 (main.go:17) PCDATA $0, $10x04a9 01193 (main.go:17) PCDATA $1, $160x04a9 01193 (main.go:17) LEAQ ""..autotmp_9+272(SP), AX0x04b1 01201 (main.go:17) MOVQ AX, ""..autotmp_31+128(SP)0x04b9 01209 (main.go:17) TESTB AL, (AX)0x04bb 01211 (main.go:17) PCDATA $0, $20x04bb 01211 (main.go:17) PCDATA $1, $80x04bb 01211 (main.go:17) MOVQ ""..autotmp_29+136(SP), CX0x04c3 01219 (main.go:17) PCDATA $0, $30x04c3 01219 (main.go:17) LEAQ type.string(SB), DX0x04ca 01226 (main.go:17) PCDATA $0, $20x04ca 01226 (main.go:17) MOVQ DX, ""..autotmp_9+272(SP)0x04d2 01234 (main.go:17) PCDATA $0, $10x04d2 01234 (main.go:17) MOVQ CX, ""..autotmp_9+280(SP)0x04da 01242 (main.go:17) TESTB AL, (AX)0x04dc 01244 (main.go:17) JMP 12460x04de 01246 (main.go:17) MOVQ AX, ""..autotmp_30+400(SP)0x04e6 01254 (main.go:17) MOVQ $1, ""..autotmp_30+408(SP)0x04f2 01266 (main.go:17) MOVQ $1, ""..autotmp_30+416(SP)0x04fe 01278 (main.go:17) PCDATA $0, $00x04fe 01278 (main.go:17) MOVQ AX, (SP)0x0502 01282 (main.go:17) MOVQ $1, 8(SP)0x050b 01291 (main.go:17) MOVQ $1, 16(SP)0x0514 01300 (main.go:17) CALL fmt.Println(SB)0x0519 01305 (main.go:17) JMP 13070x051b 01307 (main.go:15) PCDATA $0, $10x051b 01307 (main.go:15) LEAQ ""..autotmp_11+544(SP), AX0x0523 01315 (main.go:15) PCDATA $0, $00x0523 01315 (main.go:15) MOVQ AX, (SP)0x0527 01319 (main.go:15) CALL runtime.mapiternext(SB)0x052c 01324 (main.go:15) JMP 8590x0531 01329 (main.go:19) PCDATA $0, $10x0531 01329 (main.go:19) PCDATA $1, $30x0531 01329 (main.go:19) LEAQ type.map[string]string(SB), AX0x0538 01336 (main.go:19) PCDATA $0, $00x0538 01336 (main.go:19) MOVQ AX, (SP)0x053c 01340 (main.go:19) PCDATA $0, $10x053c 01340 (main.go:19) MOVQ "".m3+64(SP), AX0x0541 01345 (main.go:19) PCDATA $0, $00x0541 01345 (main.go:19) MOVQ AX, 8(SP)0x0546 01350 (main.go:19) PCDATA $0, $10x0546 01350 (main.go:19) LEAQ go.string."1"(SB), AX0x054d 01357 (main.go:19) PCDATA $0, $00x054d 01357 (main.go:19) MOVQ AX, 16(SP)0x0552 01362 (main.go:19) MOVQ $1, 24(SP)0x055b 01371 (main.go:19) CALL runtime.mapaccess1_faststr(SB)0x0560 01376 (main.go:19) PCDATA $0, $10x0560 01376 (main.go:19) MOVQ 32(SP), AX0x0565 01381 (main.go:19) PCDATA $0, $20x0565 01381 (main.go:19) MOVQ (AX), CX0x0568 01384 (main.go:19) PCDATA $0, $50x0568 01384 (main.go:19) MOVQ 8(AX), AX0x056c 01388 (main.go:19) MOVQ CX, "".v1+224(SP)0x0574 01396 (main.go:19) MOVQ AX, "".v1+232(SP)0x057c 01404 (main.go:20) PCDATA $0, $00x057c 01404 (main.go:20) MOVQ CX, (SP)0x0580 01408 (main.go:20) MOVQ AX, 8(SP)0x0585 01413 (main.go:20) CALL runtime.convTstring(SB)0x058a 01418 (main.go:20) PCDATA $0, $10x058a 01418 (main.go:20) MOVQ 16(SP), AX0x058f 01423 (main.go:20) PCDATA $0, $00x058f 01423 (main.go:20) PCDATA $1, $180x058f 01423 (main.go:20) MOVQ AX, ""..autotmp_32+120(SP)0x0594 01428 (main.go:20) PCDATA $1, $190x0594 01428 (main.go:20) XORPS X0, X00x0597 01431 (main.go:20) MOVUPS X0, ""..autotmp_9+272(SP)0x059f 01439 (main.go:20) PCDATA $0, $10x059f 01439 (main.go:20) PCDATA $1, $180x059f 01439 (main.go:20) LEAQ ""..autotmp_9+272(SP), AX0x05a7 01447 (main.go:20) MOVQ AX, ""..autotmp_34+112(SP)0x05ac 01452 (main.go:20) TESTB AL, (AX)0x05ae 01454 (main.go:20) PCDATA $0, $20x05ae 01454 (main.go:20) PCDATA $1, $30x05ae 01454 (main.go:20) MOVQ ""..autotmp_32+120(SP), CX0x05b3 01459 (main.go:20) PCDATA $0, $30x05b3 01459 (main.go:20) LEAQ type.string(SB), DX0x05ba 01466 (main.go:20) PCDATA $0, $20x05ba 01466 (main.go:20) MOVQ DX, ""..autotmp_9+272(SP)0x05c2 01474 (main.go:20) PCDATA $0, $10x05c2 01474 (main.go:20) MOVQ CX, ""..autotmp_9+280(SP)0x05ca 01482 (main.go:20) TESTB AL, (AX)0x05cc 01484 (main.go:20) JMP 14860x05ce 01486 (main.go:20) MOVQ AX, ""..autotmp_33+376(SP)0x05d6 01494 (main.go:20) MOVQ $1, ""..autotmp_33+384(SP)0x05e2 01506 (main.go:20) MOVQ $1, ""..autotmp_33+392(SP)0x05ee 01518 (main.go:20) PCDATA $0, $00x05ee 01518 (main.go:20) MOVQ AX, (SP)0x05f2 01522 (main.go:20) MOVQ $1, 8(SP)0x05fb 01531 (main.go:20) MOVQ $1, 16(SP)0x0604 01540 (main.go:20) CALL fmt.Println(SB)0x0609 01545 (main.go:21) XORPS X0, X00x060c 01548 (main.go:21) MOVUPS X0, ""..autotmp_12+336(SP)0x0614 01556 (main.go:21) PCDATA $0, $10x0614 01556 (main.go:21) LEAQ type.map[string]string(SB), AX0x061b 01563 (main.go:21) PCDATA $0, $00x061b 01563 (main.go:21) MOVQ AX, (SP)0x061f 01567 (main.go:21) PCDATA $0, $10x061f 01567 (main.go:21) PCDATA $1, $00x061f 01567 (main.go:21) MOVQ "".m3+64(SP), AX0x0624 01572 (main.go:21) PCDATA $0, $00x0624 01572 (main.go:21) MOVQ AX, 8(SP)0x0629 01577 (main.go:21) PCDATA $0, $10x0629 01577 (main.go:21) LEAQ go.string."1"(SB), AX0x0630 01584 (main.go:21) PCDATA $0, $00x0630 01584 (main.go:21) MOVQ AX, 16(SP)0x0635 01589 (main.go:21) MOVQ $1, 24(SP)0x063e 01598 (main.go:21) CALL runtime.mapaccess2_faststr(SB)0x0643 01603 (main.go:21) PCDATA $0, $10x0643 01603 (main.go:21) MOVQ 32(SP), AX0x0648 01608 (main.go:21) PCDATA $0, $00x0648 01608 (main.go:21) PCDATA $1, $200x0648 01608 (main.go:21) MOVQ AX, ""..autotmp_35+104(SP)0x064d 01613 (main.go:21) MOVBLZX 40(SP), AX0x0652 01618 (main.go:21) MOVB AL, ""..autotmp_13+55(SP)0x0656 01622 (main.go:21) PCDATA $0, $10x0656 01622 (main.go:21) PCDATA $1, $00x0656 01622 (main.go:21) MOVQ ""..autotmp_35+104(SP), AX0x065b 01627 (main.go:21) MOVQ 8(AX), CX0x065f 01631 (main.go:21) MOVQ (AX), AX0x0662 01634 (main.go:21) MOVQ AX, ""..autotmp_12+336(SP)0x066a 01642 (main.go:21) MOVQ CX, ""..autotmp_12+344(SP)0x0672 01650 (main.go:21) PCDATA $0, $00x0672 01650 (main.go:21) PCDATA $1, $210x0672 01650 (main.go:21) MOVQ AX, "".v2+208(SP)0x067a 01658 (main.go:21) MOVQ CX, "".v2+216(SP)0x0682 01666 (main.go:21) MOVBLZX ""..autotmp_13+55(SP), AX0x0687 01671 (main.go:21) MOVB AL, "".ok+54(SP)0x068b 01675 (main.go:21) CMPB "".ok+54(SP), $00x0690 01680 (main.go:21) JNE 16870x0692 01682 (main.go:21) JMP 18620x0697 01687 (main.go:22) MOVQ "".v2+216(SP), AX0x069f 01695 (main.go:22) PCDATA $0, $50x069f 01695 (main.go:22) PCDATA $1, $00x069f 01695 (main.go:22) MOVQ "".v2+208(SP), CX0x06a7 01703 (main.go:22) PCDATA $0, $00x06a7 01703 (main.go:22) MOVQ CX, (SP)0x06ab 01707 (main.go:22) MOVQ AX, 8(SP)0x06b0 01712 (main.go:22) CALL runtime.convTstring(SB)0x06b5 01717 (main.go:22) PCDATA $0, $10x06b5 01717 (main.go:22) MOVQ 16(SP), AX0x06ba 01722 (main.go:22) PCDATA $0, $00x06ba 01722 (main.go:22) PCDATA $1, $220x06ba 01722 (main.go:22) MOVQ AX, ""..autotmp_36+96(SP)0x06bf 01727 (main.go:22) PCDATA $1, $230x06bf 01727 (main.go:22) XORPS X0, X00x06c2 01730 (main.go:22) MOVUPS X0, ""..autotmp_9+272(SP)0x06ca 01738 (main.go:22) PCDATA $0, $10x06ca 01738 (main.go:22) PCDATA $1, $220x06ca 01738 (main.go:22) LEAQ ""..autotmp_9+272(SP), AX0x06d2 01746 (main.go:22) MOVQ AX, ""..autotmp_38+88(SP)0x06d7 01751 (main.go:22) TESTB AL, (AX)0x06d9 01753 (main.go:22) PCDATA $0, $20x06d9 01753 (main.go:22) PCDATA $1, $00x06d9 01753 (main.go:22) MOVQ ""..autotmp_36+96(SP), CX0x06de 01758 (main.go:22) PCDATA $0, $30x06de 01758 (main.go:22) LEAQ type.string(SB), DX0x06e5 01765 (main.go:22) PCDATA $0, $20x06e5 01765 (main.go:22) MOVQ DX, ""..autotmp_9+272(SP)0x06ed 01773 (main.go:22) PCDATA $0, $10x06ed 01773 (main.go:22) MOVQ CX, ""..autotmp_9+280(SP)0x06f5 01781 (main.go:22) TESTB AL, (AX)0x06f7 01783 (main.go:22) JMP 17850x06f9 01785 (main.go:22) MOVQ AX, ""..autotmp_37+352(SP)0x0701 01793 (main.go:22) MOVQ $1, ""..autotmp_37+360(SP)0x070d 01805 (main.go:22) MOVQ $1, ""..autotmp_37+368(SP)0x0719 01817 (main.go:22) PCDATA $0, $00x0719 01817 (main.go:22) MOVQ AX, (SP)0x071d 01821 (main.go:22) MOVQ $1, 8(SP)0x0726 01830 (main.go:22) MOVQ $1, 16(SP)0x072f 01839 (main.go:22) CALL fmt.Println(SB)0x0734 01844 (main.go:22) JMP 18460x0736 01846 (<unknown line number>) PCDATA $0, $-10x0736 01846 (<unknown line number>) PCDATA $1, $-10x0736 01846 (<unknown line number>) MOVQ 640(SP), BP0x073e 01854 (<unknown line number>) ADDQ $648, SP0x0745 01861 (<unknown line number>) RET0x0746 01862 (main.go:21) JMP 18460x0748 01864 (main.go:14) PCDATA $0, $-20x0748 01864 (main.go:14) PCDATA $1, $-20x0748 01864 (main.go:14) LEAQ go.string."2"(SB), AX0x074f 01871 (main.go:14) CALL runtime.gcWriteBarrier(SB)0x0754 01876 (main.go:14) JMP 7680x0759 01881 (main.go:14) NOP0x0759 01881 (main.go:5) PCDATA $1, $-10x0759 01881 (main.go:5) PCDATA $0, $-20x0759 01881 (main.go:5) CALL runtime.morestack_noctxt(SB)0x075e 01886 (main.go:5) PCDATA $0, $-10x075e 01886 (main.go:5) JMP 0東西有點多，但是我們只分析幾個重點 - main.go的第6行、第8行和第12行的map申明分別對應著main.txt23行、57行和132行，都是調用的runtime.makemap_small方法 - main.go的第10行對應著main.txt的97行runtime.makemap方法 - main.go的第14行的賦值對應著main.txt的184行runtime.mapassign_faststr方法 - main.go的第15行的循環對應著main.txt第224行的runtime.mapiterinit方法初始化得到迭代器 - main.go的第19行和第21行分別對著main.txt2個不同的方法runtime.mapaccess1_faststr和runtime.mapaccess2_faststr
runtime/map.go的方法包括上面列舉的方法：runtime.makemap_small、runtime.makemap和runtime.mapiterinit方法
由于我的示例代碼的map的key是string類型，故runtime.mapassign_faststr、runtime.mapaccess1_faststr和runtime.mapaccess2_faststr方法在runtime/map_faststr.go代碼里面，該文件優化了string類型的key的操作：
go的map對應的結構體hmap
go的map的基礎結構體是hmap,在runtime/map.go中，
// A header for a Go map.
type hmap struct {// Note: the format of the hmap is also encoded in cmd/compile/internal/gc/reflect.go.// Make sure this stays in sync with the compiler's definition.// map存儲的鍵值對個數count int // # live cells == size of map. Must be first (used by len() builtin)// 表示map的一些標志位flags uint8// map的桶的2的對數就是B值B uint8 // log_2 of # of buckets (can hold up to loadFactor * 2^B items)// 溢出桶個數，是個近似數，不完全相等noverflow uint16 // approximate number of overflow buckets; see incrnoverflow for details// hash種子hash0 uint32 // hash seed// 桶，真正存數據的地方，2^B個桶buckets unsafe.Pointer // array of 2^B Buckets. may be nil if count==0.// 保存一些即將遷移的桶oldbuckets unsafe.Pointer // previous bucket array of half the size, non-nil only when growing// 從oldbuckets遷移到新的buckets的進度nevacuate uintptr // progress counter for evacuation (buckets less than this have been evacuated)// 當key不是指針類型的數據的時候，里面會存溢出桶，這樣會避免go的掃描extra *mapextra // optional fields
}
既然是map結構體，為何注釋說是一個header呢？這是因為buckets和oldbuckets這2個字段并沒有真正存取數據，只是存了一個指針，指向存取buckets的地址，故我們在使用過程中拷貝hmap的時候，并沒有真正拷貝map的數據，只是拷貝了hmap這個結構體的一些數據。 在看看hmap的字段mapextra:
// mapextra holds fields that are not present on all maps.
type mapextra struct {// If both key and elem do not contain pointers and are inline, then we mark bucket// 如果key和value都不包括指針并且內斂，然后我們就標記bucket沒有指針// type as containing no pointers. This avoids scanning such maps.// 這樣會避免gc掃描// However, bmap.overflow is a pointer. In order to keep overflow buckets// 但是，雖然key和value不包括指針，但是逸出桶卻是個指針，為了讓逸出桶一直// alive, we store pointers to all overflow buckets in hmap.extra.overflow and hmap.extra.oldoverflow.// 存在，所以就把逸出桶和需要遷移的逸出桶的指針存到hamp的extra字段里面// overflow and oldoverflow are only used if key and elem do not contain pointers.// 如果key和elme包含指針，overflow和oldoverflow就不會被使用了// overflow contains overflow buckets for hmap.buckets.// oldoverflow contains overflow buckets for hmap.oldbuckets.// The indirection allows to store a pointer to the slice in hiter.overflow *[]*bmapoldoverflow *[]*bmap// nextOverflow holds a pointer to a free overflow bucket.nextOverflow *bmap
}
如mapextra結構體為啥說有些字段并不會在所有map里面全部都有呢？mapextra是一個為了優化bucket而設計的，當key或value是指針的時候，此時overflow和oldoverflow就不會被使用，只有nextOverflow會被使用，該字段保存了預先申請的逸出桶，在沒有發生擴容的時候，而一個桶或者說bmap的8個tophash都被使用完了，那么就要考慮使用逸出桶。 當key和value都沒有指針的時候bucket的bmap的_type的ptrdata就是0，意味著該結構體是沒有指針的，申請bmap內存的時候，會申請一個沒有指針的span，這樣會避免gc掃描該內存，會提高效率，但是bmap的最后一個內存塊是確確實實存放指針的，所以用uintptr存儲著該map的逸出桶的地址，但是由于沒有指向下一個逸出桶，可能會被gc回收掉，所以就需要overflow存取指向該逸出桶的指針避免被gc回收掉。 overflow和oldoverflow的用處差不多，只是oldoverflow為了遷移使用，后面的系列會詳說。
bucket的結構體bmap
bmap就是真正存數據的結構體了,bmap在源碼中定義十分簡單：
// A bucket for a Go map.
type bmap struct {// tophash generally contains the top byte of the hash value// for each key in this bucket. If tophash[0] < minTopHash,// tophash[0] is a bucket evacuation state instead.tophash [bucketCnt]uint8// Followed by bucketCnt keys and then bucketCnt elems.// NOTE: packing all the keys together and then all the elems together makes the// code a bit more complicated than alternating key/elem/key/elem/... but it allows// us to eliminate padding which would be needed for, e.g., map[int64]int8.// Followed by an overflow pointer.
}
但其實真正的在內存中分配的結構體是這樣的：
// A bucket for a Go map.
type bmap struct {// tophash generally contains the top byte of the hash value// for each key in this bucket. If tophash[0] < minTopHash,// tophash[0] is a bucket evacuation state instead.tophash [bucketCnt]uint8keys [bucketCnt]string // 由于我舉例的key是string，故我這里寫stringvalues [bucketCnt]string // 由于上面我的例子的value的類型是string，故這里也是stringpointer unsafe.pointer // 由于key和value都是指針，所以這里是一個指針// Followed by bucketCnt keys and then bucketCnt elems.// NOTE: packing all the keys together and then all the elems together makes the// code a bit more complicated than alternating key/elem/key/elem/... but it allows// us to eliminate padding which would be needed for, e.g., map[int64]int8.// Followed by an overflow pointer.
}
隱藏的字段在map源碼中都是靠地址偏移來得到，tophash我們能輕易找到位置，但是如何找到keys、values和pointer呢？ 在map中是這么做的：
dataOffset = unsafe.Offsetof(struct {b bmapv int64}{}.v)
在64位機器上，需要對齊8個字節，這里int64正好也是8個字節，所以恰好解決內存對齊的問題，找到v的起始地址也就是values的起始地址:
dataOffset+bucketCnt*2*sys.PtrSize // string16個字節，相當于2個指針，bucketCnt等于8
pointer的起始地址
dataOffset+bucketCnt*2*sys.PtrSize+sys.PtrSize
tophash存的是key的hash高8位，為了方便查找key，為什么keys和values分別存在一堆呢？不是k|v|k|v這種呢？由于key和value的變量類型可能不一樣，對齊系數不一致，可能導致內存不緊湊而浪費內存，所以把8個keys存到一堆，8個values存到一堆，然后最后在pointer之前對齊就可以了。所以此時也能算出來整個bmap的大小:
bucketCnt*(uint8的字節為1)+bucketCnt*(string的字節16)+bucketCnt*(string的字節16)+指針大小8字節 = 272在真正調試的時候如查看bucket里面的具體的key和value呢？這里給大家展示一個小技巧，如果大家有其他方法，可以留言討論：
type dmap struct {tophash [bucketCnt]uint8debugKeys [bucketCnt]stringdebugElems [bucketCnt]string//debugOverflows unsafe.PointerdebugOverflows uintptr
}
這是我定義的調試結構體，將該代碼和bmap的結構體放到一堆，當你獲取到bmap桶的地址的時候，就可以如下轉換，就可以查看bmap的具體值了：
b0 := (*dmap)(add(buckets, uintptr(0)*uintptr(t.bucketsize)))println(b0.debugOverflows)
buckets假設是桶數組的起始地址，加上bucketsize就會得到第二個桶的起始地址，然后直接轉型為*dmap,最后你可以可以打印出來你想查看的真實的值了。
map的整體結構
如果申請內存桶的時候又多余的溢出桶，那么mapextra的nextOverflow就會指向[]bmap其中的某塊桶的地址，地址后之后的桶都是溢出桶。在一個桶裝不下的時候，會去溢出桶拿桶然后bmap的overflow指向溢出桶。
總結
上面大概介紹了map的數據結構，后面系列map的具體代碼分析，包括增、刪、改、查、擴容等都會分篇細解，如有不足之處，請共同討論學習。
