Go 问答：regexp.ReplaceAllString 里的 $1 为什么会被展开：替换模板与字面量转义边界

排查日志脱敏时，最容易踩坑的一行代码是 re.ReplaceAllString(src, repl)：如果 repl 里出现 $1，Go 不会把它当普通字符，而会按捕获组展开。要保留原样文本，换成 ReplaceAllLiteralString；替换内容需要运行时计算时，用 ReplaceAllStringFunc 更稳。

ReplaceAllString 适合“替换模板”，ReplaceAllLiteralString 适合“原样替换”，而函数替换适合把动态文本直接返回给结果。

为什么同一个替换字符串会出现两种结果

先看一个最小场景：把邮箱的用户名部分替换成 $1，正则捕获组是用户名。

package main

import (
    "fmt"
    "regexp"
)

func main() {
    re := regexp.MustCompile(`([a-z]+)@example\.com`)
    src := "alice@example.com"

    fmt.Println(re.ReplaceAllString(src, "[$1]"))
    fmt.Println(re.ReplaceAllLiteralString(src, "[$1]"))
}

第一行输出 [alice]，因为 ReplaceAllString 会解释替换模板。第二行输出 [$1]，因为 ReplaceAllLiteralString 直接追加替换文本，不经过 Regexp.Expand。

ReplaceAllString 的 $1 到底绑定了什么

绑定关系来自正则本身的捕获组，而不是替换字符串里临时写出的变量。下面的 ([a-z]+) 是第一个捕获组，所以 $1 对应 alice；如果写成命名组，也可以用 ${name} 表达。

re := regexp.MustCompile(`(?P[a-z]+)@example\.com`)
got := re.ReplaceAllString("alice@example.com", "user=${user}")
fmt.Println(got) // user=alice

Go 官方 regexp 实现明确说明，ReplaceAllString 中的美元符号按 Regexp.Expand 规则处理。没有对应捕获组时，不要把结果想当然地当成插值失败或正则匹配失败；应单独检查模板与组名是否一致。

动态替换文本应该选哪条路径

如果替换文本来自配置，例如用户输入了 $1，这个 literal repl 的需求通常是“把命中的邮箱替换成这段原文”。这时不要手工拼接一堆反斜杠，直接使用字面量版本：

replacement := "[$1]"
got := re.ReplaceAllLiteralString("alice@example.com", replacement)
fmt.Println(got) // [$1]

如果替换文本需要根据每次命中的内容计算，函数版本表达得更直接：

got := re.ReplaceAllStringFunc("alice@example.com", func(match string) string {
    return "[redacted]"
})
fmt.Println(got) // [redacted]

三个容易误判的边界

替换模板里的普通美元符号怎么办

如果业务确实需要模板语义，就按 Expand 的规则表达字面量；如果整段内容都不应该解释，优先改用 ReplaceAllLiteralString。选择 API 比在调用点不断试转义更容易复查。

为什么 ReplaceAllStringFunc 不会再次展开 $1

函数返回值会直接追加到结果，不再经过 Expand。因此返回 [$1] 时，结果就是 [$1]，这正适合把外部文本当成普通内容写回。

没有捕获组时 $1 会怎样

没有第一个捕获组，就没有可替换的匹配值。测试时同时断言正则的捕获组数量和最终字符串，能避免只看“匹配成功”却漏掉替换模板错误。

相关问题

ReplaceAllString 会修改原字符串吗

不会。它返回替换后的新字符串，原始 src 保持不变。

只替换第一个匹配怎么办

ReplaceAllString 会处理所有匹配；只替换一个时，可先用 FindStringIndex 找到范围，再拼接前后字符串。

什么时候必须用函数替换

当结果依赖命中内容、外部状态或条件判断时，函数替换最清晰，也能避免动态文本被误当成模板。

小结

这三个 API 的分界很简单：需要捕获组插值就用 ReplaceAllString，需要原样写入就用 ReplaceAllLiteralString，需要按命中内容计算就用 ReplaceAllStringFunc。在日志脱敏、模板替换和配置驱动的文本处理里，先确定替换语义，再选择 API，问题通常就不会落到“为什么 $1 消失了”上。