go 中所有参数都按值传递，但切片本身是包含指针、长度和容量的轻量级结构体；其值复制后仍指向同一底层数组，因此对元素的修改会反映到原始切片上。
在 Go 语言中，“按值传递”（pass by value）是铁律——函数或方法接收的是实参的副本。然而，切片（[]byte）是一个特例：它并非底层数据本身，而是一个三元描述符（descriptor），由以下三个字段组成：
- Data *byte：指向底层数组起始地址的指针
- Len int：当前切片长度
- Cap int：底层数组从 Data 开始的可用容量
当执行 f.Read(b1) 时，b1 这个切片结构体被完整复制传入 Read 方法。虽然结构体是副本，但其中的 Data 字段（即指针）的值也被复制——而该指针仍指向原始底层数组的同一内存地址。因此，Read 方法内部通过该指针写入数据（如 p[0] = 'H'; p[1] = 'e'; ...），实际修改的是共享的底层数组，从而让调用方看到 b1 内容已变。
这与你自定义的 passAsValue 函数形成鲜明对比：
func passAsValue(p []byte) {
c := []byte("Foo")
p = c // ⚠️ 修改的是副本 p 的 Data/Len/Cap 字段！不改变原 b
}此处 p = c 是重新赋值整个切片结构体：p 副本的 Data 指针被改为指向新数组 "Foo" 的内存，原切片 b 的结构体未受影响，故 b 保持全零。
而 Read 方法的行为本质是：
func (f *File) Read(p []byte) (n int, err error) {
// 假设读取3字节：'H', 'e', 'l'
if len(p) >= 3 {
p[0] = 'H' // ✅ 通过副本 p.Data 修改底层数组
p[1] = 'e' // ✅ 同一底层数组，原 b[0], b[1] 也随之改变
p[2] = 'l' // ✅
return 3, nil
}
// ...
}✅ 关键结论：
- ✅ 修改切片元素（p[i] = x）→ 影响原切片（因共享底层数组）
- ❌ 重赋值切片变量（p = anotherSlice）→ 不影响原切片（仅修改副本结构体）
- ? 若需修改切片头（如扩容并返回新切片），必须显式返回（如 append）或传入 *[]byte
? 实践建议：
- 理解 []T 是“引用语义的值类型”——安全、高效，无需显式指针；
- 避免误以为 p = ... 能改变调用方切片；
- 查看标准库源码（如 io.ReadFull）可加深对切片操作模式的理解；
- 使用 unsafe.Sizeof([]byte{}) 可验证切片结构体仅占 24 字节（64位系统），印证其轻量本质。
正因这一设计，io.Reader 接口才能以简洁签名 Read(p []byte) (n int, err error) 实现高效、零拷贝的数据读取——既符合 Go 的值传递哲学，又兼顾性能与表达力。
