Go 正则重复捕获组只保留最后一次怎么办

Go 的 regexp 不把重复捕获组的每次参与都保存成历史列表。同一个括号被量词重复使用，仍然对应同一个子组位置。要拿到列表中的所有项，通常应把单项写成独立匹配，再使用 FindAllString 或 FindAllStringSubmatch 收集，而不是继续给原来的括号加量词。

不过，只把整个记录表达式换成 FindAllStringSubmatch 往往还不够：FindAll 增加的是完整表达式的匹配次数。下面从一条分号列表入手，再将它改成带固定前缀的记录解析，区分“记录合法性”和“所有单项提取”。示例由读者自行复现，本文不把预期结果当作本机实测输出。

官方文档：https://pkg.go.dev/regexp；语法说明：https://pkg.go.dev/regexp/syntax。

先确认丢的是捕获历史还是完整匹配

假设输入是 oak;pine;elm;，表达式使用 ^([a-z]+;)+$。它有一个捕获组，组里是字母加分号，组外的加号重复这段结构。整串成功匹配，并不意味着返回结果会为 oak、pine、elm 各分配一个子组。

package main

import (
    "fmt"
    "regexp"
)

func main() {
    // 同一个括号重复参与匹配，不会创建更多捕获组槽位。
    repeated := regexp.MustCompile(`^([a-z]+;)+$`)
    input := "oak;pine;elm;"
    fmt.Printf("组数=%d，单次结果=%q\n",
        repeated.NumSubexp(), repeated.FindStringSubmatch(input))
    // 全表达式已覆盖整串，FindAll 也只有一条完整匹配。
    fmt.Printf("全部匹配=%q\n", repeated.FindAllStringSubmatch(input, -1))
}

按这个无歧义示例推导，NumSubexp 为 1，单次结果中第 0 项是完整的分号列表，第 1 项是最后一次捕获到的 elm;。FindAll 的外层也只有一条记录，因为带锚点的整体表达式只匹配了整串一次。这里展示的是应观察的语义，不是实际执行日志。

因此不要把“子组数只有一个”误判为数据截断。捕获组数量由表达式里的捕获括号决定，不由输入中列表项的数量决定。更复杂的可选分支、嵌套组和空匹配还会影响哪个子组参与了匹配，不应从这个简单例子推出每个嵌套组都等于最后一个业务字段。

看清 FindAll 增加的是哪一层结果

可以把结果想成两层容器。表达式定义组包含“完整表达式、捕获括号、重复量词”；返回对象组包含“匹配集合、单次匹配、子组槽位”。完整表达式决定匹配集合里的记录，匹配集合包含单次匹配，单次匹配包含子组槽位。捕获括号对应槽位，重复量词约束括号覆盖的片段次数，但不会新增槽位。

FindStringSubmatch 返回第一条完整匹配及其子组。FindAllStringSubmatch 则返回多条互不重叠的完整匹配，每一条仍保持“整体匹配加固定子组”的形状。参数 -1 表示取全部完整匹配，不是启用捕获历史。

把 ([a-z]+;)+ 改成 ([a-z]+);，再使用 FindAllStringSubmatch，可以让每个带分号的单项成为独立完整匹配。这适合从文本中搜索单项，但若业务要求整条输入必须合法，还需要单独确认整个记录符合约束，不能只捡出其中看似合法的片段。

先限定记录范围，再收集每个单项

考虑输入 tags=oak,pine,elm：我们要求固定前缀、至少一个小写字母标签、逗号分隔、不允许空项和尾逗号。记录模式用一对外层捕获括号保存完整列表，内部非捕获组仅描述逗号及后续标签；单项表达式只在该列表范围内搜索。

package main

import (
    "fmt"
    "os"
    "regexp"
)

var (
    // 首尾锚定整条记录，非捕获组只描述列表语法。
    recordRE = regexp.MustCompile(`^tags=([a-z]+(?:,[a-z]+)*)$`)
    itemRE = regexp.MustCompile(`[a-z]+`)
)

func parseTags(line string) ([]string, error) {
    record := recordRE.FindStringSubmatch(line)
    if record == nil {
        return nil, fmt.Errorf("记录格式不合法")
    }
    // 仅在已通过格式约束的列表范围内提取，不能扫描整条原始输入。
    items := itemRE.FindAllString(record[1], -1)
    return items, nil
}

func run() error {
    items, err := parseTags("tags=oak,pine,elm")
    if err != nil {
        return err
    }
    // 每个单项都是独立匹配，按输入出现次序组成切片。
    _, err = fmt.Fprintf(os.Stdout, "%q\n", items)
    return err
}

func main() {
    if err := run(); err != nil {
        fmt.Fprintln(os.Stderr, err)
        os.Exit(1)
    }
}

示例预期返回按顺序排列的 oak、pine、elm 三个字符串。关键不在于增加了多少括号，而在于提取单位改变了：原来试图从一次匹配取重复组历史，现在每个单项本身就是一次匹配。

这里的记录边界组包含“原始记录、记录模式、列表范围”；单项结果组包含“单项模式、单项匹配、结果切片”。记录模式约束原始记录，列表范围属于通过约束的记录；单项模式只作用于列表范围，单项匹配组成结果切片。不能让单项模式直接扫描原始记录，否则前缀 tags 也可能被误当成标签。

对于这条简单语法，记录匹配成功后，也可以直接用 strings.Split 对列表范围按逗号拆分。之所以先检查完整记录，是为了拒绝连续逗号、额外前缀和非法字符，而不是让提取函数悄悄忽略它们。若输入来自用户，错误提示可只写格式原因，不必回显整条可能包含敏感内容的原始记录。

用索引区分没参与匹配和匹配了空串

字符串版子组结果用空字符串表示未参与匹配，也用空字符串表示成功匹配了空串。如果这两种情况有不同业务含义，改用 SubmatchIndex 系列，先检查索引是否为负。

package main

import (
    "fmt"
    "regexp"
)

func main() {
    // 组一可以不参与，组二可以参与但匹配零个字符。
    re := regexp.MustCompile(`^(a)?(b*)$`)
    input := ""
    pos := re.FindStringSubmatchIndex(input)
    if pos == nil {
        fmt.Println("整串不匹配")
        return
    }
    for group := 1; group 

对空输入，这个示例的可选 a 组没有参与，而 b 星号组参与并捕获空串。索引结果能区分这两件事。但索引版依旧只为每个组返回一对位置，不会恢复重复捕获历史。

所有这些索引都是输入字符串中的字节位置，不是汉字数量或 rune 序号。如果对记录子串调用索引方法，所得偏移也相对于那段子串；需要还原到原始记录时，再加上列表范围在原始字符串中的起始字节偏移，不能直接当作原串坐标。

按输入语法选择正则或分隔解析

可在独立目录将前面的完整记录示例保存为 main.go，然后自行执行：

# 仅运行本次保存的完整记录解析示例。
go run main.go

应重点尝试单项输入、正常多项、连续逗号、尾逗号、额外前缀和非法字符。本文示例应接受 tags=oak 与 tags=oak,pine,elm，拒绝 tags=oak,,elm、tags=oak, 和 x:tags=oak。大小写和 Unicode 范围是否允许属于业务语法选择，不能用示例的 ASCII 范围替代全部标签规范。

对大输入还要限制输入长度与结果规模，避免一次收集无界数量的切片元素。这里的 -1 适用于受控长度的列表；若改用正数限制返回数量，必须明确是否允许截断，不能把截断后的部分列表当成完整解析成功。

改成命名捕获组能保留所有重复值吗？

不能。命名组只是给捕获位置增加名称，便于定位相应槽位，并不会把这个槽位变成历史切片。应改变匹配单位或选择解析方法。

把贪婪量词改成非贪婪可以吗？

非贪婪影响匹配选择，不改变捕获结果的数据模型。为了拿到列表而改变匹配策略，可能反而改变完整记录覆盖范围。不要用量词偏好解决容器层级问题。

为什么 FindAll 还是只返回一条？

检查完整表达式是不是已经一次覆盖整条输入，尤其是首尾锚定和外层重复。FindAll 寻找的是整个表达式的下一条不重叠匹配，不是在同一条结果内部回放某个括号。

回到标题中的现象：先看完整匹配是否覆盖了预期记录，再看括号定义了多少槽位。需要一组业务列表时，让每个业务项成为独立匹配或交给明确的分隔解析，不依赖重复括号隐式保存历史。实现细节可参考 https://go.dev/src/regexp/exec.go，公共使用约定以 regexp 文档为准。