Go regexp.Regexp 怎样根据 FindAllStringSubmatchIndex 的 -1 判断没有匹配

Go 的 FindAllStringSubmatchIndex 返回值不是“匹配字符串列表”，而是一个按字节位置记录的索引矩阵。判断没有匹配时，先看整个返回结果是否为 nil；只有某个子表达式没有参与匹配时，才会在对应位置看到 [-1, -1]。如果起止索引相等，例如 [k, k]，它表示一个合法的空字符串匹配，不能当成没有匹配。

排查这类结果时记住三条：没有整体匹配看 nil，未参与的子表达式看 [-1, -1]，空字符串匹配看 [k, k]。切片前必须先判断索引是否为负数。

先看返回值的行列结构

官方 API 的命名可以拆成三部分：Find 表示查找，All 表示返回多个不重叠匹配，StringSubmatchIndex 表示结果同时包含子表达式索引。每一行对应一次整体匹配，每两个整数表示一个区间，顺序是整体匹配、分组 1、分组 2，以此类推。

例如正则 (go)(lang) 匹配字符串 golang 时，一行结果可以理解为：

[][]int{
    {0, 6, 0, 2, 2, 6}, // 整体是 [0,6)，两个分组分别是 [0,2) 和 [2,6)
}

索引使用字节偏移，不是 Unicode 字符数量。中文或其他多字节字符参与匹配时，仍应把索引当作 Go 字符串的字节下标使用。

用 nil 判断整体没有匹配

当整个正则在输入中没有找到任何匹配时，返回值为 nil。这时没有“第 0 行”，也不存在可以继续读取的整体匹配区间。

package main

import (
    "fmt"
    "regexp"
)

func main() {
    re := regexp.MustCompile(`go`)
    rows := re.FindAllStringSubmatchIndex("rust", -1)

    // 先判断整体结果，避免把不存在的匹配行当成子表达式处理。
    if rows == nil {
        fmt.Println("没有整体匹配")
        return
    }
    fmt.Println(rows)
}

这里的 -1 是 n 参数，表示返回全部匹配；它不是结果中的负数标记。把“参数是 -1”和“结果里出现 -1”混为一谈，是排查时最常见的误读。

识别 -1 和相等索引

可选分组没有参与某次整体匹配时，Go 会为该分组放入负索引。下面的正则让 go 这一组可选，而 lang 必须出现：

package main

import (
    "fmt"
    "regexp"
)

func main() {
    re := regexp.MustCompile(`(go)?(lang)`)
    rows := re.FindAllStringSubmatchIndex("lang", -1)

    // 整体匹配成功；第一个分组没有参与，所以它的两个索引都是 -1。
    fmt.Printf("%v\n", rows)
}

这一行可以按列解释为 [0,4]、[-1,-1]、[0,4]：整体匹配了 lang，第一个分组未参与，第二个分组匹配了整个输入。

相等索引是另一种情况。正则 a()b 中的空分组会在 a 和 b 之间匹配空字符串，结果类似 [0,2,1,1,1,2]。其中 [1,1] 的长度是零，但它仍然是一次有效的分组匹配。

按索引安全还原子字符串

索引矩阵适合在不复制整段文本的情况下定位子串，但必须先检查一对索引。整体匹配或已参与的分组才可以切片；负索引表示该分组不存在，不能直接写成 s[-1:-1]。

package main

import (
    "fmt"
    "regexp"
)

func submatchText(input string, row []int, group int) (string, bool) {
    // 每个分组占两个位置：整体匹配是 group=0，分组 1 从下标 2 开始。
    start := group * 2
    if start+1 >= len(row) || row[start] 

这个辅助函数把“是否参与匹配”作为布尔值返回，调用方就不会把空字符串和未参与分组混成同一种结果。对于 [k,k]，函数会返回空字符串和 true；对于 [-1,-1]，会返回空字符串和 false。

选择 n 参数并整理排查表

FindAllStringSubmatchIndex(s, n) 中的 n 只控制最多返回多少个整体匹配：

实际排查可以按以下顺序记录：

1. 先记录正则、输入和 n，确认没有把字符串查找结果和索引结果混用。
2. 先判断 rows == nil 或 len(rows) == 0，确认有没有整体匹配。
3. 确定某一行后，再按 2 * group 读取对应分组的两个索引。
4. 遇到负数就标记为“未参与”，遇到相等的非负索引就标记为“空字符串匹配”。
5. 最后才进行字符串切片，并保留字节索引语义。

常见问题

结果中出现 -1，是不是代表整个正则没有匹配？

不一定。只有整个返回结果为 nil 或没有行时，才表示没有整体匹配；某一行中的 [-1,-1] 只说明对应子表达式没有参与。

为什么 [k,k] 也有两个相同的索引？

因为该分组匹配了空字符串。起点和终点相同表示长度为零，不表示失败。

索引是字符位置还是字节位置？

它是 Go 字符串的字节偏移。直接切片时可以使用返回值；如果要把位置展示给用户，再额外转换为字符边界。

FindAllStringSubmatchIndex 和 FindStringSubmatchIndex 怎么选？

只关心第一个匹配时用单数版本；需要处理全部不重叠匹配时用 FindAllStringSubmatchIndex，并结合 n 控制数量。

记住“整体结果看 nil，分组未参与看负索引，空匹配看相等的非负索引”，就能把大多数 FindAllStringSubmatchIndex 误判拆开处理。