Go sync.Pool在高并发场景下避免复用脏状态的做法

高并发日志、编码和临时字节拼接经常会用到 sync.Pool。真正容易出错的地方不在“能不能复用”，而在于复用对象是否还带着上一次请求的字段。稳妥的做法是把状态边界固定下来：Get 返回后先初始化，业务使用完后在 Put 之前清理。这样即使对象来自别的 goroutine，当前调用也不会把旧数据当成默认值。

官方文档：https://pkg.go.dev/sync

一、用临时缓冲区定义复用边界

sync.Pool 是并发安全的临时对象池，池中的元素可能在任意时刻被运行时移除，所以它适合摊薄短命分配压力，不适合保存必须一直存在的业务状态。下面用日志缓冲区做小项目：对象里只有可重建的字节缓冲和临时字段，不放用户身份、订单状态或权限信息。

池的 New 返回指针，调用方通过一个明确的借出函数拿到对象。这个边界让“对象可以被丢弃”和“对象必须重新初始化”同时成立，也避免把类型断言散落在业务代码中。

二、在Get后初始化而不是相信旧状态

Get 可能返回池中任意对象，也可能因为池为空而调用 New。因此初始化必须放在 Get 之后，不能只写在 New 里。示例把初始化集中到 acquireLogBuffer，无论对象是新建还是复用，都得到相同的起点。

package main

import (
	"bytes"
	"sync"
)

type logBuffer struct {
	buf    bytes.Buffer
	fields map[string]string
}

var logPool = sync.Pool{
	New: func() any {
		// New 只负责提供可重建对象；业务字段仍由借出边界初始化。
		return &logBuffer{fields: make(map[string]string)}
	},
}

func acquireLogBuffer() *logBuffer {
	item := logPool.Get().(*logBuffer)
	// Get 后统一清理，不能假定上一次 Put 留下的是干净状态。
	item.buf.Reset()
	if item.fields == nil {
		item.fields = make(map[string]string)
	}
	for key := range item.fields {
		delete(item.fields, key)
	}
	return item
}

这里的清理不是多余动作：池可以复用旧对象，也可以直接丢弃旧对象，调用方都必须得到同一份初始化语义。若字段里有切片、指针或嵌套结构，也要在这里恢复到可预测状态，而不是依赖上一次调用留下的内容。

三、在Put前清理字段并隔离调用方

归还边界要和借出边界成对出现。业务函数只在完成读取或写入后调用 releaseLogBuffer，清空所有可能暴露请求数据的成员，再把对象放回池。使用 defer 可以覆盖提前返回，但要注意不要在归还之后继续读写这个指针。

func releaseLogBuffer(item *logBuffer) {
	// 归还前去掉请求内容，避免下一个调用方看到旧字段。
	item.buf.Reset()
	for key := range item.fields {
		delete(item.fields, key)
	}
	// 解除可能指向请求上下文的大对象引用，再交回临时池。
	item.fields = nil
	logPool.Put(item)
}

func writeLog(message string, requestID string) {
	item := acquireLogBuffer()
	defer releaseLogBuffer(item) // 所有返回路径都经过清理边界
	item.fields["request_id"] = requestID
	item.buf.WriteString(message)
	// 这里只消费当前调用的数据，不把 item 的所有权传给其他 goroutine。
}

fields = nil 是一种偏保守的引用释放策略；如果确认 map 很小且希望减少下一次分配，也可以只删除键并在 Get 后继续复用，但必须把这个取舍写进代码约定。关键是调用方不能把含有请求数据的对象长期保存、跨请求传递或在 Put 后继续使用。

四、用检查清单验收复用边界

把下面四项作为代码评审清单：第一，Get 后是否无条件 Reset 并初始化所有可变成员；第二，正常返回和错误返回是否都走 Put 前清理；第三，Put 后是否还有 goroutine 持有对象；第四，池中的对象是否真的允许被运行时随时丢弃。只要某个对象承载必须保留的业务状态，就应该改用明确的缓存、队列或所有权模型。

相关问题

sync.Pool 能保证下一次 Get 拿到同一个对象吗？

不能。Get 可能返回任意池对象，也可能视池为空而调用 New；代码必须依赖初始化契约，而不是依赖复用命中。

为什么只调用 bytes.Buffer.Reset 仍然可能有脏状态？

Reset 只处理缓冲区内容，map、切片、指针和业务字段仍可能保留旧引用，所以清理范围要覆盖对象中所有可变状态。