Moose::Role 带有重写方法的怪异

Question

Base.pm:

package Base;
use Moose::Role;

sub f {
  my ($self) = @_;
  print "In role.\n";
}

1;

X.pm:

package X;
use Moose;

with 'Base';

around 'f' => sub {
  my ($next, $self) = @_;
  print "Nevermind, we are in class X.\n";
};

__PACKAGE__->meta->make_immutable;
1;

Y.pm:

package Y;
use Moose;

with 'Base';

override 'f' => sub {
  my ($self) = @_;
  print "Nevermind, we are in class Y.\n";
};

__PACKAGE__->meta->make_immutable;
1;

那么 X 有效，而 Y 无效。这是一个奇怪的设计，因为override 只是around 的一个特例，而且作为一个特例也应该可以工作。

谁能解释为什么这个设计决定以及为什么它如此奇怪？

$ perl X.pm 
$ perl Y.pm 
Cannot add an override method if a local method is already present at /usr/lib/i386-linux-gnu/perl5/5.22/Moose/Exporter.pm line 419
    Moose::override('f', 'CODE(0x9c002f8)') called at Y.pm line 9

Answer 1

documentation describes override 为：

覆盖方法是一种明确表示“我正在从我的超类中覆盖此方法”的方式。您可以在此方法中调用super，它将按预期工作。同样的事情可以通过普通的方法调用和SUPER:: 伪包来完成；这真的是你的选择。

你所做的与这个定义相矛盾。使用角色，f 安装在您的包中。您正试图在同一个包中定义另一个 f。

你的角色被称为Base这一事实向我表明，当谈到继承与组合之间的区别时，你有些困惑。

purpose of around是在当前类中包装一个方法，不管是在同一个包中实现还是继承或组合：

方法修饰符可用于向方法添加行为，而无需修改这些方法的定义。

只要简单地阅读这两个 sn-ps，我就可以清楚地区分它们。

当您应用定义f 的角色时，它本身会覆盖任何继承的方法f。如果你然后说override 'f'，则表明你打算再次覆盖f。好吧，一个类中只能有一种方法f。应该算哪一个？您通过应用角色获得的角色，还是您刚刚定义的角色？出于所有意图和目的，您从组成角色中获得的方法就像您在类中手动定义的方法一样。 a priori 没有理由比另一个更重要。

将此视为航空旅行。将方法修饰符想象成类：首先，商务、经济等。所以，在头等舱中，get_dinner_menu 可能包裹着开胃菜、糖果、甜点等。

另一方面，override 就像更改航班一样。就好像您在说“我想同时乘坐 TK 1 和 UIA 213”。没有意义。

也许下面的脚本会通过显示around 的幼稚实现并在不使用override 的情况下覆盖方法来使事情变得更清晰。

#!/usr/bin/env perl

use strict;
use warnings;

{
    package MyRole;

    use Moose::Role;

    sub f {
        print "in role\n";
    }
}

{
    package X;
    use Moose;

    with 'MyRole';

    around 'f' => sub {
        my ($orig, $self) = @_;
        print "In wrapper\n";
        return $self->$orig( @_ );
    };

    {
        my $f = \&f;
        {
            no warnings 'redefine';
            *f = sub {
                my ($self) = @_;
                print "In wrapper wrapper\n";
                return $self->$f( @_ );
            }
        }
    }
}

{
    package Y;

    use Moose;
    with 'MyRole';

    sub f {
        print "In overridden method\n";
    }
}

print '=-=' x 22, "\n";

my $x = X->new;
$x->f;

print '=-=' x 22, "\n";

my $y = Y->new;
$y->f;

输出：

=-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==- ==-==-==-==-==-==-=
在包装器中
在包装中
在角色中
=-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==- ==-==-==-==-==-=
在被覆盖的方法中