在 Go 中，使用 make([]int, 3, 10) 创建 slice 后，若通过 []int{1,2,3} 赋值会完全替换原 slice，导致容量重置为 3；而逐元素赋值则保留原始容量。本质在于复合字面量创建新 slice，而非修改原有底层数组。
在 go 中，使用 make([]int, 3, 10) 创建 slice 后，若通过 []int{1,2,3} 赋值会完全替换原 slice，导致容量重置为 3；而逐元素赋值则保留原始容量。本质在于复合字面量创建新 slice，而非修改原有底层数组。
Go 的 slice 是引用类型，但其变量本身存储的是一个包含三个字段的结构体：指向底层数组的指针（ptr）、长度（len）和容量（cap）。理解 myArray = []int{1,2,3} 这一行的关键，在于认识到它并非“填充”原 slice，而是创建了一个全新的 slice 值并将其赋给变量。
我们来对比两种写法：
✅ 正确保留容量：原地赋值（不改变 slice 头部信息）
myArray := make([]int, 3, 10) // len=3, cap=10，底层数组长度至少为10
myArray[0] = 1
myArray[1] = 2
myArray[2] = 3
fmt.Printf("len: %d, cap: %d\n", len(myArray), cap(myArray)) // 输出：len: 3, cap: 10这里所有操作都作用于 myArray 当前指向的底层数组，slice 头部（ptr, len, cap）未发生变更。
❌ 容量被“覆盖”：赋值即重建（生成全新 slice）
myArray := make([]int, 3, 10) // 初始：len=3, cap=10
myArray = []int{1, 2, 3} // ← 关键：这是复合字面量，等价于 make([]int, 3) + 逐个赋值
fmt.Printf("len: %d, cap: %d\n", len(myArray), cap(myArray)) // 输出：len: 3, cap: 3[]int{1,2,3} 是一个复合字面量（composite literal），Go 编译器会为其：
- 分配一块新内存（通常为恰好容纳 3 个 int 的数组）；
- 构造一个新 slice 头，len = 3，cap = 3（除非显式指定容量，如 []int{1,2,3}[:3:5]）；
- 将该新 slice 值整体赋给 myArray 变量，原 slice 头（含 cap=10）彻底丢失。
? 补充说明：[]int{1,2,3} 默认容量等于长度。若需自定义容量，可使用切片表达式：
myArray = []int{1,2,3}[:3:10] → 此时 len=3, cap=10，且仍指向新分配的底层数组（非原 make 所分配）。
⚠️ 重要注意事项
- make 和复合字面量目的不同：make 用于预分配带指定容量的 slice；复合字面量用于便捷初始化小数据集，语义上更接近“创建一个新值”。
- 无隐式“就地初始化”语法：Go 不支持 make([]int, 3, 10){1,2,3} 这类写法（语法错误），切片无法像数组一样在声明时直接初始化底层数组内容。
- 性能提示：频繁用 []T{...} 赋值可能触发多次内存分配；若已知容量，优先复用 make 创建的 slice 并逐元素赋值，或使用 append。
✅ 总结
所谓 “cap 被覆盖”，实质是slice 变量被赋予了另一个 slice 值，而非原 slice 的容量被修改。Go 中 slice 赋值是值拷贝（拷贝 ptr/len/cap 三元组），但该值指向的底层数组可能完全不同。掌握这一机制，就能避免因误以为“赋值=填充”而导致的容量预期偏差。
