Go 支持以固定长度数组（如 [2]int）为元素类型构建切片，即 [][2]int，它本质是“元素为二维数组的可变长切片”，既保留数组的内存连续性与不可变长度特性，又具备切片的动态扩容能力。

go 支持以固定长度数组（如 [2]int）为元素类型构建切片，即 `[][2]int`，它本质是“元素为二维数组的可变长切片”，既保留数组的内存连续性与不可变长度特性，又具备切片的动态扩容能力。

在 Go 中，[][2]int 是一个完全合法且常用的数据类型：它表示一个切片（slice），其每个元素都是一个长度为 2 的整型数组 [2]int。这与 Python 中的 [(1,2), (3,4)]（元组列表）语义相近——每个子结构内部固定为两个值，整体集合可增删。

✅ 正确声明与初始化方式

Go 要求字面量中明确体现嵌套结构。由于 [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 = append(s, [2]int{5, 6}) // ✅ 合法：[2]int 是可赋值的值类型
s = append(s, [2]int{7, 8})

遍历时，每个元素是独立的 [2]int 值（非指针），修改它不会影响原切片中的副本（除非显式取地址）：

for i, pair := range s {
    fmt.Printf("Index %d: [%d %d]\n", i, pair[0], pair[1])
    // pair 是拷贝；若需修改原切片中第 i 个数组，应写：s[i][0] = 99
}

访问特定元素也直观：

firstPair := s[0]     // 类型为 [2]int
x, y := firstPair[0], firstPair[1] // 解构

⚠️ 注意事项

• ❌ [][2]int{1,2,3,4} 是非法语法——外层是切片字面量，必须用 {} 包裹每个元素，不能扁平展开。
• ❌ 不能混用不同长度数组：[][2]int 中只能存放 [2]int，不能插入 [3]int 或 []int。
• ✅ 因 [2]int 是值类型，整个切片底层仍是一段连续内存（每个 [2]int 占 16 字节，64 位平台），高效且缓存友好。
• ? 若需“可变长度的二元组”且频繁修改内部元素，也可考虑 [][]int（切片的切片），但会失去长度约束与内存局部性优势。

✅ 总结

[][2]int 是 Go 中表达“固定结构、可变数量”数据的理想选择：它让每个子项保持不可变长度（保障数据契约），同时整体具备切片的灵活性。正确使用复合字面量 { {1,2}, {3,4} } 初始化，并通过 append 动态扩展，即可安全、高效地构建和操作此类结构。