go 语言不支持以运行时计算值作为数组长度，必须使用切片（slice）配合 make 动态分配内存；本文详解错误原因、正确写法及性能考量。
go 语言不支持以运行时计算值作为数组长度，必须使用切片（slice）配合 make 动态分配内存；本文详解错误原因、正确写法及性能考量。
在 Go 中，数组（[N]T）是固定长度、值类型、编译期确定大小的底层数据结构。这意味着数组长度必须是编译时常量（如字面量 5、命名常量 const N = 10 或能被编译器推导为常量的表达式），而不能是运行时才能确定的变量（例如 middle - start + 1）。因此，以下代码会触发编译错误：
leftLength := middle - start + 1 var left [leftLength]int // ❌ 编译错误：non-constant array bound
✅ 正确做法是改用切片（slice），并使用 make([]T, len) 创建指定长度的底层数组并返回对应切片：
func merge(array []int, start, middle, end int) {
leftLength := middle - start + 1
rightLength := end - middle
left := make([]int, leftLength) // ✅ 创建长度为 leftLength 的切片
right := make([]int, rightLength) // ✅ 同理
// 复制数据（示例）
copy(left, array[start:middle+1])
copy(right, array[middle+1:end+1])
// 后续归并逻辑...
}
⚠️ 注意事项：
- 切片不是“动态数组”（如 C++ std::vector）或“链表”，而是引用类型，包含指向底层数组的指针、长度（len）和容量（cap）三元组；
- make([]int, n) 分配一块连续内存（等价于 new([n]int)[:n]），无自动扩容机制——若需追加元素且超出容量，需显式调用 append（可能引发重新分配）；
- 在归并排序等场景中，make 分配的切片性能高效、语义清晰，且与原数组内存隔离，避免并发或副作用风险；
- 若后续需复用缓冲区以减少 GC 压力，可考虑将切片作为参数传入或使用 sync.Pool，但对多数排序实现，局部 make 已足够简洁高效。
总结：Go 的数组设计强调安全性与可预测性，运行时长度需求天然属于切片范畴。放弃 var [n]T 的写法，拥抱 make([]T, n)，既是语法要求，也是符合 Go 内存模型的最佳实践。
