Go 允许定义元素类型为固定长度数组（如 [2]int）的切片，例如 [][2]int，它表示一个可变长度的切片，每个元素是不可变的二维整数数组；可通过字面量初始化并用 append 动态扩容。
go 允许定义包含固定长度数组的切片，例如 `[][2]int`，它表示一个可变长度的切片，每个元素是不可变的二维整数数组；可通过字面量初始化并用 `append` 动态扩容。
在 Go 中，“数组内嵌于切片”并非指将数组作为值动态塞进普通切片，而是直接将固定长度数组类型作为切片的元素类型。这正是 [][2]int 的含义：一个切片，其每个元素都是类型为 [2]int 的数组（而非 []int 或 *[2]int）。这类数组在内存中是值语义——赋值或传参时会整体拷贝，但作为切片元素时，它们被连续存储，且每个 [2]int 本身不可变（长度固定），而整个切片长度可变。
✅ 正确声明与初始化方式如下：
s := [][2]int{
{1, 2}, // 编译器自动推导为 [2]int{1, 2}
{3, 4},
}
// 等价于更显式的写法：
// s := [][2]int{[2]int{1, 2}, [2]int{3, 4}}
该切片 s 类型为 [][2]int，长度为 2，容量由底层数组决定。你可以像操作普通切片一样追加新元素：
s = append(s, [2]int{5, 6}) // ✅ 合法：追加一个 [2]int 值
fmt.Println(s) // 输出：[[1 2] [3 4] [5 6]]
⚠️ 注意事项：
-
[][2]int不是[][]int：后者是“切片的切片”，每个子切片可独立伸缩、指向不同底层数组；而前者每个元素是栈内固定大小的值，更紧凑、无指针间接访问开销。 - 无法直接修改数组内部元素？可以！虽然
[2]int是值类型，但切片元素支持地址取用：s[0][0] = 99是完全合法的——因为s[0]返回的是可寻址的数组副本（实际是底层数组中的原地元素），支持索引赋值。 - 若需零值初始化，可用
make([][2]int, n)，例如make([][2]int, 3)创建含 3 个[2]int零值（即[[0 0] [0 0] [0 0]]）的切片。
总结：Go 通过 [][N]T 语法天然支持“可变数量 + 固定结构”的数据建模，兼顾内存局部性与操作灵活性，是替代 Python 元组列表（如 [(1,2), (3,4)]）的惯用且高效方案。
