Go regexp.Longest 调用后为什么匹配结果会变化

如果同一条 Go 正则在调用 Longest() 前后返回了不同字符串，通常不是输入变了，而是匹配策略变了。普通 Compile 使用 leftmost-first：先找最左起点，再按正则分支的优先顺序取结果；Longest 仍然固定最左起点，但会在这个起点上选择更长的匹配。

把 Longest 理解成“同一起点改取最长”，而不是“在整段文本里找全局最长”。它会修改当前 Regexp 的后续搜索偏好，应该在共享给其他 goroutine 之前完成配置。

先记住三点：默认模式重视左侧优先；Longest 只改变同一最左起点的长度选择；配置方法不能和其他方法并发调用。

先用最小模式复现结果变化

最容易看出差别的正则是 a(|b)。输入 ab 从位置 0 开始既能匹配 a，也能匹配 ab。默认模式先接受空分支，整体结果是 a；调用 Longest 后，两个候选拥有相同起点，较长的 ab 胜出。

package main

import (
	"fmt"
	"regexp"
)

func main() {
	// 这个分组让同一起点同时存在短匹配和长匹配。
	re := regexp.MustCompile(`a(|b)`)
	fmt.Println(re.FindString("ab")) // 默认取左侧优先分支：a

	// Longest 会改变 re 的后续匹配策略，而不是改变输入文本。
	re.Longest()
	fmt.Println(re.FindString("ab")) // 同一起点取更长结果：ab
}

这里的关键不是 FindString 换了算法入口，而是同一个 Regexp 的配置位被改了。所有后续查找方法，包括 FindStringIndex 和带子匹配的方法，都会使用新的偏好。

regexp.Longest 改变的到底是什么

可以把一次查找拆成三个判断。第一步是起点：Go 的正则匹配先保留最早出现的可行位置。第二步是策略：普通 Compile 在这个位置按左侧优先规则接受候选；Longest 则比较候选长度。第三步才是结果：FindString 返回整体字符串，FindStringSubmatch 还会返回分组内容。

因此，Longest 不会把后面位置出现的更长文本拿来覆盖前面位置的匹配。例如输入前面已经有一个可匹配位置时，后面更长的候选不具备竞争资格。这个边界常被误读成“全局最长”，也是日志解析、协议字段截取出现偏差的常见原因。

子匹配也要单独看。整体匹配确定后，分组如何落位仍受正则结构和匹配语义影响；如果业务只需要整体字段，优先读取下标 0，别把某个分组长度变化误认为整体匹配规则完全改变。

默认匹配、Longest 与 CompilePOSIX 怎么选

这三个方案不是简单的“谁更强”，而是约束不同：

如果只是想让普通 Go 正则在同一起点取更长结果，通常选择第二种。CompilePOSIX 不仅改变长度规则，也限制为 POSIX ERE 语法；而且存在多个同样长的左最长结果时，子匹配的选择规则还可能与普通 Longest 不同，不能只看整体字符串是否一致。

把副作用收口到构造阶段

Regexp 一般可以被多个 goroutine 并发使用，但 Longest 属于配置方法。不要在请求处理函数里按参数反复切换同一个全局正则，否则一次请求可能改变另一条请求后续查找的策略。

type Matcher struct {
	// 两个实例分别固定一种策略，避免请求期间修改共享对象。
	first *regexp.Regexp
	long  *regexp.Regexp
}

func newMatcher() Matcher {
	// 构造时一次性完成配置，返回后只调用匹配方法。
	first := regexp.MustCompile(`a(|b)`)
	long := regexp.MustCompile(`a(|b)`)
	long.Longest()
	return Matcher{first: first, long: long}
}

如果两种结果都要提供，就分别持有两个实例；如果只需要一种结果，就在初始化阶段固定它。修复后可以用带有“同一起点、短分支、长分支”的测试样例回归，重点确认整体匹配、分组和下标三个结果是否都符合业务定义。

常见问题

Longest 会让 FindAllString 返回整段文本吗？不会。每次查找仍以当前最左可行起点为优先，Longest 只影响该起点上的候选选择；多个匹配之间还要遵守非重叠查找规则。

已经调用 Longest，还能安全并发调用 FindString 吗？可以在配置完成后并发使用；不能在其他 goroutine 正在调用匹配方法时再调用 Longest。把配置和共享拆开，通常比运行时加锁切换更清楚。