Go regexp 怎样用 LiteralPrefix 判断固定前缀

我在给一组请求路径做正则路由分类时，真正需要的不是先猜正则内部实现，而是先知道一个模式有没有稳定的开头。Go 的 regexp.Regexp.LiteralPrefix() 正好返回两个信息：prefix 是任何匹配必须以其开头的字面量字符串，complete 表示这个字面量是否已经覆盖整个正则表达式。

先把 LiteralPrefix 的两个返回值读出来

使用方式很直接：先用 regexp.Compile 得到编译后的 *regexp.Regexp，再调用 LiteralPrefix。如果正则来自配置或请求参数，应保留编译错误；只有写死且确定合法的模式，才适合用 MustCompile。

package main

import (
	"fmt"
	"regexp"
)

func main() {
	patterns := []string{
		`^GET /api/`,
		`^GET /api/[0-9]+$`,
		`healthz`,
		`^你好`,
	}

	for _, pattern := range patterns {
		re, err := regexp.Compile(pattern)
		if err != nil {
			// 外部配置可能写错，先返回错误而不是继续使用空结果。
			fmt.Printf("compile %q: %v\n", pattern, err)
			continue
		}

		prefix, complete := re.LiteralPrefix()
		// prefix 是稳定开头，complete 表示整个表达式是否只是该字面量。
		fmt.Printf("pattern=%q prefix=%q complete=%v\n", pattern, prefix, complete)
	}
}

这里的锚点不会变成返回字符串的一部分：^GET /api/ 的固定前缀是 GET /api/。而 [0-9]+ 不是字面量，所以带数字尾部的模式不会把整条表达式标记为完整字面量。中文前缀也按字符串返回，调用方不需要自己拆字节。

prefix 和 complete 分别代表什么

prefix 的语义是“每个匹配文本都必须从这里开始”。例如模式 ^GET /api/[0-9]+$ 的前缀可以是 GET /api/，但它还需要数字和结束锚点来完成整个匹配。相反，模式 healthz 的字面量本身就是完整表达式，complete 才会为 true。

一个容易混淆的地方是：complete=true 不等于“输入字符串只能是这个词”。没有 ^ 和 $ 的模式仍然可以在更长文本中找到同样的子串；complete 描述的是正则表达式组成，不是输入边界。

用非空前缀做候选预筛选

如果系统先把文本送进多个规则，非空前缀可以帮助你快速排除不可能命中的候选。这里的筛选只做“肯定不会匹配”的判断：找不到前缀就提前返回，找到前缀仍然必须交给 MatchString，因为前缀后面可能还有字符集、分组或边界要求。

package main

import (
	"regexp"
	"strings"
)

// matchesCandidate 只用固定前缀做安全的否定筛选，再执行完整正则。
func matchesCandidate(re *regexp.Regexp, text string) bool {
	prefix, _ := re.LiteralPrefix()
	if prefix != "" && !strings.Contains(text, prefix) {
		// 缺少必需前缀时不可能命中，避免进入完整匹配阶段。
		return false
	}
	// 前缀命中不代表正则命中，数字、边界和分组仍由 regexp 判断。
	return re.MatchString(text)
}

这个函数适合放在路由表、规则索引或批量候选筛选中。不要把它写成“发现前缀就返回 true”：例如 ^GET /api/[0-9]+$ 遇到 GET /api/admin 时前缀存在，但完整表达式仍然不匹配。

不要用 LiteralPrefix 代替完整匹配

把 LiteralPrefix 当成业务结论，会产生三类错误。第一，空前缀不代表正则无效，只是没有可提取的稳定字面量开头；第二，非空前缀不代表剩余部分可以忽略；第三，complete 不会自动增加整串边界。

• 需要整串相等时，在模式中明确写 ^... 和 $，或在业务层比较匹配范围。
• 需要忽略大小写、字符类别、重复次数或分组时，让 MatchString 完成最终判断。
• 需要处理 io.Reader 时，不要假设一定能做相同的字符串前缀预检；先按输入类型设计。
• 前缀筛选只是结构化索引或提前排除手段，是否带来收益要看规则数量和候选文本分布。

常见问题

LiteralPrefix 返回空字符串是不是说明正则匹配不到？

不是。它只说明没有可提取的固定字面量前缀，正则仍可能正常匹配。最终结果要看完整的 MatchString 或其他匹配方法。

complete=true 能不能直接用字符串比较？

不能直接这样推断。它说明正则表达式本身由该字面量组成；是否要求输入整串相等，仍取决于模式中的锚点和你的匹配方式。

找到 prefix 后还需要调用 MatchString 吗？

需要。前缀只能排除缺少它的文本，不能验证后续字符、重复次数、边界或分组条件。