io.Reader的Read方法必须返回(n int, err error)以支持按需、分块、可中断的流式读取，n==0&&err==nil非法，n>0&&err==io.EOF表示读完数据，n==0&&err==io.EOF表示空流。
为什么 io.Reader 的 Read 方法必须返回 (n int, err error)
因为 Go 的流式读取是「按需、分块、可中断」的，Read 不保证一次把数据全读完，也不保证每次调用都返回非零字节数。你写的自定义 io.Reader 如果忽略 n 或乱设 err，下游的 io.Copy、json.Decoder 甚至 http.Request.Body 都会卡住或 panic。
-
n == 0 && err == nil是非法状态，Go 标准库会直接 panic —— 这不是你漏写逻辑，而是设计上就不允许“没读到但也没错” -
n > 0 && err == io.EOF合法，表示本次读到了数据，且后续已无更多数据（比如文件末尾） -
n == 0 && err == io.EOF也合法，常见于空文件或空响应体 - 只要
err != nil且不是io.EOF，就代表真实错误（如网络断开、解密失败），调用方通常会中止流程
实现一个带缓冲的字符串 Reader：别直接用 strings.NewReader 就完事
如果你要模拟流式行为（比如测试超长日志逐行解析），用 strings.NewReader 虽然简单，但它内部是内存全量加载 + 原地指针偏移，不体现真实 IO 的阻塞/延迟/分块特征。真要测流式逻辑，得自己造一个「可控吐字节」的 Reader。
- 用
chan []byte或sync.Mutex + []byte + int管理剩余数据，每次Read只取前len(p)字节 - 在
Read中主动time.Sleep模拟网络延迟（仅限测试） - 别在
Read里做耗时解密或正则匹配 —— 这会让调用方误以为是 IO 延迟，实际是 CPU 卡顿 - 示例片段：
func (r *SlowReader) Read(p []byte) (n int, err error) { r.mu.Lock() defer r.mu.Unlock() if len(r.data) == 0 { return 0, io.EOF } n = copy(p, r.data) r.data = r.data[n:] time.Sleep(10 * time.Millisecond) // 仅测试用 return n, nil }
从 net.Conn 或 http.Response.Body 接收数据时，为什么不能只看 err 忽略 n
网络连接可能半关闭、代理可能截断、TLS 握手后数据还没来齐——这些场景下 Read 经常返回 n > 0 && err == nil，接着下一次调用才返回 err != nil。如果代码写成 if err != nil { break } 就退出，会丢掉上次已读到的那部分数据。
- 正确模式永远是：
n, err := r.Read(p); if n > 0 { /* 处理 p[:n] */ }; if err != nil { /* 区分 io.EOF 和其他 err */ } -
http.Response.Body在 HTTP/1.1 chunked 编码下，Read可能每次只吐一个 chunk，n很小，但err == nil - 用
bufio.Scanner时它内部已经帮你处理了n和err的组合逻辑，但底层仍依赖你传入的io.Reader行为合规
自定义 Reader 的边界问题：EOF、空切片、并发读
最容易被忽略的是「空输入」和「并发安全」。标准库的 io.Reader 实现（如 bytes.Reader）默认不支持并发调用 Read，你的实现如果没加锁，多 goroutine 一起读同一实例就会读乱数据或 panic。
立即学习“go语言免费学习笔记（深入）”；
- 如果源数据是只读的（如预置 byte slice），且你不修改内部状态，可以不加锁；但只要涉及 offset 移动、buffer 截断、状态标记（如是否已 EOF），就必须同步
- 返回空切片
[]byte{}给Read的p参数？不行 ——p是调用方传入的缓冲区，你只能往里写，不能替换它 - 第一次
Read就返回0, io.EOF？可以，表示流一开始就空，但要确保后续所有Read调用也都返回同样结果，不能有时返回0, nil - 测试时用
io.Copy(ioutil.Discard, r)比直接Read更贴近真实使用场景，它会反复调用直到io.EOF
事情说清了就结束。真正难的不是写个 Read 方法，而是想清楚你的数据源在什么条件下该返回多少字节、什么时候该报错、以及错误类型是否会被上层正确识别。
