Raku自定义infix运算符报错“two terms in a row”求助

问题核心 #

• 自定义infix:<α>这类运算符在模块内部可正常使用，但外部调用时编译器报错two terms in a row
• 普通sub定义的运算符无法导出生效，multi sub定义的可以正常工作
• 交互式Raku环境重启后，部分测试案例能恢复正常

问题原因 #

普通sub定义的运算符在导出时，编译器无法在外部代码的词法解析阶段识别其运算符身份，只会将其当作普通标识符处理。比如$a α $b会被解析成$a、α、$b三个连续术语，违反语法规则从而报错。

而multi sub定义的运算符会被Raku的符号系统优先标记为运算符类型，导出时能携带完整的语法元信息，外部编译器可以正确识别它的infix属性。交互式环境重启后，模块缓存被清空，重新加载时符号表初始化正常，所以部分场景能临时恢复，但这并非根本解法。

正确实现方式 #

1. 用multi sub定义并显式导出 #

推荐用multi sub配合is export特质，确保编译器正确识别并导出运算符的语法类型：

module MyOperators {
    class MyClass {
        has Int $.value;
    }

    # 定义并导出infix运算符
    multi sub infix:<α>(MyClass $a, MyClass $b) is export {
        MyClass.new(value => $a.value + $b.value);
    }
}

2. 普通sub的兼容处理 #

如果必须使用普通sub定义，需在外部调用前提前声明运算符的语法类型，告知编译器这是infix运算符：

# 外部代码
use MyOperators;
# 提前声明运算符类型，避免解析错误
sub infix:<α>($, $);

my $x = MyClass.new(value => 1);
my $y = MyClass.new(value => 2);
say $x α $y; # 正常执行，输出MyClass.new(value => 3)

3. 解决交互式环境缓存问题 #

在Raku REPL或一次性执行脚本时，若之前加载过旧版本模块，需重启环境或使用:reload参数强制重新加载模块：

rakudo -MMyOperators:reload -e '
    use MyOperators;
    my $x = MyClass.new(value => 5);
    my $y = MyClass.new(value => 3);
    say $x α $y;
'

测试验证要点 #

• 模块内部测试：直接调用运算符，确认业务逻辑正常
• 外部测试：加载模块后直接使用运算符，普通sub需提前声明类型
• 优先级测试：若需自定义运算符优先级，可添加:assoc和:precedence特质，比如multi sub infix:<α>(...) is export :assoc<left> :precedence<multiplication> {...}

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