mirror of
https://github.com/VictoriaMetrics/VictoriaMetrics.git
synced 2024-12-15 16:30:55 +01:00
e1bd38fa97
The following regex patterns are optimized: - literal string match, e.g. "foo" - prefix match, e.g. "foo.*" and "foo.+" - substring match, e.g. ".*foo.*" and ".+foo.+" - alternate values match, e.g. "foo|bar|baz"
120 lines
3.2 KiB
Go
120 lines
3.2 KiB
Go
package regexutil
|
|
|
|
import (
|
|
"regexp"
|
|
"strings"
|
|
)
|
|
|
|
// PromRegex implements an optimized string matching for Prometheus-like regex.
|
|
//
|
|
// The following regexs are optimized:
|
|
//
|
|
// - plain string such as "foobar"
|
|
// - alternate strings such as "foo|bar|baz"
|
|
// - prefix match such as "foo.*" or "foo.+"
|
|
// - substring match such as ".*foo.*" or ".+bar.+"
|
|
type PromRegex struct {
|
|
// prefix contains literal prefix for regex.
|
|
// For example, prefix="foo" for regex="foo(a|b)"
|
|
prefix string
|
|
|
|
// Suffix contains regex suffix left after removing the prefix.
|
|
// For example, suffix="a|b" for regex="foo(a|b)"
|
|
suffix string
|
|
|
|
// substrDotStar contains literal string for regex suffix=".*string.*"
|
|
substrDotStar string
|
|
|
|
// substrDotPlus contains literal string for regex suffix=".+string.+"
|
|
substrDotPlus string
|
|
|
|
// orValues contains or values for the suffix regex.
|
|
// For example, orValues contain ["foo","bar","baz"] for regex suffix="foo|bar|baz"
|
|
orValues []string
|
|
|
|
// reSuffix contains an anchored regexp built from suffix:
|
|
// "^(?:suffix)$"
|
|
reSuffix *regexp.Regexp
|
|
}
|
|
|
|
// NewPromRegex returns PromRegex for the given expr.
|
|
func NewPromRegex(expr string) (*PromRegex, error) {
|
|
if _, err := regexp.Compile(expr); err != nil {
|
|
return nil, err
|
|
}
|
|
prefix, suffix := Simplify(expr)
|
|
orValues := GetOrValues(suffix)
|
|
substrDotStar := getSubstringLiteral(suffix, ".*")
|
|
substrDotPlus := getSubstringLiteral(suffix, ".+")
|
|
// It is expected that Optimize returns valid regexp in suffix, so use MustCompile here.
|
|
// Anchor suffix to the beginning and the end of the matching string.
|
|
suffixExpr := "^(?:" + suffix + ")$"
|
|
reSuffix := regexp.MustCompile(suffixExpr)
|
|
pr := &PromRegex{
|
|
prefix: prefix,
|
|
suffix: suffix,
|
|
substrDotStar: substrDotStar,
|
|
substrDotPlus: substrDotPlus,
|
|
orValues: orValues,
|
|
reSuffix: reSuffix,
|
|
}
|
|
return pr, nil
|
|
}
|
|
|
|
// MatchString retruns true if s matches pr.
|
|
//
|
|
// The pr is automatically anchored to the beginning and to the end
|
|
// of the matching string with '^' and '$'.
|
|
func (pr *PromRegex) MatchString(s string) bool {
|
|
if !strings.HasPrefix(s, pr.prefix) {
|
|
// Fast path - s has another prefix than pr.
|
|
return false
|
|
}
|
|
s = s[len(pr.prefix):]
|
|
if len(pr.orValues) > 0 {
|
|
// Fast path - pr contains only alternate strings such as 'foo|bar|baz'
|
|
for _, v := range pr.orValues {
|
|
if s == v {
|
|
return true
|
|
}
|
|
}
|
|
return false
|
|
}
|
|
if pr.substrDotStar != "" {
|
|
// Fast path - pr contains ".*someText.*"
|
|
return strings.Contains(s, pr.substrDotStar)
|
|
}
|
|
if pr.substrDotPlus != "" {
|
|
// Fast path - pr contains ".+someText.+"
|
|
n := strings.Index(s, pr.substrDotPlus)
|
|
return n > 0 && n + len(pr.substrDotPlus) < len(s)
|
|
}
|
|
switch pr.suffix {
|
|
case ".*":
|
|
// Fast path - the pr contains "prefix.*"
|
|
return true
|
|
case ".+":
|
|
// Fast path - the pr contains "prefix.+"
|
|
return len(s) > 0
|
|
}
|
|
// Fall back to slow path by matching the original regexp.
|
|
return pr.reSuffix.MatchString(s)
|
|
}
|
|
|
|
func getSubstringLiteral(expr, prefixSuffix string) string {
|
|
if !strings.HasPrefix(expr, prefixSuffix) {
|
|
return ""
|
|
}
|
|
expr = expr[len(prefixSuffix):]
|
|
if !strings.HasSuffix(expr, prefixSuffix) {
|
|
return ""
|
|
}
|
|
expr = expr[:len(expr)-len(prefixSuffix)]
|
|
prefix, suffix := Simplify(expr)
|
|
if suffix != "" {
|
|
return ""
|
|
}
|
|
return prefix
|
|
}
|
|
|