如何将一个签名测试应用于多个职位

Question

我在https://github.com/p6steve/raku-Physics-Measure中编写了一些代码，在每个数学运算中查找测量类型，并将工作交给非标准方法，这些方法调整单位和误差方面，同时返回新值价值：

multi infix:<+> ( Measure:D $left, Real:D $right ) is export {
    my $result   = $left.clone;
    my $argument = $right;
    return $result.add-const( $argument );
}
multi infix:<+> ( Real:D $left, Measure:D $right ) is export {
    my $result   = $right.clone;
    my $argument = $left;
    return $result.add-const( $argument );
}
multi infix:<+> ( Measure:D $left, Measure:D $right ) is export {
    my ( $result, $argument ) = infix-prep( $left, $right );
    return $result.add( $argument );
}

这个模式对于 <[+-*/]> 重复了 4 次，所以它相当于相当多的样板文件；我想减少一点。

那么，是否有一种更简洁的方法将签名中的单个 Measure|Real 测试应用于两个位置，如果两个或一个匹配但不匹配则触发多重，并且为不妥协的操作 <[ 保留该位置-/]>？

我不确定不使用多重是最优雅的 - 也许只是将 Real-Measure 和 Measure-Real 压缩为 1？

Answer 1

有几种方法可以解决这个问题，但我可能会做的 \xe2\x80\x93 和一个通常有用的模式 \xe2\x80\x93 是使用一个子集来创建一个稍微过度包含的多重，然后重新调度您不应该包含的情况。对于您提供的示例，可能看起来有点像：

\n

subset RealOrMeasure where Real | Measure;\nmulti infix:<+> ( RealOrMeasure:D $left, RealOrMeasure:D $right )  {\n    given $left, $right {\n       when Real,    Real    { nextsame }\n       when Real,    Measure { $right.clone.add-const($left)  }\n       when Measure, Real    {  $left.clone.add-const($right) }\n       when Measure, Measure { my ($result, $argument) = infix-prep $left, $right;\n                               $result.add($argument)}}\n\n}\n

\n

（注意：我还没有测试过这段代码Measure；如果它不起作用，请告诉我。但总体思路应该是可行的。）

\n