bytes.Buffer 即使仅由一个 goroutine 写、一个 goroutine 读，也不是线程安全的，因其内部字段（如 buf []byte 和 off int）被 Read/Write 方法并发读写，且 slice header 的修改（长度更新、扩容重分配）缺乏同步保障。
`bytes.buffer` 即使仅由一个 goroutine 写、一个 goroutine 读，也**不是线程安全的**，因其内部字段（如 `buf []byte` 和 `off int`）被 `read`/`write` 方法并发读写，且 slice header 的修改（长度更新、扩容重分配）缺乏同步保障。
bytes.Buffer 是 Go 标准库中常用的内存缓冲区实现，但它明确不保证并发安全——这一点在文档中已有说明：“Buffer is not safe for concurrent use by multiple goroutines.” 即便你严格控制为「一写一读」模式（例如 writer goroutine 持续 Write()，reader goroutine 轮询 Read()），依然存在数据竞争风险，原因如下：
? 核心问题：共享状态 + 非原子字段更新
bytes.Buffer 是一个结构体，其关键字段包括：
type Buffer struct {
buf []byte // 底层字节切片（含 len/cap/ptr）
off int // 当前读取偏移量（即已读字节数）
// ... 其他字段
}-
Write(p []byte)会修改buf的长度（buf = buf[:len(buf)+n]）、可能触发底层数组扩容（修改buf的指针和 cap），并更新off（隐式或显式）； -
Read(p []byte)同样依赖off计算起始位置，并读取buf[off:]，同时更新off += n。
这些操作均涉及对同一结构体字段的并发读写。即使 off 是整数、buf 是切片，Go 中对结构体字段的读写本身不具有原子性；更重要的是，[]byte 是一个三元组（ptr, len, cap），其 header 的任何字段变更（尤其是 len 和 ptr）都需同步，否则 reader 可能观察到「撕裂」状态（如 len 已更新但 ptr 未更新，或反之）。
? 简单复现竞争（非确定性但真实存在）
以下代码虽不必然 panic，但极可能触发 data race 检测器告警：
立即学习“go语言免费学习笔记（深入）”；
func ExampleRace() {
var buf bytes.Buffer
done := make(chan bool)
go func() {
for i := 0; i < 1000; i++ {
buf.Write([]byte("hello"))
}
done <- true
}()
go func() {
for i := 0; i < 1000; i++ {
b := make([]byte, 5)
buf.Read(b) // 可能读到错误长度、越界或旧数据
}
done <- true
}()
<-done; <-done
}使用 go run -race main.go 运行即可捕获典型 data race 报告，例如：
WARNING: DATA RACE Write at 0x... by goroutine 6: bytes.(*Buffer).Write() ... Previous read at 0x... by goroutine 7: bytes.(*Buffer).Read()
✅ 安全替代方案
| 场景 | 推荐方案 | 说明 |
|---|---|---|
| 严格一写一读流式通信 | io.Pipe() |
返回 io.ReadCloser + io.WriteCloser，天然支持 goroutine 间安全管道通信，底层带锁且语义清晰。 |
| 需缓冲 + 并发访问 |
sync.Mutex 包裹 bytes.Buffer
|
显式加锁，简单直接，适合低频读写。 |
| 高性能无锁通道替代 |
chan []byte 或 chan string
|
结合 sync.Pool 复用 buffer，通过 channel 传递所有权，彻底避免共享内存。 |
⚠️ 注意：切勿依赖「当前没出错」推断线程安全。Go 的内存模型不保证无同步下的字段可见性与顺序一致性，竞态行为可能随 GC、调度、编译器优化而变化，仅在特定环境偶然稳定。
总之，bytes.Buffer 的设计目标是零分配、高吞吐的单 goroutine 使用；一旦涉及 goroutine 间共享，必须引入同步机制或切换至并发安全的抽象（如 io.Pipe, sync.Pool + channel）。这是 Go「共享内存通过通信来实现」哲学的典型体现——不要通过共享内存来通信，而应通过通信来共享内存。
