基于Marpa::R2的解析器异常处理及测试不中断需求问询

嘿，刚好在Marpa::R2上折腾过类似的需求，给你分享个落地性很强的实现思路——核心就是把每个测试用例的执行逻辑都包裹在异常捕获块里，单个用例出错时及时拦截、输出清晰提示，同时让整个测试流程继续跑下去。下面是具体步骤和代码示例：

1. 用Perl eval 捕获分词/解析异常 #

Marpa::R2在分词失败（比如遇到未知token）或解析出错（语法不符合规则）时，通常会直接抛出异常打断程序。我们可以用Perl的eval块把单个测试用例的执行逻辑包起来，捕获这些异常：

假设你原来的测试逻辑是这样的：

foreach my $test_case (@test_cases) {
    my $result = parse_expression($test_case->{input});
    # 断言结果是否匹配预期
}

改造后给每个用例加上异常捕获：

foreach my $test_case (@test_cases) {
    my ($result, $error_msg);
    eval {
        # 执行解析逻辑，成功时返回真值
        $result = parse_expression($test_case->{input});
        1;
    } or do {
        # 捕获异常信息，存在$@变量里
        $error_msg = $@;
    };

    # 分支处理：要么输出错误，要么验证结果
    if ($error_msg) {
        print "❌ 测试用例「$test_case->{name}」失败：\n";
        print "   输入表达式：$test_case->{input}\n";
        print "   错误详情：$error_msg\n\n";
    } else {
        if ($result eq $test_case->{expected}) {
            print "✅ 测试用例「$test_case->{name}」执行成功\n";
        } else {
            print "⚠️ 测试用例「$test_case->{name}」结果不符：\n";
            print "   预期：$test_case->{expected}\n";
            print "   实际：$result\n\n";
        }
    }
}

2. 优化错误信息可读性 #

Marpa的原生错误信息可能带一堆堆栈跟踪，你可以做个简单处理，只保留核心错误内容：

# 捕获异常时过滤冗余信息
$error_msg = $@ =~ /^(.*?)( at .* line \d+)?$/s ? $1 : $@;

3. 整合到Test::More测试框架（如果用的话） #

要是你用Perl标准的Test::More写测试，也能做到容错式执行，同时生成规范的测试报告：

use Test::More tests => scalar @test_cases;

foreach my $test_case (@test_cases) {
    my $result;
    eval {
        $result = parse_expression($test_case->{input});
        pass("测试用例「$test_case->{name}」解析成功");
        is($result, $test_case->{expected}, "结果匹配预期");
        1;
    } or do {
        fail("测试用例「$test_case->{name}」解析失败：$@");
    };
}

这样哪怕某个用例挂了，Test::More也会继续执行剩余用例，最后给你完整的测试统计。

4. 额外的实用技巧 #

• 要是你用自定义分词器，可以在分词阶段就加入错误检查，返回明确的错误标记（比如TOKEN_ERROR），让解析器提前反馈错误位置；
• 可以把错误信息写入日志文件，方便后续排查：

open my $log_fh, '>>', 'parser_test_errors.log' or die "无法打开日志文件：$!";
print $log_fh "[" . localtime() . "] 测试用例「$test_case->{name}」失败：$error_msg\n";
close $log_fh;

这样改造后，你的测试流程就能完美实现“单个用例失败不中断，错误信息清晰可查”的需求啦！

内容的提问来源于stack exchange，提问作者zubug55