【Go 基础篇】Go语言数组内存分析：深入了解内部机制

繁依Fanyi

发布于 2023-10-12 15:29:30

3370

发布于 2023-10-12 15:29:30

文章被收录于专栏：繁依Fanyi 的专栏

在Go语言中，数组是一种基本的数据结构，用于存储一系列相同类型的元素。虽然数组在应用中非常常见，但了解其在内存中的存储方式和分配机制仍然是一个重要的课题。本文将深入探讨Go语言数组的内存分析，揭示数组在内存中的布局和分配策略。

数组的内存分配

在Go语言中，数组的内存分配是静态的，这意味着数组在定义时就已经分配了固定大小的内存空间。数组的元素在内存中是依次排列的，相邻的元素占据相邻的内存位置。

连续的内存空间

数组的特性决定了它的元素在内存中是占据连续的内存空间。这使得数组在访问和处理元素时具有非常高的性能，因为CPU可以通过指针的增加来访问相邻的元素，从而减少了缓存的不命中。

固定大小

由于数组的内存分配是静态的，所以数组的大小在创建时就已经确定了。这也是数组与切片（Slice）的一个重要区别，切片的大小是动态可变的。

简单案例

当涉及到 Go 语言中数组的内存分配时，很多情况下我们可以通过查看数组各个元素的地址来理解内存布局是连续的。下面是一个简单的示例代码，展示了如何输出一个数组的各个元素的内存地址：

package main

import (
	"fmt"
	"unsafe"
)

func main() {
	numbers := [5]int{10, 20, 30, 40, 50}

	fmt.Println("Element addresses:")
	for i := 0; i < len(numbers); i++ {
		elementAddr := &numbers[i]
		fmt.Printf("Index %d: Address %p\n", i, elementAddr)
	}

	fmt.Println("Array size:", unsafe.Sizeof(numbers))
}

在上面的代码中，我们定义了一个包含5个整数的数组 numbers。通过 & 运算符，我们可以获取每个元素的地址，并通过 %p 格式打印出来。同时，我们使用 unsafe.Sizeof() 函数来获取数组的大小，也就是占用的内存大小。

运行上述代码，你会看到类似以下的输出：

Element addresses:
Index 0: Address 0xc0000104e0
Index 1: Address 0xc0000104e8
Index 2: Address 0xc0000104f0
Index 3: Address 0xc0000104f8
Index 4: Address 0xc000010500
Array size: 40

可以看到，各个元素的地址是连续的，相邻的元素地址相差8个字节（在64位系统上）。这说明了数组在内存中的连续分配，这种布局有助于提高内存局部性和访问效率。

这个案例向我们展示了 Go 数组的内存布局和地址分配，进一步佐证了数组的内存分配是静态的。数组在创建时就分配了一块固定大小的内存，其中的元素在内存中是紧密排列的。这种分配方式使得数组在性能方面有一些优势，尤其在需要快速访问元素时。

数组的内存布局

数组的内存布局是连续的，元素依次存储在相邻的内存位置。假设有一个[5]int类型的数组：

[10, 20, 30, 40, 50]

它的内存布局可能如下：

| 10 | 20 | 30 | 40 | 50 |

在内存中，数组的起始位置即为第一个元素的位置，其他元素依次存储在其后。通过指针运算，可以准确地访问数组中的任意元素。

数组的值传递

在Go语言中，数组是值类型，当数组被传递给函数时，会进行一次值拷贝。这意味着函数内部操作的是数组的副本，而不是原始数组。

package main

import "fmt"

func modifyArray(arr [5]int) {
    arr[0] = 100
}

func main() {
    numbers := [5]int{10, 20, 30, 40, 50}
    modifyArray(numbers)
    fmt.Println(numbers) // 输出 [10 20 30 40 50]
}

在上述示例中，虽然在modifyArray函数内部修改了数组的第一个元素，但是原始数组并没有受到影响，因为函数操作的是数组的副本。