go 切片本身是值类型（含底层数组指针、长度和容量的结构体），传值时仅复制头信息；若方法需修改切片头（如通过 append 改变长度或底层数组引用），必须使用指针接收者，否则修改不会反映到原始变量上。
go 切片本身是值类型（含底层数组指针、长度和容量的结构体），传值时仅复制头信息；若方法需修改切片头（如通过 append 改变长度或底层数组引用），必须使用指针接收者，否则修改不会反映到原始变量上。
在 Go 的 container/heap 包中，PriorityQueue 通常定义为 []*Item 类型的别名，其方法接收者混用了值类型（如 func (pq PriorityQueue) Swap(i, j int)）和指针类型（如 func (pq *PriorityQueue) Push(x Interface{})）。这种差异并非随意设计，而是严格遵循 Go 切片的底层机制。
? 切片的本质：值类型，但含指针
切片不是引用类型，而是一个三字段的结构体值：
type slice struct { Array unsafe.Pointer // 指向底层数组首元素 len int // 当前长度 cap int // 容量 }因此，当以值方式传递切片（如 func f(s []int) 或 func (s MySlice) Method()）时，传递的是该结构体的完整拷贝。这意味着：
- ✅ 修改元素内容（如 s[i] = 42）会影响原底层数组 → 因为两个切片头共享同一 array 指针；
- ❌ 修改切片头本身（如 s = append(s, x) 或 s = s[1:]）只影响副本 → 原切片的 len/cap/array 不变。
? 对比分析：Swap vs Push
Swap 使用值接收者 ✅
func (pq PriorityQueue) Swap(i, j int) { pq[i], pq[j] = pq[j], pq[i] // 修改底层数组元素 }Swap 只读写切片所指向的数组元素，不改变 pq 的长度、容量或底层数组地址。即使接收者是值类型，pq[i] 仍操作原始内存，效果等同于指针接收者。
Push 必须用指针接收者 ✅
func (pq *PriorityQueue) Push(x interface{}) { n := len(*pq) item := x.(*Item) item.index = n *pq = append(*pq, item) // ← 关键：修改切片头（可能扩容、更新 array/len/cap） }append 可能触发底层数组扩容，导致返回一个全新切片头（新 array 地址、新 len、新 cap）。若用值接收者：
// 错误示例：修改无效！ func (pq PriorityQueue) Push(x interface{}) { n := len(pq) item := x.(*Item) item.index = n pq = append(pq, item) // 仅修改局部变量 pq，调用者看到的 pq 未变 }此时 pq 是副本，append 赋值只更新副本，原变量无任何变化 —— 队列长度永远为 0，逻辑彻底失效。
⚠️ 注意事项与最佳实践
-
判断标准：方法是否需要重分配切片头（即是否调用 append、make、切片表达式重赋值等）？
→ 是 → 用 *T 接收者；
→ 否（仅读/写元素、遍历、排序等）→ T 接收者更轻量、更符合 Go 习惯。 -
一致性提示：若一个类型既有 Push（需指针）又有 Pop（通常也需指针，因要 *pq = (*pq)[:len(*pq)-1]），则整个接口应统一使用指针接收者，避免混淆。
-
性能考量：切片头仅 24 字节（64 位系统），值传递开销极小；优先考虑语义正确性，而非微优化。
✅ 总结
Go 中切片的“引用感”源于其内部指针，但其自身是值类型。container/heap 示例中混合使用接收者，是精准匹配操作语义的结果：
- Swap、less 等只操作元素 → 值接收者安全高效；
- Push、Pop 等需变更切片结构 → 指针接收者必不可少。
理解这一机制，是写出健壮 Go 容器类型的关键基础。