Moose Role方法覆盖规则疑问：为何覆盖父类却不覆盖子类？

咱们先把你给出的代码片段整理清楚，方便对照理解：

A.pm（基类）

package A;
use Moose;
sub a { return 'a'; }
no Moose;
1;

A/B.pm（角色）

package A::B;
use Moose::Role;
sub a { return 'b'; }
1;

C.pm（继承+应用角色的类）

package C;
use Moose;
extends "A";
with "A::B";
no Moose;
1;

bin.pl

use v5.10;
use strict;
use warnings;
use C;
my $c = C->new();
say $c->a;

问题1：为什么角色A::B的a方法会覆盖基类A的a方法？ #

这是Moose设计时的方法优先级规则决定的：当类应用角色时，角色中的方法会优先于父类的同名方法被调用。

具体来说，Moose在处理类的方法解析顺序（MRO）时，会把角色的方法插入到当前类的直接父类之前。也就是说，当C继承A之后再应用A::B角色，C的MRO顺序大概是 C -> A::B -> A。所以当调用$c->a时，会先找到A::B中的a方法，而不是父类A的。

这是因为角色的核心作用是行为组合，Moose希望角色提供的行为能够灵活修改类的行为，而不需要改动父类代码，所以给了角色比父类更高的优先级。

问题2：如果在类C中添加自定义sub a {'c'}，为什么角色A::B的a方法不会覆盖它？ #

这同样是Moose的方法优先级规则在起作用：类自身定义的方法优先级最高，角色的方法不会覆盖类已经存在的同名方法。

当你在C中定义了自己的a方法，Moose在应用A::B角色时，会先检查C是否已经有a方法。如果存在，Moose默认不会用角色中的a方法去覆盖它——除非你显式使用override或者其他方式强制处理冲突，但默认逻辑下，类自身的方法拥有最高优先级。

简单总结Moose中方法优先级从高到低的顺序：

• 类自身定义的方法
• 应用的角色中的方法
• 父类继承来的方法

内容的提问来源于stack exchange，提问作者palik