一、go語言內存布局

想象一下，你有一個如下的結構體。

那么這個結構體究竟是什么呢？ 從根本上說，它描述了如何在內存中布局數據。 這是什么意思？編譯器又是如何展現出來呢？ 我們來看一下。 首先讓我們使用反射來檢查結構中的字段。

二、反射之上

下面是一些使用反射來找出字段大小及其偏移量（它們相對于結構的開始位于內存中的位置）的代碼。 反射可以告訴我們編譯器是怎么看待類型（包括結構）的。

除了每個字段的偏移和大小，我還打印了每個字段的對齊方式，我稍后會解釋。結果如下：

aByte是我們結構體中的第一個字段，偏移量為0.它使用1字節的內存。

aShort是第二個字段。它使用2字節的內存。奇怪的是偏移量是2。這是為什么呢？答案是對齊， CPU更好地訪問位于2字節（“2字節邊界”）的倍數的地址處的2個字節，并訪問位于4字節邊界上的4個字節，直到CPU的自然整數大小，在現代CPU上是8字節（64位）。

在一些較舊的RISC CPU訪問錯誤對齊的數字引起一個故障：在一些UNIX系統上，這將是一個SIGBUS，它會停止你的程序（或內核）。一些系統能夠處理這些錯誤并修復錯誤：您的代碼將運行，但會緩慢的運行，因為額外的代碼將由操作系統運行以修復錯誤。我相信英特爾和ARM的CPU也只是處理芯片上的任何不對齊：也許我們將在以后的文章中測試這一點，以及任何性能的影響。

無論如何，對齊是Go編譯器跳過一個字節放置字段aShort以便它位于2字節邊界的原因。因為這樣，我們可以將另一個字段放進結構體中，而不使它占用更大內存。這里是我們的結構的新版本，在aByte之后立即有一個新字段anotherByte。

我們再次運行反射代碼，可以看到anotherByte正好在aByte和aShort之間的空閑空間。 它坐落在偏移1，aShort仍然在偏移2.現在可能是時候注意我之前提到的那個神秘對齊字段。 它告訴我們和Go編譯器，這個字段需要如何對齊。

三、看看內存

然而我們的結構體在內存中到底是什么樣子？ 讓我們看看我們能不能找到答案。 首先讓我們構建一個MyData實例，并填充一些值。我選擇了應該容易在內存中找到的值。

現在一些代碼訪問組成這個結構的字節。 我們想要獲取這個結構的實例，在內存中找到它的地址，并打印出該內存中的字節。

我們使用unsafe包來幫助我們這樣做。 這讓我們繞過Go類型系統將指向我們的結構的指針轉換為32字節數組，這個數組就是組成我們的結構體的內存數據。

我們運行以上代碼。 這是結果，第一個字段，aByte，從我們的結構中以粗體顯示。 這是希望你期望的，單字節aByte = 0x01在偏移0。

接下來我們來看看AShort。 這是在偏移量2的位置并且長度為2.如果你記得，aShort = 0x0203，但數據顯示的字節是倒序。 這是因為大多數現代CPU都是Little-Endian：該值的最低位字節首先出現在內存中。

同樣的事情發生在Int32 = 0x04050607。 最低位字節首先出現在內存中。

四、神秘的插曲

現在我們看到什么？ 這是aSlice = [] byte {0x08，0x09，0x0a} ，在偏移量8的24個字節。我沒有看到我的序列0x08，0x09，0x0a的任何地方的任何符號。 這是怎么回事？

Go反射包里自有答案。 slice在Go語言中由以下結構體表示，該結構從指針數據開始，該數據指向保存切片中的數據的存儲器; 然后是該存儲器中的有用數據的長度Len，以及該存儲器的大小Cap。

如果把它提供給我們的代碼，我們得到以下偏移和大小。 數據指針和兩個長度各為8個字節，具有8個字節對齊。

如果我們再看一下后面的內存結構，我們可以看到數據是在地址0x000000c42001055a。 之后，我們看到Len和Cap都是3，這是我們的數據的長度。

我們可以直接用以下代碼訪問這些數據字節。 首先讓我們直接訪問slice頭，然后打印出數據指向的內存。

這是輸出：

總結

以上就是關于Go語言內存布局的全部內容了，希望本文的內容對大家學習或者使用Go語言能有所幫助，如果有疑問大家可以留言交流。