Raku模式匹配是否支持守卫子句？附Scala对比及写法验证

当然支持！Raku不仅支持守卫子句，还提供了多种灵活的实现方式，咱们一步步拆解你的问题：

核心结论：Raku完全支持守卫子句 #

不管是用given/when的流程式匹配，还是用多方法的声明式匹配，Raku都能像Scala一样给模式附加条件守卫，甚至语法更贴合语义。

你的given/when版本代码分析 #

你写的这段代码逻辑是正确的，但有个小细节可以更地道：

my $ch = 23;
given $ch {
    when Int and * > 10 { say 65}
    when '+' { say 1 }
    when '-' { say -1 }
    default { say 0 }
}

Raku里专门用where关键字来定义守卫条件，替换and后语义会更清晰，写法也更符合社区惯例：

my $ch = 23;
given $ch {
    when Int where * > 10 { say 65}
    when '+' { say 1 }
    when '-' { say -1 }
    default { say 0 }
}

这段代码运行后会输出65，和你参考的Scala代码行为完全一致。

多方法版本的优化与验证 #

你补充的多方法版本是Raku中非常优雅的实现方式，利用multi子例程+where守卫，可以把匹配逻辑封装成可复用的函数：

multi washing_machine(Int \x where * > 10 ) { 65 }
multi washing_machine('+') { 1 }
multi washing_machine('-') { -1 }
multi washing_machine($_) { 0 }

# 测试调用
say washing_machine(23);   # 输出65
say washing_machine('+');  # 输出1
say washing_machine('x');  # 输出0

Raku的多方法会自动根据参数的类型、值和守卫条件，匹配最贴合的子例程分支，这种方式比given/when更适合需要重复调用的场景。

和Scala守卫模式的对比 #

Scala用if给模式加守卫（比如case _: Int if 10 < ch => 65），Raku用where关键字，两者核心逻辑完全一致：都是在基础模式匹配的前提下，附加额外的条件判断，只有条件满足时才会触发对应分支。

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