提供的程式碼示範了一個有趣的行為:
<br>A型結構體{<pre class="brush:php;toolbar:false">a bool b int64 c int
}
type B struct {
b int64 a bool c int
}
列印大小時A{} 和B{} 使用unsafe.Sizeof,我們得到了令人驚訝的結果:
<br>fmt.Println(unsafe.Sizeof(A{})) //輸出:24<br>fmt.Println(unsafe.Sizeof(B{})) / / 輸出: 16<br>
為什麼這些結構體有不同的大小儘管有相同的字段?
答案在於欄位對齊。在 Go 中,變數的位址必須根據其類型進行對齊,這種對齊對於 int64(8 位元組對齊)等類型尤其重要。對於 A,第一個欄位 a 是 bool,只需要 1 個位元組的儲存空間。在該欄位之後,有一個 7 位元組隱式填充,用於在 8 位元組邊界上對齊下一個欄位 b(類型為 int64)。然而,在 B 的情況下,由於第一個欄位 b 已經在 8 位元組邊界上對齊,因此不需要任何隱式填充,從而導致結構體大小更小,為 16 位元組。
空結構的大小
繼續,我們遇到另一個有趣的case:
<br>type C struct { <br>}<br>
列印unsafe.Sizeof(C{})時,我們意外地得到的輸出為 0。鑑於每個結構都佔用一些空間,這怎麼可能
Go 規範規定,沒有大小大於零的字段或元素的結構體或數組的大小為零。它也意味著兩個不同的零大小變數可以共享相同的記憶體位址。 C{} 就是這種情況,它的大小為零,可能不會佔用任何實際記憶體。相反,它可以引用與其他零大小值相同的記憶體位址,例如 struct{}{}、[]int{},甚至空數組 [3]struct{}{}。
理解欄位對齊和零大小值的概念可以增強我們對 Go 記憶體管理的理解。透過在結構體中策略性地安排字段,我們可以優化記憶體分配並確保高效的資料操作。
以上是為什麼具有相同欄位的 Go 結構體具有不同的大小?的詳細內容。更多資訊請關注PHP中文網其他相關文章!