在mixins中使用角色签名

Question

在您想要混入的角色中使用给予角色的签名似乎存在问题.最小的例子:

#!/usr/bin/env perl6

role by-n[$n=1] {
    method multiply(Str $str) { return $str x $n; }
}

role by-string[$n=1] does by-n[$n] {
    method whatever(Str $str) { return $n ~ "?" ~ $.multiply( $str ); }
}

class mighty-þor does by-string[2] {};

say mighty-þor.whatever("*");

这会返回一个错误,似乎表明它$n有一个Mu类型:

Cannot resolve caller infix:<x>(Str, Mu); none of these signatures match:
    ()
    ($x)
    ($s, Num:D $n)
    ($s, Any:D $n)
    ($s, Any:U $n)
    (Str:D $s, Int:D $repetition --> Str:D)
    (str $s, int $repetition --> str)
  in method multiply at composable-roles-fail.p6 line 4
  in method whatever at composable-roles-fail.p6 line 8
  in block <unit> at composable-roles-fail.p6 line 13

但是,role by-string[$n=1] does by-n[1]或任何其他数字运作良好.尝试修复签名中的类型:

role by-n[Int $n=1] {
    method multiply(Str $str) { return $str x $n; }
}

role by-string[Int $n=1] does by-n[$n] {
    method whatever(Str $str) { return $n ~ "?" ~ $.multiply( $str ); }
}

产生不同的错误:

===SORRY!=== Error while compiling /home/jmerelo/Code/perl6/dev.to-code/perl6/composable-roles-fail.p6
No appropriate parametric role variant available for 'by-n'
at /home/jmerelo/Code/perl6/dev.to-code/perl6/composable-roles-fail.p6:11

然而,再一次,改变它的role by-string[Int $n=1] does by-n[1]作品.知道这里发生了什么或者可以做些什么来解决这个问题？

Answer 1

我的结论是，这是一个错误，或者至少是一个 NYI。

问题在于，直到角色实际组成一个类时，$nin才真正被设置。by-string但是，角色的添加by-n发生在角色的编译时by-string。此时我们不知道它by-string被组合后会得到什么值。

因此，为了使其发挥作用，我们需要延迟by-n向角色添加角色by-string，直到by-string角色组成为止。这不是目前的实施方式，afaics。

我很确定已经有一张票了。但为了确保这不会被遗漏，您也许应该打开一个 GitHub 问题。

同时，我目前看到的解决此问题的唯一方法是将by-n角色的方法手动复制到by-string角色。

希望我有更好的消息告诉你。