1. 理解Go语言的数组与切片
在go语言中，数组（array）是一种值类型，其长度在声明时必须是固定的，并且是类型的一部分。例如，[3]int 和 [4]int 是两种不同的数组类型。这意味着，我们不能像某些其他语言那样，使用变量来定义数组的维度：
var fixedArray [9][3]int // 合法：维度是常量 // var dynamicArray [someIntVariable][anotherOne]int // 不合法：维度不能是变量
当需要创建大小可变的序列时，Go语言提供了切片（Slice）。切片是对底层数组的一个引用，它本身不存储任何数据，但提供了动态长度和容量的特性。切片是Go语言中最常用的数据结构之一，常用于替代其他语言中的动态数组。
2. 动态创建二维切片
由于数组的固定大小限制，当我们需要一个尺寸在运行时才能确定的二维数据结构时，Go语言的解决方案是使用“切片的切片”（slice of slices），即 [][]Type。这本质上是一个切片，其每个元素又是一个切片。
2.1 核心原理：切片的切片
一个 [][]int 类型的变量，可以被理解为一个“行”的切片，其中每一“行”又是一个 []int 类型的切片。这种结构允许每行的长度独立，尽管在模拟二维数组时，我们通常会保持每行长度一致。
2.2 使用 make 函数进行分配
创建二维切片需要分两步进行：
立即学习“go语言免费学习笔记（深入）”；
-
创建外层切片： 使用 make 函数创建外层切片，指定行数。此时，外层切片的每个元素都是一个 nil（空）切片。
// 创建一个包含 'rows' 个 nil 切片的切片 dynamic2DArray := make([][]int, rows)
-
创建内层切片： 遍历外层切片，为每个元素（即每一行）再使用 make 函数创建一个内层切片，指定列数。
// 遍历外层切片，为每一行创建内层切片 for i := range dynamic2DArray { dynamic2DArray[i] = make([]int, cols) }通过这两步，我们就构建了一个动态大小的二维切片结构。
3. 封装为辅助函数
为了提高代码的复用性和可读性，我们可以将上述创建二维切片的逻辑封装到一个辅助函数中。
package main
import "fmt"
// make2DArray 函数用于动态创建指定行数和列数的二维切片。
// 参数 rows 表示行数，cols 表示列数。
// 返回一个 [][]int 类型的二维切片。
func make2DArray(rows, cols int) [][]int {
// 步骤1: 创建外层切片。
// 这将分配 'rows' 个 nil 切片引用。
dynamic2DArray := make([][]int, rows)
// 步骤2: 遍历外层切片，为每个元素（即每一行）创建内层切片。
// 每个内层切片代表一行，包含 'cols' 个元素。
for i := range dynamic2DArray {
dynamic2DArray[i] = make([]int, cols)
}
return dynamic2DArray
}
func main() {
// 定义动态维度
numRows := 3
numCols := 4
// 使用辅助函数创建二维切片
matrix := make2DArray(numRows, numCols)
// 填充并打印元素以演示功能
fmt.Println("初始化二维切片并赋值:")
for i := 0; i < numRows; i++ {
for j := 0; j < numCols; j++ {
matrix[i][j] = (i + 1) * 10 + (j + 1) // 示例赋值
fmt.Printf("%d\t", matrix[i][j])
}
fmt.Println()
}
fmt.Println("\n修改特定元素 (matrix[1][2] = 99):")
matrix[1][2] = 99 // 修改第二行第三列的元素
for i := 0; i < numRows; i++ {
for j := 0; j < numCols; j++ {
fmt.Printf("%d\t", matrix[i][j])
}
fmt.Println()
}
fmt.Println("\n获取特定元素 (matrix[0][0]):", matrix[0][0])
}4. 注意事项
- 内存布局： 使用切片的切片创建的二维结构，其内层切片（行）在内存中不一定是连续的。每个内层切片可能指向内存中的不同位置。这与传统语言中连续存储的二维数组有所不同。对于大多数应用场景，这种差异对性能影响不大，但了解其底层机制有助于更深入的理解。
- 零值初始化： 通过 make 创建的切片，其元素会自动初始化为对应类型的零值（例如 int 类型为 0，string 类型为 ""，引用类型为 nil）。
- 传递方式： 切片是引用类型。当切片作为函数参数传递时，传递的是切片头信息（指向底层数组的指针、长度和容量），而不是整个底层数组的副本。这意味着在函数内部对切片的修改会影响到原始切片。
- 与固定数组的选择： 如果二维数据的大小在编译时就已知且固定不变，使用固定大小的数组（如 [3][4]int）会更高效，因为它们在内存中是连续存储的，并且是值类型。但如果大小需要动态调整，则必须使用切片的切片。
5. 总结
在Go语言中，由于数组的固定大小特性，我们无法直接使用变量来定义多维数组的维度。针对需要动态大小的二维数据结构，Go语言提供了“切片的切片”这一惯用且强大的解决方案。通过分步使用 make 函数创建外层和内层切片，可以灵活构建任意尺寸的二维数据结构。将此逻辑封装为辅助函数，能够有效提升代码的模块化和可维护性。理解切片与数组的差异，以及切片在内存中的工作方式，是高效使用Go语言的关键。
