Go 正则FindStringSubmatchIndex 的 -1 如何解释

Go 的 FindStringSubmatchIndex 返回 -1，最常见的含义不是“整个正则失败”，而是某个可选捕获组没有参与匹配。真正没有整体匹配时，返回值是 nil；整体匹配成功但可选组缺席时，那个组对应的两个位置通常是 -1,-1。

排查时先分清三层边界：返回切片是否为 nil、每两个整数属于哪个子表达式、索引是否是字节偏移。下面用一个带可选路径的 URL 片段说明，再把这个判断放到不可信文本解析的安全边界里。

先区分整体匹配失败和捕获组未匹配

FindStringSubmatchIndex 返回的第 0 组是整个表达式，第 1 组开始才是括号捕获组。没有整体匹配时，函数直接返回 nil，不能继续访问 m[0]。如果整体匹配存在，切片长度是捕获组数量加一的两倍。

例如模式把 scheme、host 和可选 path 分开。输入只有 scheme 与 host 时，前两个组有正常区间，path 组没有对应文本，所以位置为 -1,-1。这是一种有意义的状态：正则整体接受了输入，但该字段没有出现。

按两个整数一组读取索引，不要直接切 -1

下面的示例只展示返回值的解释方式。代码块包含中文注释；读者可以把它放到独立示例模块中执行，本文没有把示例输出当成本机运行证据。

package main

import (
    "fmt"
    "regexp"
)

func main() {
    // 第三个捕获组允许缺省，因此需要单独处理 -1,-1。
    re := regexp.MustCompile(`^(https?)://([^/]+)(/.*)?$`)
    input := "https://go.dev"
    index := re.FindStringSubmatchIndex(input)
    if index == nil {
        // nil 表示整体表达式没有匹配，不能继续读取索引。
        fmt.Println("整体匹配失败")
        return
    }

    for group := 0; group 

这里的读取顺序是稳定的：组 0 是完整 URL，组 1 是 scheme，组 2 是 host，组 3 是 path。遇到负数先判断状态，再做切片；不要写成 input[index[6]:index[7]] 后再期待用 panic 发现问题。若业务确实要求 path 必须存在，就在这个分支返回“缺少 path”的业务错误，而不是把正则返回值误判为系统故障。

还要注意索引是字节位置，不是 Unicode 字符位置。输入中包含中文时，input[start:end] 仍然是合法的 UTF-8 字节切片，但如果要用字符下标做展示或二次定位，需要明确转换边界，不能把字节偏移直接当作 rune 序号。

把 nil、-1,-1 和空匹配放进同一张排查表

这三个状态经常被混为一谈。nil 表示没有整体匹配；-1,-1 表示某个子表达式没有匹配；而起点和终点相等，例如 5,5，表示匹配到了长度为零的文本。空匹配不是未匹配，也不能用“起点等于终点”当作缺省判断。

对于模式 a(x*)b 和文本 ab，整体组有区间，x* 组则可能得到相同的起止位置，因为它匹配的是空字符串。对于带 ? 的可选组，如果分支完全没有参与，才看见负索引。

把 -1 当作输入边界信号，而不是验证结论

如果正则用于解析请求头、配置行或用户提交的标识，匹配成功只说明文本符合当前表达式，不等于字段已经满足业务安全要求。正则负责边界识别，后续仍应检查长度、允许字符、字段关系以及是否必须出现。

可以按下面的顺序建立防护清单：先判断整体结果是否为 nil；再为每个可选组判断负索引；随后限制每个字段的长度和字符集合；最后再把字段装配成业务对象。不要把捕获字符串直接拼入日志、路径或下游命令，也不要把一个“有匹配”的布尔值当成完整输入校验。

func capture(input string, index []int, group int) (string, bool) {
    // 每个捕获组占两个索引；越界和负数都代表当前组不能读取。
    pair := group * 2
    if index == nil || pair+1 >= len(index) {
        return "", false
    }
    start, end := index[pair], index[pair+1]
    if start  end || end > len(input) {
        // 业务层仍应继续做长度和字符白名单检查。
        return "", false
    }
    return input[start:end], true
}

这个辅助函数只负责安全地取出一个字节区间，不替代业务校验。索引来自同一个输入字符串时，标准库返回的区间应当落在输入范围内；业务代码仍要保留边界判断，让未来改动模式、输入来源或组编号时尽早失败。

为什么整体匹配成功，某个组还会是 -1？

因为捕获组可能位于可选分支中。整体表达式只要求当前路径成立，未走到的可选组就用负索引标记“没有匹配文本”。

把 -1 改成 0 可以吗？

不可以。0 是输入字符串的合法字节位置，改写后会把未匹配组错误地切到字符串开头，掩盖格式缺失问题。

FindStringSubmatchIndex 返回的是字符下标吗？

不是。它返回字符串中的字节索引；包含多字节 UTF-8 文本时，展示层若需要字符位置，应另外做 rune 级转换。

官方说明可复制查看：https://pkg.go.dev/regexp；实现与标准库测试可查看：https://go.dev/src/regexp/regexp.go、https://go.dev/src/regexp/find_test.go。