go 语言虽无名为“动态数组”的内置类型，但其切片（slice）正是兼具 o(1) 平摊插入和 o(1) 随机访问特性的等效实现，底层通过智能扩容策略（如 1.5 倍增长）保证高效性。
在 Go 中，[]T 类型（即切片）是动态数组的事实标准。它由三部分组成：指向底层数组的指针、长度（len）和容量（cap）。当你调用 append(s, x) 时，Go 运行时会首先检查当前切片的容量是否足够：
- 若 len(s) < cap(s)，直接在底层数组末尾写入新元素，时间复杂度为 O(1)；
- 若容量不足，则分配一块更大的底层数组（Go 标准库实现中通常按 1.5× 当前容量 扩容），将原数据复制过去，再追加——这一步是 O(N)，但极少发生。
关键在于：这种扩容是摊还（amortized） 的。例如，从空切片开始连续追加 1000 个元素，实际仅发生约 log₁.₅(1000) ≈ 17 次扩容，总复制操作数远小于 1000。因此，单次 append 的平摊时间复杂度为 O(1)，与 Python 的 list.append() 和 C++ 的 std::vector::push_back() 完全一致。
package main
import "fmt"
func main() {
s := make([]int, 0, 4) // 初始容量为 4
for i := 0; i < 10; i++ {
s = append(s, i)
fmt.Printf("len=%d, cap=%d, data=%v\n", len(s), cap(s), s)
}
}
// 输出可见：cap 从 4 → 6 → 9 → 13，呈非线性增长，避免频繁重分配⚠️ 注意事项：
- 切片不是引用类型，而是包含指针的值类型；传递切片不会复制底层数组，但修改 len/cap 或重新 append 可能导致底层数组变更；
- 若需严格 O(1) 最坏情况插入（如实时系统），可预估容量并使用 make([]T, 0, N) 初始化；
- container/list 是链表，适用于高频中间插入/删除，但牺牲了随机访问能力，不替代切片。
总结：Go 的切片就是你熟悉的动态数组——它没有魔法，但有精巧的工程设计：以空间换时间，用摊还分析保障性能，是 Go “少即是多”哲学的典型体现。
