Go bufio读取io.Reader的缓冲区工作机制疑问

先贴出示例代码与运行结果：

s1 := strings.NewReader(strings.Repeat("a", 16) + strings.Repeat("b", 16))
r := bufio.NewReaderSize(s1, 16)
b, _ := r.Peek(3)
fmt.Printf("%q\n", b)
r.Read(make([]byte, 16))
r.Read(make([]byte, 15))
fmt.Printf("%q\n", b)

// 输出:
// "aaa"
// "bbb"

疑问1：初始化的r初始状态是空吗？为什么Peek(3)能拿到"aaa" #

bufio.NewReaderSize 初始化时确实不会主动预读底层数据，刚创建的Reader内部缓冲区是空的。

• Peek 方法的逻辑从来不是“只读取缓冲区中已经存好的内容”：当缓冲区中剩余的可读字节数小于调用方指定的Peek长度时，它会主动从底层io.Reader拉取数据填充缓冲区，直到满足Peek的长度要求（不能超过缓冲区本身大小，也不能遇到IO错误或EOF）。
• 这段代码里缓冲区大小设为16，调用Peek(3)时发现缓冲区为空，直接从底层的strings.Reader里读满16字节（也就是前16个'a'）到内部缓冲区，再返回缓冲区前3个字节的切片，所以第一次打印结果是"aaa"。
• 这里有个最容易踩的核心细节：Peek返回的[]byte不是独立拷贝，是直接指向bufio内部缓冲区的底层数组的，这也是后面变量b的内容会自动变化的根本原因。

疑问2：为什么需要连续两次Read才能让b的内容变成"bbb" #

第一次Peek执行完之后，内部16字节缓冲区全是'a'，标记未读起始位置的读指针在偏移0的位置，16个'a'都处于未读状态。

• 第5行调用Read(make([]byte, 16))时，bufio发现缓冲区里刚好有16个未读的'a'，直接把这16个字节全部拷贝到传入的切片中，再把读指针移到缓冲区末尾。这时候缓冲区里已经没有未读数据了，但bufio不会立刻发起下一次IO读，等后续再有读请求、缓冲区剩余数据不够的时候，才会重新填充缓冲区。这时候b指向的缓冲区前3个字节还存着'a'，如果这时候打印b，结果还是"aaa"。
• 到第6行调用Read(make([]byte,15))时，bufio发现缓冲区里已经没有未读数据了，先把读、写指针都重置到缓冲区起始位置，再从底层s1读新的数据填满16字节的缓冲区——这次读到的是后面的16个'b'，直接覆盖了缓冲区里原来存的'a'。之后按照读请求的长度，把缓冲区前15个'b'拷贝到传入的切片，把读指针移到偏移15的位置。这时候b指向的缓冲区前3个字节已经被覆盖成了'b'，所以第二次打印结果是"bbb"。
• 如果第5行Read的长度不是16而是15，那第一次读完缓冲区里还剩1个'a'，第6行Read的时候不会触发缓冲区重新填充，会先把剩下的1个'a'拷贝出去，再读14个'b'补够15字节，这时候缓冲区前3个字节的内容是'a'、'b'、'b'，打印出来的结果就不是全"bbb"了。

疑问3：内部缓冲区是存全量32字节还是会替换内容 #

bufio.Reader的内部缓冲区大小永远是初始化时指定的值，也就是这里的16字节，不会自动扩容存储全量的底层数据。它的内存复用逻辑很简单：当缓冲区里的未读数据被读完，就把指针重置到缓冲区开头，从底层读新的数据覆盖旧内容，一直循环复用这块固定大小的内存，从来不会存下全部32字节的内容。

整个流程里缓冲区的状态变化可以梳理为4步：

• 刚初始化完成：16字节空缓冲区，读指针r=0，写指针w=0（w标记有效数据的写入终点，w-r就是当前缓冲区里的未读字节数）
• 调用Peek(3)：发现w-r=0 < 3，从底层读16个'a'到缓冲区，w更新为16，返回buf[0:3]赋值给b，此时缓冲区全是'a'
• 第一次Read(16字节)：把buf[r:w]也就是全部16个'a'拷贝到传入切片，r移动到16，此时r==w，缓冲区无未读数据，但内存里暂时还存着'a'
• 第二次Read(15字节)：发现r==w无未读数据，把r、w都重置为0，从底层读16个'b'覆盖缓冲区原有内容，w更新为16，再把buf[r:r+15]也就是前15个'b'拷贝到传入切片，r移动到15。此时缓冲区开头3字节已经是'b'，所以b指向的内容变成了"bbb"

实用提醒：因为Peek返回的切片和内部缓冲区共享内存，这个切片的内容是不稳定的，后续任何读操作都可能修改这块内存的值。如果需要长期保留Peek拿到的数据，一定要手动做一次内存拷贝，不要直接持有Peek返回的切片长期使用。

内容的提问来源于stack exchange，提问作者AchillesHeel