在 Go 中，使用 make([]int, len, cap) 创建 slice 后，若用复合字面量（如 []int{1,2,3}）重新赋值，会创建全新 slice 并覆盖原变量，导致原有容量丢失；而通过索引逐个赋值则保留原始容量。理解这一区别对内存优化和性能调优至关重要。
在 go 中，使用 `make([]int, len, cap)` 创建 slice 后，若用复合字面量（如 `[]int{1,2,3}`）重新赋值，会创建全新 slice 并覆盖原变量，导致原有容量丢失；而通过索引逐个赋值则保留原始容量。理解这一区别对内存优化和性能调优至关重要。
Go 的 slice 是引用类型，其底层由三部分组成：指向底层数组的指针、长度（len）和容量（cap）。make([]int, 3, 10) 创建的 slice 指向一个长度为 10 的底层数组，当前仅使用前 3 个元素，因此 len=3、cap=10——这意味着后续可通过 append 安全添加最多 7 个元素，无需立即分配新内存。
但关键在于：赋值操作 myArray = []int{1,2,3} 并非“填充”原 slice，而是创建并赋值一个全新的 slice。该复合字面量等价于：
temp := [3]int{1, 2, 3}
myArray = temp[:] // 底层数组即 [3]int，故 len=3, cap=3此时 myArray 已完全脱离原先 make 分配的 10 元素底层数组，转而指向一个仅含 3 个元素的新底层数组，因此 cap 变为 3。
相反，以下写法维持了原始 slice 的结构：
myArray := make([]int, 3, 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这里未创建新 slice，仅修改原底层数组中对应索引的值，len 和 cap 属性保持不变。
⚠️ 注意事项：
- make + 复合字面量赋值是常见误区，看似“初始化”，实为“替换”；
- 若需预分配容量并初始化值，推荐使用 make 后循环赋值，或借助 append：
myArray := make([]int, 0, 10) // 预留容量，长度为 0 myArray = append(myArray, 1, 2, 3) // len=3, cap=10（未触发扩容）
- cap 不可直接修改，它由底层数组大小和起始偏移决定；唯一可控方式是通过 make 或 slice[low:high:max]（Go 1.21+ 支持三参数切片）显式指定。
总结：Go 中 slice 变量存储的是“头信息”（指针+len+cap），赋值操作传递的是该头信息的副本。[]int{...} 创建新头信息并绑定新底层数组，自然覆盖原有容量设定。掌握这一机制，才能写出内存高效、行为可预测的 Go 代码。
