如何正确解析递归括号？

Question

我需要解析一个包含一些以递归方式处理的括号的字符串，但我在确定括号的优先级时遇到了麻烦。 例如，我有字符串

$truth = "((A^¬B)->C)";

我需要返回括号之间的内容。我已经使用以下正则表达式完成了它：

preg_match_all("~\((.*?)\)~", $truth, $str);

但问题是它返回第一个“（”和第一个“）”之间的内容，即

(A^¬B

而不是这个，我需要它“知道”括号正确关闭的位置，以便返回

(A^¬B)->C

如何根据优先顺序返回此内容？谢谢！

Answer 1

对于您的示例字符串，类似这样的内容将递归地为您提供括号的内容。它通过在正则表达式的每一端使用^[^(]* 和[^)]*$ 强制匹配的括号成为最外层的一对。

$truth = "((A^¬B)->C)";
while (strpos($truth, '(') !== false) {
    preg_match("~^[^(]*\((.*?)\)[^)]*$~", $truth, $str);
    $truth = $str[1];
    echo "$truth\n";
}

输出

(A^¬B)->C 
A^¬B

但请注意，这将无法正确解析诸如(A+B)-(C+D) 之类的字符串。如果这可能是您的情况，this answer 可能会有所帮助。

Demo on 3v4l.org

Answer 2

您现在遇到的主要问题是? 非贪婪位。如果您将其更改为 .+ greedy 它将匹配您想要的。

$truth = "((A^¬B)->C)";
preg_match('/\(.+\)/', $truth, $match);

Try it

输出

(A^¬B)->C

如果要匹配内部对，可以使用递归子模式：

$truth = "((A^¬B)->C)";
preg_match('/\(([^()]+|(?0))\)/', $truth, $match);

Try It online

输出

A^¬B

如果您需要更进一步，那么您可以制作一个词法分析器/解析器。我这里有一些例子：

https://github.com/ArtisticPhoenix/MISC/tree/master/Lexers