Go regexp.Expand 怎样按模板展开捕获组

regexp.Expand 可以把正则捕获组填进模板，再将展开内容追加到目标字节切片。用法的关键是：匹配索引必须来自同一个正则对同一份源文本的子匹配查询，并且要接住 Expand 返回的切片。

官方文档地址：https://pkg.go.dev/regexp#Regexp.Expand。下面用“从资源标识生成展示标签”这个原创场景说明写法。代码和预期文本用于解释接口，未作为本文环境的执行记录。我更倾向于在模板里统一使用花括号，这样添加后缀时不容易误改变量名。

Expand 接收的到底是什么

可以把输入分成四部分：dst 是已有输出；template 是模板；src 是被匹配的原始字节文本；match 是子匹配索引。最后一项不是捕获到的字符串列表，而是一组字节起止位置。

使用 FindSubmatchIndex 取得一次匹配时，索引的第一对表示完整匹配，其余成对表示捕获组。命名捕获组既有名字，也有所在的位置。Expand 根据这些位置从 src 中取出内容，所以不能把原文先裁剪，再继续使用裁剪前的索引。

模板中的 ${name} 引用命名组，${1} 引用第一个捕获组，${0} 引用完整匹配。模板只承担字符拼接与捕获替换，不会自动做条件判断、数值计算或 HTML 转义。

怎样把捕获字段组合成一条标签

假设输入规则是“小写资源类型、短横线和数字编号”，例如 asset-307。希望生成包含类型、编号与原标识的标签，可以把两个字段分别命名为 kind 和 id。

package main

import (
    "fmt"
    "regexp"
)

func main() {
    // 固定表达式来自程序源码，用命名组描述资源类型与编号。
    re := regexp.MustCompile(`^(?P[a-z]+)-(?P[0-9]+)$`)
    src := []byte("asset-307")
    match := re.FindSubmatchIndex(src)
    if match == nil {
        // 没有匹配时由业务决定退出，不把空索引当成正常结果。
        fmt.Println("资源标识格式不匹配")
        return
    }

    // 花括号固定变量边界，目标切片中已有的前缀会被保留。
    template := []byte("类型=${kind}; 编号=${id}; 原标识=${0}")
    dst := []byte("资源标签: ")
    dst = re.Expand(dst, template, src, match)
    fmt.Println(string(dst))
}

按这段表达式和模板推导，标签内容应为“资源标签: 类型=asset; 编号=307; 原标识=asset-307”。这里真正需要留意的是赋值：Expand 可能因为容量不足而分配新的底层数组，因此每次都应使用返回值。

示例中的表达式是固定常量，所以使用 MustCompile。若表达式来自配置或用户输入，应改用 regexp.Compile 并处理编译错误；这与模板展开是两个不同的错误处理位置。

为什么变量后面的文字消失了

常见误区是把 $1x 看成“第一个组后面追加 x”。在无花括号的形式下，变量名称会尽可能长，因此它表示名为 1x 的变量。要表达第一个组加固定后缀，应该写成 ${1}x。

同理，$id_suffix 会把下划线和 suffix 都算进名称；若需要 id 组后接文字，应写成 ${id}_suffix。纯数字形式 $10 表示第十个组，而不是第一个组后接数字 0。模板名字拼错、组号越界或者可选组没有匹配时，对应引用会变成空内容，Expand 不会另外返回模板变量错误。

批量展开是否会保留原文

Expand 只追加模板生成的内容。它不会自动把匹配之前、之后或者两次匹配之间的原文复制进去。如果需求是提取若干字段组成清单，这种行为很直接；如果需求是原文替换并保留未匹配部分，应该明确实现片段复制，或者选择正则替换接口。

// 假定 re 是已编译的资源标识表达式，src 是完整源文本。
func makeLabels(re *regexp.Regexp, src []byte) []byte {
    // 每次捕获只形成一行；花括号外的换行属于固定模板文本。
    template := []byte("${kind}#${id}\n")
    var dst []byte
    for _, match := range re.FindAllSubmatchIndex(src, -1) {
        // 每个索引都属于同一个 src，每次都接住追加后的切片。
        dst = re.Expand(dst, template, src, match)
    }
    return dst
}

该函数应放在已导入 regexp 的包中；批量场景应传入符合实际文本格式的表达式，不能直接照搬前一个只接受整段单标识的首尾锚定规则。例如文本由空格分隔的资源标识组成时，可根据输入约束定义相应边界。没有匹配时循环不执行，本函数返回 nil 切片。

在批量展开结束前，应保持 src 内容稳定，并让 dst 使用独立的输出存储。不要为了省一次分配而让输出覆盖原文：一旦原文被改变，后续索引即使数值没变，也可能引用错误内容。并发任务也应各自维护输出切片，避免共同追加。

几个容易混淆的边界问题

源文本是字符串，必须先转成字节吗？

可以使用 ExpandString，并配合字符串版的子匹配索引查询。它接受字符串模板和字符串源文本，返回值仍是字节切片，便于调用者管理输出。不要把对某个字符串取得的索引拿去解释另一段文本。

未参与匹配的可选组和空匹配怎样区分？

在索引资料中，未参与匹配的组用负值位置表示，匹配到空内容的组则可能起止位置相同。展开成文本时二者都可能得到空内容。若业务需要区分“字段缺失”和“字段存在但为空”，应在展开之前检查匹配资料，而不是从最终字符串反推。

捕获内容里也有美元符号，会再展开一次吗？

不会。变量语法属于模板；从 src 取出的捕获内容作为文本加入结果，不会作为新模板递归解释。反过来，要在模板中直接写一个美元符号，应使用双美元符号。

应该什么时候选择 Expand？

当你已经持有子匹配索引，想把捕获内容按固定模板组合并累积到字节缓冲区时，它很合适。若需求包含复杂业务判断，可以先取字段再由普通 Go 代码组织内容。接口依据见 Go 官方 regexp 文档中的 Expand 与 ExpandString 说明。