编写属性特征

时间:2018-07-31 17:24:00

标签: perl6 mop

我要选择用于新项目的语言:Perl5或Perl6。到目前为止,除了缺少Moo的惰性属性之外,还有6获胜。我在模块中找到的两个实现都缺少关键功能。因此,我尝试编写自己的实现。

角色vs.班级

我遇到的第一个问题是角色中声明的属性.package的内容。考虑以下内容:

 role HOW1 {
     method compose ( Mu $class ) {
         note "HOW1.compose";
         nextsame;
     }
 }

 role HOW2 {
     method compose ( Mu $class ) {
         note "HOW2.compose";
         nextsame;
     }
 }

 multi trait_mod:<is> (Attribute:D $attr, :$mooish!) {
     note "Attribute's package.HOW: ", $attr.package.HOW;
     note '$*PACKAGE.HOW: ', $*PACKAGE.HOW;
     $attr.package.HOW does HOW1;
     $*PACKAGE.HOW does HOW2;
 }

 class Foo {
     has $.bar is mooish;
 }

 role FooRole {
     has $.baz is mooish;
 }

脚本的输出如下:

Attribute's package.HOW: Perl6::Metamodel::ClassHOW.new
$*PACKAGE.HOW: Perl6::Metamodel::ClassHOW.new
HOW2.compose
HOW1.compose
Attribute's package.HOW: Perl6::Metamodel::GenericHOW.new
$*PACKAGE.HOW: Perl6::Metamodel::ParametricRoleHOW.new
HOW2.compose

从输出中可以清楚地看到,将角色应用于元类始终适用于类,并且仅适用于具有角色的$*PACKAGE.HOW。使用$*PACKAGE而不是.package可以被认为是一种解决方案,但不是我真正想使用的解决方案。 (但是,如果没有更好的方法...

访问者

我也想为私有属性提供惰性功能。是的,这仅适用于self!bar语法,但是这是我愿意做出的牺牲。问题在于,到目前为止,我发现的所有定制访问器示例都使用Attribute.set_value()方法,该方法太底层了。我想要这样的东西:

 role MooishHOW {
     method compose ( Mu $class ) {
         my $accessor = $class.^add_private_method( 'bar1',
             method () is rw {
                 note self.WHO, ".bar1";
                 Proxy.new(
                     FETCH => -> $o {
                         $!bar1;
                     },
                     STORE => method ( $val ) {
                         note "Storing";
                         $!bar1 = $val;
                     }
                 );
             }
         );

         callsame;
     }
 }

 multi trait_mod:<is> (Attribute:D $attr, :$mooish!) {
     $attr.package.HOW does MooishHOW unless $attr.package.HOW ~~ MooishHOW;
 }

 class Foo {
     has $.bar is mooish;
     has $!bar1 is mooish;

     method to-bar1 {
         note "bar1 val:",self!bar1;
     }
 }

 my $inst = Foo.new;
 $inst.to-bar1; 

但是由于范围($!bar1),MooishRole表示法无法编译。我是否缺少技巧,可以在self上引用私有属性?

棘手的人

也许可以将属性设为Proxy容器吗?这将大大简化懒惰实现的总体逻辑。

1 个答案:

答案 0 :(得分:3)

我已经通过最终实现目标并发布了AttrX::Mooish模块来回答了所有问题。

到目前为止,第一个问题的答案是:不。 $*PACKAGE是目前唯一的方法。

第二个问题:没有答案,但是最终代码仍然必须依靠set_value()

一个棘手的事情恰巧是可能的:set_value()确实将属性绑定到容器,从而可以绑定到Proxy对象。无需牺牲,可以通过懒惰直接访问私有属性。

谢谢大家,您的回答让我绕过了一些粗糙的边缘!