在子模块中重用父符号

Question

我正在寻求在子模块中重复使用与其父模块中相同的角色/类名称。你知道，就像一个专业。

目的是通过简单地将顶部的 use Dan 更改为 use Dan::Pandas ，能够为父系列和子系列变体重复使用相同的脚本代码。

我试图坚持角色而不是类组成，以便可以将行为应用于其他对象，例如。 class GasBill does Series;

这是 MRE：

me@ubuntu:~/spike# tree
.
├── lib
│   ├── Dan
│   │   └── Pandas.rakumod
│   └── Dan.rakumod
└── spike.raku

Dan.rakumod：

  1 unit module Dan;
  2 
  3 role Series is export {
  4     method no { "no" }
  5 }

Pandas.rakumod：

  1 unit module Dan::Pandas;
  2 
  3 use Dan;
  4 
  5 role Series does Dan::Series is export {
  6     method yo { "yo" }
  7 }

spike.raku：

  1 use lib './lib';
  2 use Dan::Pandas;
  3 
  4 my $s = Series.new;                  #version 1                      
  5 #my $s = Dan::Pandas::Series.new;    #version 2 "fqm"
  6 
  7 say $s.no, $s.yo, $s.^name;

我的版本 1 说：

No appropriate parametric role variant available for 'Dan::Series':
    Ambiguous call to '(Dan::Series)'; these signatures all match:
      (::$?CLASS ::::?CLASS Mu $)
      (::$?CLASS ::::?CLASS Mu $)
  in block <unit> at spike.raku line 4

我的版本 2 说：

Could not find symbol '&Series' in 'Dan::Pandas'
  in block <unit> at spike.raku line 5

我相信 raku 确实有办法做这个，但是该死的，如果我能解决的话！

Answer 1

TL;DR 您需要一个解决方案来避免两个角色具有相同的全名。

高尔夫

role R {}
role R {}
R.new

显示：（

No appropriate parametric role variant available for 'R':
    Ambiguous call to '(R)'; these signatures all match:
      (::$?CLASS ::::?CLASS Mu $)
      (::$?CLASS ::::?CLASS Mu $)

请参阅编写存根角色时的直觉引用警告对错误消息进行更多讨论。）

解决方案

1. Just Dan。

   • Dan.rakumod：

     单元模块丹；
     
     角色系列是 export { method no { "no" } }
     

   • spike.raku：

     使用 lib '.';
     
     使用丹；
     
     我的 $s = Series.new;
     
     .say for $s.?no, $s.?yo, $s.^name;
     

   • 运行spike显示：

     <前><代码>否
     零
     丹::系列

2. Introduce Dan::Pandas。

   • 更改 Dan，以便变体模块可以使用它而无需它们导入 Dan< /code> 的非限定 Series 符号进入其词法范围。

     （因为否则 Dan 的未限定 Series 符号最终会位于其词法范围以及其自己的中em> 不合格的 Series 符号，并且您会收到“不明确的调用”错误。）

   • 丹：

     单元模块丹；
     
     角色系列是 export { method no { "no" } }
     
     类 Dan::Variant-Export-Dummy-Type 是 export(:Variant-Exports) {}
     

     更改是最后一行，一个带有新导出标记的虚拟声明。 （以更简洁的方式介绍新标签，留给读者作为练习。）

   • 丹::熊猫:

     单元模块 Dan::Pandas;
     
     使用 Dan :Variant-Exports；
     
     角色 Series 的作用 Dan::Series 是导出 { method yo { "yo" } }
     

     更改是使用新的 :Variant-Exports 标记和 use Dan ... 语句。这会阻止 Dan 的 Series 角色以该非限定名称导入 Dan::Pandas。

   


3. 用户程序现在将按预期/想要的方式工作。

   • 只需更改 spike.raku 中的 use 语句即可：

     使用 lib '.';
     
     使用 Dan::Pandas；
     
     我的 $s = Series.new;
     
     .say for $s.?no, $s.?yo, $s.^name;
     

   • 仅对用户程序进行此更改即可运行：

     <前><代码>否
     哟
     丹::熊猫::系列

   • 请注意，使用这些模块的程序无需了解 :Variant-Exports 标记。这只是 Dan 模块和 Dan::Pandas 等模块的内部细节，可以让它们避免本答案开头所示的意外角色变体重复问题。< /p>

Answer 2

如果我理解正确，您不需要/不想在最终模块中使用非专业角色（也就是说，您没有使用 Dan.xml 中定义的 Series ）。 spike.raku 中的 rakumod – 您仅使用 Pandas.rakumod 中定义的专用 Series）。这是正确的吗？

如果是这样，解决方案很简单：只需不要从 Dan.rakumod 中导出 Series – 它仍然是我们的 范围（角色的默认值），因此您仍然可以按照当前的方式在 Pandas.rakumod 中使用它 (Dan::Series)。但是，由于它未导出，因此不会与无前缀的 Series 产生名称冲突。

Answer 3

我的解决方案

采纳 @codesections [FQM 可以在没有 is export 的情况下使用] 和 @raiph [您可以使用例如 is export(:ALL) 限定导出的建议]，然后 - 是的 - 有一个巧妙的方法可以做到这一点。

即。 https://docs.raku.org/language/modules#Exporting_and_selective_importing

事实证明这是低接触（只需更改两行），并且正如我最初希望的那样，raku 设计师已经预料到了这一点。

这是我的OP调整后的代码...

Dan.rakumod：

  1 unit module Dan;
  2 
  3 role Series is export(:ALL) {    #<== added the selective export
  4     method no { "no" }
  5 }  

Pandas.rakumod（无变化）：

  1 unit module Dan::Pandas;
  2 
  3 use Dan;
  4 
  5 role Series does Dan::Series is export {
  6     method yo { "yo" }
  7 }  

spike.raku：

  1 use lib './lib';
  2 #use Dan::Pandas;     #\ either of these work
  3 use Dan :ALL;         #/ <== use :ALL to get 'Series'
  4 
  5 my $s = Series.new;
  6 
  7 say $s.no, $s.yo, $s.^name;  #No such method 'yo' if Pandas not used