解决自定义语法解析难题：用yosymfony/parser-utils构建高效解析器

WBOY

发布时间：2025-07-08 13:00:18

1048人浏览过

来源于php中文网

原创

想象一下，你正在开发一个需要处理特定格式输入数据的应用程序。这可能是一个简单的计算器，需要解析像 "1 + 2 - 3" 这样的数学表达式；也可能是一个配置系统，需要理解自定义的键值对语法；甚至是一个迷你模板引擎，需要解析特定的占位符。当你尝试手动编写代码来解析这些字符串时，你会很快发现这简直是噩梦：

字符串分割与识别：如何准确地识别出数字、操作符、变量名等“词法单元”（Token）？仅仅依靠正则表达式，对于复杂的语法结构往往力不从心。
语法结构判断：识别出词法单元后，如何判断它们是否按照正确的顺序排列，是否符合预设的语法规则？例如，"1 + +" 显然是错误的，但程序如何“知道”这一点？
错误处理：当用户输入不符合语法规则时，如何给出清晰的错误提示，而不是让程序崩溃？
代码可维护性：随着语法规则的复杂化，手动编写的解析逻辑会迅速膨胀，变得难以理解和维护。

这些问题让开发者头疼不已。幸运的是，php社区提供了强大的工具来帮助我们应对这些挑战，其中 yosymfony/parser-utils 就是一个非常出色的选择。

Composer在线学习地址：学习地址

告别手动解析：拥抱 `yosymfony/parser-utils`

yosymfony/parser-utils 是一个专门为 PHP 开发者设计的库，它提供了一套优雅的工具，用于构建“递归下降解析器”（Recursive Descent Parser）。简单来说，它将复杂的解析过程拆分为两个主要阶段：

词法分析 (Lexing)：将原始输入字符串分解成一系列有意义的“词法单元”（Tokens）。例如，将 "1 + 1" 分解为 T_NUMBER(1)、T_PLUS(+)、T_NUMBER(1)。
语法分析 (Parsing)：根据预定义的语法规则，检查这些词法单元的序列是否合法，并通常会构建一个抽象语法树（AST）或直接执行相应的操作。

通过 Composer，安装 yosymfony/parser-utils 变得异常简单：

composer require yosymfony/parser-utils

实战演练：构建一个简单的表达式解析器

让我们以解析简单的加减法表达式为例，看看 yosymfony/parser-utils 如何让这一切变得轻而易举。

1. 定义词法单元 (Lexer)

首先，我们需要一个词法分析器来识别表达式中的数字、加号和减号。BasicLexer 类允许我们通过正则表达式定义这些词法单元：

 词法单元名称
$lexer = new BasicLexer([
    '/^([0-9]+)/x' => 'T_NUMBER', // 匹配一个或多个数字，定义为 T_NUMBER
    '/^(\+)/x'     => 'T_PLUS',   // 匹配加号，定义为 T_PLUS
    '/^(-)/x'      => 'T_MINUS',  // 匹配减号，定义为 T_MINUS
    '/^\s+/'       => 'T_SPACE',  // 匹配空格，我们不关心其值，所以不需要捕获组
]);

// 现在，lexer 可以将字符串转换为 Token 列表
// $tokens = $lexer->tokenize('1 + 2 - 3');
// print_r($tokens);

BasicLexer 会根据定义的正则表达式从输入字符串中逐个提取词法单元。

2. 构建语法解析器 (Parser)

接下来，我们创建解析器。AbstractParser 是一个抽象基类，我们只需实现其 parseImplementation 方法，在该方法中定义具体的解析逻辑。TokenStream 类是解析器的核心，它提供了遍历和匹配词法单元的强大功能。

Figma

Figma 是一款基于云端的 UI 设计工具，可以在线进行产品原型、设计、评审、交付等工作。

下载

matchNext('T_NUMBER')->getValue();

        // 循环处理后续的加减操作
        // isNextAny 检查下一个词法单元是否是 T_PLUS 或 T_MINUS
        while ($stream->isNextAny(['T_PLUS', 'T_MINUS'])) {
            // moveNext 移动指针到下一个词法单元，并返回该词法单元
            switch ($stream->moveNext()->getName()) {
                case 'T_PLUS':
                    // 匹配下一个 T_NUMBER 并执行加法
                    $result += (int) $stream->matchNext('T_NUMBER')->getValue();
                    break;
                case 'T_MINUS':
                    // 匹配下一个 T_NUMBER 并执行减法
                    $result -= (int) $stream->matchNext('T_NUMBER')->getValue();
                    break;
                default:
                    // 理论上不会执行到这里，因为 isNextAny 已经过滤了
                    throw new SyntaxErrorException("Something went wrong with operator.");
            }
        }

        // 返回最终的计算结果
        return $result;
    }
}

3. 运行解析器

现在，将词法分析器和语法解析器组合起来，就可以解析表达式了：

 'T_NUMBER',
    '/^(\+)/x'     => 'T_PLUS',
    '/^(-)/x'      => 'T_MINUS',
    '/^\s+/'       => 'T_SPACE',
]);

$parser = new ExpressionParser($lexer);

try {
    echo "Parsing '1 + 1': " . $parser->parse('1 + 1') . PHP_EOL;       // 输出: 2
    echo "Parsing '10 - 5 + 2': " . $parser->parse('10 - 5 + 2') . PHP_EOL; // 输出: 7
    echo "Parsing '42': " . $parser->parse('42') . PHP_EOL;             // 输出: 42
    // echo "Parsing '1 + -': " . $parser->parse('1 + -') . PHP_EOL; // 这行会抛出 SyntaxErrorException
} catch (SyntaxErrorException $e) {
    echo "Syntax Error: " . $e->getMessage() . PHP_EOL;
}