Question

我正在使用正则表达式从任意长的输入字符串中提取键值对，并遇到一种情况，对于具有重复模式的长字符串，它会导致堆栈溢出。

KV解析代码如下所示：

public static void parse(String input)
{
    String KV_REGEX = "((?:\"[^\"^ ]*\"|[^=,^ ])*) *= *((?:\"[^\"]*\"|[^=,^\\)^ ])*)";
    Pattern KV_PATTERN = Pattern.compile(KV_REGEX);

    Matcher matcher = KV_PATTERN.matcher(input);

    System.out.println("\nMatcher groups discovered:");

    while (matcher.find())
    {
        System.out.println(matcher.group(1) + ", " + matcher.group(2));
    }
}

输出的一些虚构的例子：

    String input1 = "2012-08-09 09:10:25,521 INFO com.a.package.SomeClass - Everything working fine {name=CentOS, family=Linux, category=OS, version=2.6.x}";
    String input2 = "2012-08-09 blah blah 09:12:38,462 Log for the main thread, PID=5872, version=\"7.1.8.x\", build=1234567, other=done";

调用parse(input1)会产生：

{name, CentOS
family, Linux
category, OS
version, 2.6.x}

调用parse(input2)会产生：

PID, 5872
version, "7.1.8.x"
build, 1234567
other, done

这很好（即使第一种情况需要一些字符串处理）。但是，当尝试解析很长（超过1,000个字符长）的类路径字符串时，会发生上述类溢出，并出现以下异常（start）：

Exception in thread "main" java.lang.StackOverflowError
    at java.util.regex.Pattern$BitClass.isSatisfiedBy(Pattern.java:2927)
    at java.util.regex.Pattern$8.isSatisfiedBy(Pattern.java:4783)
    at java.util.regex.Pattern$8.isSatisfiedBy(Pattern.java:4783)
    at java.util.regex.Pattern$8.isSatisfiedBy(Pattern.java:4783)
    at java.util.regex.Pattern$8.isSatisfiedBy(Pattern.java:4783)
    at java.util.regex.Pattern$CharProperty.match(Pattern.java:3345)
    ...

字符串太长而无法放在此处，但它具有以下易于重现和重复的结构：

java.class.path=/opt/files/any:/opt/files/any:/opt/files/any:/opt/files/any

任何想要重现此问题的人只需要在上面的字符串中附加:/opt/files/any几十次。在类路径字符串中创建一个包含大约90个“：/ opt / files / any”副本的字符串后，会发生堆栈溢出。

是否有一种通用方法可以修改上述KV_REGEX字符串，以便不会出现问题并产生相同的结果？

我明确地将泛型放在上面，而不是（例如）在解析之前检查最大字符串长度的黑客。

我能提出的最严格的解决方案，一个真正的反模式，是

public void safeParse(String input)
{
    try
    {
        parse(input);
    }
    catch (StackOverflowError e) // Or even Throwable!
    {
        parse(input.substring(0, MAX_LENGTH));
    }
}

有趣的是，它在我试过的几次运行中起作用，但它并不适合推荐。： - ）

Answer 1

你的正则表达式看起来过于复杂，例如我认为你还没有完全理解角色类是如何工作的。这对我来说效果更好，我不能让它溢出：

public static void parse(String input) {
    String KV_REGEX = "(\"[^\" ]*\"|[^{=, ]*) *= *(\"[^\"]*\"|[^=,) }]*)";
    Pattern KV_PATTERN = Pattern.compile(KV_REGEX);

    Matcher matcher = KV_PATTERN.matcher(input);

    System.out.println("\nMatcher groups discovered:");

    while (matcher.find()) {
        System.out.println(matcher.group(1) + ", " + matcher.group(2));
    }
}

要打破正则表达式，这将匹配：

(\"[^\" ]*\"|[^{=, ]*)：" s或任意数量的非{=,字符附带的任何内容

*= *：零到任意数量的空格，后跟=，后跟零到任意数量的空格

(\"[^\"]*\"|[^=,) }]*)：" s或任意数量的非=,) }字符附带的任何内容

Java Pattern导致堆栈溢出

1 个答案: