Go strings.Builder Grow String 调用后继续写入为什么有风险

很多人看到 strings.Builder 的 Grow 和 String 连在一起，就担心“取出字符串以后再写会不会失效”。结论是：Grow(n)、String()、再调用 WriteString 这条链路本身不是禁用组合；真正危险的是把容量当成长度、把字符数当成字节数，或者复制了一个已经使用过的非零 Builder。

先把 Grow、String 和 WriteString 分开看

假设服务要拼一段带前缀的日志。Grow(64) 是给内部缓冲区预留容量，WriteString 才会增加已写入长度，String 只是读取当前累计结果。官方文档说的是“之后至少 n 个字节可以写入而无需再次分配”，并不是“立刻得到一个长度为 n 的字符串”。

package main

import (
	"fmt"
	"strings"
)

func main() {
	var b strings.Builder
	// Grow 按字节预留空间；它不会填充空格，也不会改变 Len。
	b.Grow(64)
	fmt.Println(b.Len(), b.Cap()) // 0，容量至少为 64

	// 真正写入后，Len 才随写入的字节数增长。
	b.WriteString("level=info")
	s := b.String()
	fmt.Println(len(s), s)
}

所以检查容量时看 Cap()，检查当前结果长度时看 Len() 或返回字符串的字节长度。中文、表情和其他非 ASCII 文本可能占用多个字节，不能用“字符个数”直接代替 Grow 的参数。

String 后继续写入，风险到底在哪里

下面的代码可以继续追加，第二次 String() 会得到完整内容，第一次得到的 snapshot 仍表示当时已经累计的前缀。这里没有“调用过 String 就永久封口”的规则。

var b strings.Builder
// 先写固定前缀，再取当前结果供日志记录。
b.WriteString("request=")
snapshot := b.String()

// Builder 仍可追加；错误处理保留在调用点，便于替换 Writer 实现。
if _, err := b.WriteString("42"); err != nil {
	panic(err) // strings.Builder 的 WriteString 当前总是返回 nil，这里保持接口习惯。
}
full := b.String()
fmt.Println(snapshot, full) // request= request=42

工程上仍建议“一次构造、最后 String”。这样能减少把中间字符串长期保存的误解，也更容易看出哪一个结果是最终值。若业务明确需要独立快照，可使用 strings.Clone(snapshot) 表达“我要一份独立副本”，但不要为了每次读取都无条件复制。

负数和字节数是两个常见边界

Grow(-1) 会触发 panic，参数来自外部配置时不要直接透传。另一个坑是单位：Grow(12) 代表至少 12 个字节的可写空间，不代表 12 个 Unicode 字符。容量估算不足只会让后续追加可能再次分配，估算过大则会增加内存占用；它是性能提示，不是业务正确性的替代品。

真正要防的是复制非零 Builder

官方实现会在修改方法中执行复制检查。零值 Builder 可以正常声明；一旦调用过写入或 Grow，就不要再把它赋给另一个值、按值传参，或把包含它的结构体整体复制。复制后的对象若继续调用修改方法，可能得到 strings: illegal use of non-zero Builder copied by value panic。

func appendSuffix(b strings.Builder) strings.Builder {
	// 这里按值传递会复制已经使用过的 Builder；不要这样设计 API。
	b.WriteString("-suffix")
	return b
}

func safeAppendSuffix(b *strings.Builder) {
	// 指针传递保持同一个 Builder，避免复制内部状态。
	if _, err := b.WriteString("-suffix"); err != nil {
		panic(err) // 当前 Builder 写入不会返回错误，但保留接口约定。
	}
}

落地时记住这份调用约定

把 Builder 放在尽量小的局部作用域中，预估的是字节容量，使用指针传给会修改它的函数，并在最终读取处调用一次 String()。如果要跨层保存中间结果，先明确它是“当前视图”还是“独立快照”；如果要把 Builder 放进结构体或集合，优先保存指针或在真正使用前保持零值初始化。这样处理后，Grow 带来的只是分配策略优化，不会和字符串结果的业务语义混在一起。

相关问题

Grow(0) 会让 Builder 变成不能复制吗？

调用 Grow 会进入复制检查并记录接收者身份，代码不应依赖参数为零来规避“非零 Builder 不要复制”的约束。

Builder 适合多个 goroutine 同时写吗？

不适合。需要并发拼接时，应在每个 goroutine 内使用独立 Builder，或在外层用同步手段保护共享状态。

什么时候应该直接用字符串加号？

片段很少且不在热点路径时，加号更直观；只有拼接规模或分配情况值得关注时，再用 Builder 并配合基准测试决定是否 Grow。