当前位置：首页 > Go > 正文

Go语言中的数组：深入理解其底层实现（小白也能看懂的Go语言数据结构教程）

主机测评网
Go
2025-12-23
111

在学习 Go语言数据结构 的过程中，数组是最基础也是最重要的一个概念。很多初学者知道如何声明和使用数组，但对它的 底层实现 却知之甚少。本文将带你从零开始，深入浅出地讲解 Go语言数组底层实现 的原理，让你真正理解数组在内存中是如何存储和操作的。

什么是数组？

数组是一种线性数据结构，用于存储相同类型的一组元素。在 Go 语言中，数组的长度是固定的，一旦声明就不能改变。

// 声明一个包含5个整数的数组var arr [5]int// 或者直接初始化arr := [5]int{1, 2, 3, 4, 5}

Go语言数组的内存布局

在 Go 中，数组是 值类型，这意味着当你将一个数组赋值给另一个变量时，会复制整个数组的内容，而不是仅仅复制指针。这一点与切片（slice）不同。

更重要的是，数组在内存中是 连续存储 的。也就是说，所有元素按照顺序挨在一起存放，没有间隙。这种设计使得通过下标访问元素的时间复杂度为 O(1)，非常高效。

Go语言中的数组：深入理解其底层实现（小白也能看懂的Go语言数据结构教程） Go语言数组底层实现 Go数组内存布局 Go语言数据结构 Go数组原理第1张

上图展示了长度为5的整型数组在内存中的布局。每个 int 在 64 位系统中通常占 8 字节，因此整个数组占用 5 × 8 = 40 字节的连续内存空间。

数组 vs 切片：关键区别

很多初学者容易混淆数组和切片。虽然切片底层也依赖数组，但它们有本质区别：

数组：固定长度，值类型，复制时拷贝全部数据。
切片：动态长度，引用类型，底层指向一个数组，复制时只拷贝结构（指针、长度、容量）。

// 数组：复制整个内容a := [3]int{1, 2, 3}b := a  // b 是 a 的完整副本b[0] = 99fmt.Println(a) // 输出 [1 2 3]，不受影响// 切片：共享底层数组s1 := []int{1, 2, 3}s2 := s1s2[0] = 99fmt.Println(s1) // 输出 [99 2 3]，被修改了