Go regexp.Compile 返回错误时如何把用户模式安全反馈

如果正则表达式来自搜索框、规则配置或 API 请求，就不要用 regexp.MustCompile。它适合程序启动时编译写死的常量，面对用户模式会因为语法错误触发 panic。更稳妥的做法是先限制输入，再调用 regexp.Compile；把详细错误留在受控日志中，对外只返回稳定的提示和请求编号。

为什么不能直接用 MustCompile 处理用户模式

regexp.Compile 的返回值是正则对象和错误；编译失败时正则对象不可用，错误里通常能说明是缺少右括号、非法转义还是不支持的语法。MustCompile 则会在失败时 panic，所以它只应该接收源码中可控的常量。

“安全反馈”不等于把错误字符串删掉。服务端仍然需要知道哪条规则失败，用户也需要知道应该修改规则。正确的边界是：内部保留可检索的错误码和请求 ID，外部给出“正则表达式无法解析”以及“请检查括号、转义或字符类”的可操作提示。

用 errors.As 区分错误，并把内部详情与用户消息分开

下面的辅助函数把“编译”和“反馈”放在一个清晰边界内。示例没有 TrimSpace，因为正则中的空格可能就是语义；这里只限制字节长度并检查 UTF-8。日志中的原始模式属于敏感输入，生产环境应按业务需要脱敏、截断或改用哈希。

package matcher

import (
    "errors"
    "fmt"
    "regexp"
    "regexp/syntax"
    "unicode/utf8"
)

// compileUserPattern 只把可用的 Regexp 交给调用方，错误细节留在内部。
func compileUserPattern(pattern string, requestID string) (*regexp.Regexp, error) {
    // 先挡住无效 UTF-8 和过长输入，避免把明显错误送进解析器。
    if !utf8.ValidString(pattern) {
        return nil, fmt.Errorf("request_id=%s pattern is not valid UTF-8", requestID)
    }
    if len(pattern) > 256 {
        return nil, fmt.Errorf("request_id=%s pattern exceeds 256 bytes", requestID)
    }

    re, err := regexp.Compile(pattern)
    if err == nil {
        return re, nil
    }

    var parseErr *syntax.Error
    if errors.As(err, &parseErr) {
        // Code 用于日志和指标；Expr 不回传给用户，防止泄露原始输入。
        fmt.Printf("request_id=%s regexp_code=%s pattern_len=%d\\n", requestID, parseErr.Code, len(pattern))
    } else {
        // 保留未知错误的分类，避免把所有失败都误判为语法错误。
        fmt.Printf("request_id=%s regexp_code=unknown pattern_len=%d\\n", requestID, len(pattern))
    }
    return nil, fmt.Errorf("request_id=%s: 正则表达式无法解析，请检查括号、转义和字符类", requestID)
}

这里的 *syntax.Error 是编译器解析失败时可进一步拆分的内部类型，Code 能帮助日志聚合，例如把 missing closing ) 和 invalid escape sequence 分开统计。对外返回的新错误只包含修复方向，不把 Expr 或完整原始错误文本直接拼进 JSON。

上线前用四类边界样例复查反馈

至少覆盖四种输入：合法的 ^go-[0-9]+$、缺少右括号的 (go、带尾部反斜杠的 go\\，以及超过限制的长模式。检查点不是错误字符串是否“好看”，而是服务没有 panic、响应状态稳定、日志能用 request_id 找到对应错误类别，合法模式仍能进入后续匹配。

如果规则由管理员保存，建议把错误码和字段级提示一起存入草稿状态，不要因为一次编译失败覆盖上一条已经生效的规则。更新成功后再替换线上匹配器；这样用户输错模式时，旧规则仍然可回滚。

相关问题

什么时候可以使用 MustCompile？

正则是源码中的固定常量、失败意味着程序配置或代码发布错误时可以使用。配置文件和 HTTP 请求中的模式不属于这个范围。

能不能把 syntax.Error 的 Expr 返回前端？

通常不建议。它可能包含用户输入和内部解析细节；更合适的是返回稳定错误码、简短修复建议和 request_id。

限制模式长度能代替正则安全评估吗？

不能。长度限制只解决输入边界，不能覆盖匹配耗时、业务权限或资源配额；这些问题需要单独设计。