go 中切片虽底层含指针，但本身是值类型；修改底层数组元素可直接传值，而需改变长度、容量或底层数组引用（如用 append 扩容）时，必须传指针或返回新切片。
go 中切片虽底层含指针，但本身是值类型；修改底层数组元素可直接传值，而需改变长度、容量或底层数组引用（如用 append 扩容）时，必须传指针或返回新切片。
在 Go 的 container/heap 官方示例中，PriorityQueue 类型被同时以值接收者（如 func (pq PriorityQueue) Swap(i, j int)）和指针接收者（如 func (pq *PriorityQueue) Push(x interface{})）定义方法，这一设计并非随意，而是严格遵循 Go 切片的语义特性。
? 核心原理：切片是「带指针的值」，不是「指针类型」
切片在 Go 中本质是一个三字段结构体：
type slice struct {
array unsafe.Pointer // 指向底层数组首地址
len int // 当前长度
cap int // 容量
}它按值传递——即每次传参或赋值时，整个结构体被复制。这意味着：
- ✅ 修改元素内容（如 pq[i].priority = 5）：因 array 字段是共享指针，原切片与副本指向同一数组，修改可见；
- ❌ 修改切片头信息（如 pq = append(pq, x)）：append 可能分配新底层数组并更新 len/cap/array，这些变更仅发生在副本上，原切片不受影响。
? 对比验证：Push 方法为何必须用指针？
以下两个实现看似相似，行为却截然不同：
// ✅ 正确：通过指针修改原始切片头
func (pq *PriorityQueue) Push(x interface{}) {
n := len(*pq)
item := x.(*Item)
item.index = n
*pq = append(*pq, item) // ← 解引用后赋值，更新原切片头
}
// ❌ 错误：仅修改副本，调用方切片无变化
func (pq PriorityQueue) Push(x interface{}) {
n := len(pq)
item := x.(*Item)
item.index = n
pq = append(pq, item) // ← 仅修改局部变量 pq，返回后丢失
}运行效果对比：
pq := make(PriorityQueue, 0)
pq.Push(&Item{value: "a"}) // 若用值接收者：pq 仍为 len=0；用指针接收者：pq 变为 len=1✅ 何时用值接收者？Swap 就是典型
Swap 方法只需交换两个元素的值，不改变切片长度或底层数组：
func (pq PriorityQueue) Swap(i, j int) {
pq[i], pq[j] = pq[j], pq[i] // 修改的是 *同一数组* 中的元素，无需指针
}即使 pq 是副本，其 array 字段仍指向原底层数组，因此交换操作对调用方完全可见。
? 最佳实践总结
| 场景 | 接收者类型 | 原因 |
|---|---|---|
| 仅读取或修改元素（如 Get, Swap, Len, Less） | T（值） | 避免不必要的解引用开销，语义清晰 |
| 修改切片头（append, [:n], make 后重新赋值） | *T（指针） | 确保 len/cap/array 更新反映到原始变量 |
| 需要保证方法可修改状态且避免拷贝大结构体 | *T（指针） | 即使不改切片头，若 T 本身较大（如含大量字段），指针更高效 |
? 提示：Go 官方惯例是——只要任一方法需要指针接收者，所有方法都应统一使用指针接收者，以避免意外的行为不一致（例如方法集差异导致接口实现失败）。container/heap 示例虽为教学目的混合使用，但在生产代码中建议统一为 *PriorityQueue。
理解切片的「值语义 + 底层指针」双重特性，是写出正确、高效 Go 代码的关键一步。
