关于 Go 中 unsafe.Sizeof() 函数的返回值

关于 Go 中 unsafe.Sizeof() 函数的返回值

出于对 Go 以及区块链技术的兴趣，最近在学习 Go 这门语言。在学习过程中，对 unsafe.Sizeof() 函数的理解有点问题，查明后记录在此。

话不多说，先上代码:

package main

import(
    "unsafe"
    "fmt"
)

const (
    a = "abc"
    b = "abcd"
)

func main(){
    
    arr1 := [...]int{1,2,3}
    arr2 := [...]int{1,2,3,4}
    
    slice1 := []int{1,2,3,4,5}
    slice2 := []int{1,2,3,4,5,6}
    
    fmt.Println(unsafe.Sizeof(a))
    fmt.Println(unsafe.Sizeof(b))
    fmt.Println()
    
    fmt.Println(unsafe.Sizeof(arr1))
    fmt.Println(unsafe.Sizeof(arr2))
    fmt.Println()
    
    fmt.Println(unsafe.Sizeof(slice1))
    fmt.Println(unsafe.Sizeof(slice2))
}

这段代码的运行结果如下

16
16

24
32

24
24

可以看出 Go 语言中 unsafe.Sizeof() 函数：

1. 对不同长度的字符串，unsafe.Sizeof() 函数的返回值都为 16，这是因为 string 类型对应一个结构体，该结构体有两个域，第一个域指向该字符串的指针，第二个域为字符串的长度，每个域占 8 个字节，但是并不包含指针指向的字符串的内容，这就解释了unsafe.Sizeof() 函数对 string 类型的返回值始终是16。
2. 对不同长度的数组，unsafe.Sizeof() 函数的返回值随着数组中的元素个数的增加而增加，这是因为unsafe.Sizeof() 函数总是在编译期就进行求值，而不是在运行时，这就意味着，unsafe.Sizeof() 函数的返回值可以赋值给常量，在编译期求值，意味着可以获得数组所占的内存大小，因为数组总是在编译期就指明自己的容量，并且在以后都是不可变的。
3. 对所含元素个数不同的切片，unsafe.Sizeof() 函数的返回值都为 24，这是因为对切片来说，unsafe.Sizeof() 函数返回的值对应的是切片的描述符，而不是切片所指向的内存的大小，因此都是24。