Go regexp 的 FindAllStringSubmatchIndex 为什么返回负数：子表达式未参与匹配时如何判断

用 Go 的正则表达式提取“协议名”和“可选端口”时，FindAllStringSubmatchIndex 可能返回一组看起来奇怪的负数下标。这个结果通常不是整体匹配失败，而是对应的子表达式没有参与本次匹配；只要先区分整体匹配和子匹配，再访问字符串切片，就不会把 -1 当成合法边界。

FindAllStringSubmatchIndex 返回的是成对下标；可选子表达式未匹配时，该子表达式的起止下标都是 -1，应先判断起点是否小于 0，再做切片。

你在用 Go 标准库 regexp 包的 FindAllStringSubmatchIndex 方法时，很容易碰到返回结果里出现负数索引的情况，这既不是正则逻辑写错了，也不是标准库异常，本质原因是对应位置的子表达式根本没有参与到当前这轮的匹配过程中。

可选捕获组、处于未命中匹配分支的子表达式，不会在本次匹配里捕获到任何字符，此时 FindAllStringSubmatchIndex 返回的对应子匹配的起止两个索引值都会是 -1。

返回数组里的每一对下标分别代表什么

先看一个很小的例子。正则表达式把协议名作为必选组，把端口作为可选组：

package main

import (
    "fmt"
    "regexp"
)

func main() {
    re := regexp.MustCompile(`([a-z]+)://([^/?]+)(?::([0-9]+))?`)
    indexes := re.FindAllStringSubmatchIndex("http://example.com", -1)
    fmt.Println(indexes)
}

返回结果可以理解为 [[整体开始, 整体结束, 组1开始, 组1结束, 组2开始, 组2结束]]。本例中的组 2 是端口，它没有出现在输入中，因此最后一对是 -1, -1。整体匹配和主机组依然有正常下标。

这里的关键不是记住某个完整数字，而是记住数据路径：FindAllStringSubmatchIndex 先给出整体匹配，再按捕获组追加 SubmatchIndex 对。读取哪一组，要先根据正则中的括号位置确定。

为什么可选子表达式会得到 -1

正则末尾的 (?::([0-9]+))? 整体带有 ?，意味着“有端口就匹配，没有端口也允许整体成功”。当输入是 http://example.com 时，组 2 没有起点和终点，标准库用 -1 表示“没有参与匹配”，而不是把它当作空字符串的下标。

这和空字符串仍有区别。如果输入是 http://example.com:，端口组的 [0-9]+ 不能匹配任何字符，整体正则也不会凭空制造一个端口值。业务代码不能只检查数组长度，还要判断每一对子匹配的起点。

切片前先判断边界，避免把 -1 传给字符串

实际项目中可以把一对下标封装成一个小函数。它只负责从原字符串安全取值，不把“未匹配”悄悄转换成看似合法的文本：

func capture(input string, indexes []int, group int) (string, bool) {
    offset := group * 2
    if offset+1 >= len(indexes) {
        return "", false
    }
    start, end := indexes[offset], indexes[offset+1]
    if start  end || end > len(input) {
        return "", false
    }
    return input[start:end], true
}

调用时，group=0 代表整体匹配，group=1 代表协议名，group=2 代表端口。把布尔值保留下来很有用：空字符串可能是合法捕获结果，而 false 才表示该组没有参与匹配或下标不可信。

常见问题：整体匹配成功不等于每个捕获组都有值

为什么不能只判断返回结果是否为 nil？

返回结果非空只能说明至少有一处整体匹配。可选捕获组仍可能是 -1, -1，因此要对目标组单独判断。

为什么不能用负数下标直接切片？

Go 的字符串切片要求边界是非负且不超过字符串长度。把 -1 传给切片会触发运行时 panic，应该先把“未匹配”转成业务层的缺省分支。

空字符串和未参与匹配该怎么区分？

不要只依赖截取后的字符串。让辅助函数返回 (string, bool)，用布尔值表达捕获组是否有有效边界，调用方才能区分两种状态。

用一组输入完成反向验证

最后把带端口、不带端口和非法端口放到同一组测试里，观察整体匹配、端口组和业务分支是否一致：

inputs := []string{
    "http://example.com:8080",
    "http://example.com",
    "http://example.com:",
}
for _, input := range inputs {
    match := re.FindStringSubmatchIndex(input)
    port, ok := capture(input, match, 2)
    fmt.Printf("%q port=%q present=%v\n", input, port, ok)
}

验收标准很具体：第一行能取出 8080，第二行的 present 为 false，第三行不能被错误地当成空端口成功。只要这三个状态都符合预期，负数下标就已经被正确地收口。

总结：把 -1 当成状态，而不是文本位置

FindAllStringSubmatchIndex 的负数下标是标准库对“子表达式没有参与匹配”的明确标记。解析时先按捕获组顺序取出下标，再检查 -1、顺序和长度，最后才进行切片；这个顺序比在业务层捕获 panic 更容易维护。