Question

使用.does我可以检查某个类型是否具有我已经知道的角色。我想获得角色列表。继承有.^mro但我在元模型中没有看到类似的东西。

除此之外，给定＆＃34; type＆＃34;，如何判断它是被定义为类还是角色？

Answer 1

.^roles

say Rat.^roles; # ((Rational[Int,Int]) (Real) (Numeric))

默认情况下，它包含每个角色，包括其他角色带来的角色。要仅使用第一级:!transitive

Rat.^roles(:!transitive); # ((Rational[Int,Int]))

Answer 2

对于第一个问题，已经有了一个很好的答案。关于第二个，每个元对象都有一个archetypes方法，该方法又包含由该元类型表示的类型的一系列属性。这是因为Perl 6对新的元类型开放（可能更容易被认为是＆＃34;类型类型＆＃34;）;可能今天最广泛使用的例子是OO::Monitors。原型更侧重于人们可以用这种类型做什么。例如：

> role R { }; say "C: {.composable} I: {.inheritable}" given R.HOW.archetypes; 
C: 1 I: 0
> class C { }; say "C: {.composable} I: {.inheritable}" given C.HOW.archetypes; 
C: 0 I: 1

可以反省可用属性集：

> Int.HOW.archetypes.^methods(:local)
(nominal nominalizable inheritable inheritalizable composable 
composalizable generic parametric coercive definite augmentable)

例如，＆＃34;名义上＆＃34;意味着＆＃34;这可以作为名义类型＆＃34;和＆＃34;可增强的＆＃34;意味着＆＃34;是否允许增加这种类型＆＃34;。类似于＆＃34;可继承的＆＃34;意思是＆＃34;我可以继承这种类型＆＃34; - 也就是说，即使我不能从这种类型继承，也可以将它变成我可以继承的类型。 role不可继承，但它是可继承的，对它的继承操作将产生角色的双关语。这就是在写class C is SomeRole { }之类的东西时发生的事情，这意味着Perl 6不仅对新类型的类型开放，而且那些新类型的类型可以描述他们想要如何工作，如果有的话，继承和组成。

与does可组合可能是角色的主要定义属性，因此composable属性可能是在询问＆＃34;这是一个角色时最好的属性。。如另一个答案中所建议的那样，也可以查看元对象的类型，但是在表示角色时涉及多个元对象（短名称角色组，具有参数的该组的currying以及个人角色，以及支持组合过程的内部具体化形式。）

> say (role RRR[::T] { }).HOW.^name
Perl6::Metamodel::ParametricRoleHOW
> say RRR.HOW.^name
Perl6::Metamodel::ParametricRoleGroupHOW
> say RRR[Int].HOW.^name
Perl6::Metamodel::CurriedRoleHOW

因此，只需检查事物是否可组合就更加健壮。

> say (role RRR[::T] { }).HOW.archetypes.composable
1
> say RRR.HOW.archetypes.composable
1
> say RRR[Int].HOW.archetypes.composable
1

Answer 3

除此之外，给定一个“类型”，如何判断它是被定义为类还是角色？

类是元类的类型为Metamodel::ClassHOW的类型：

sub type-classify(Mu \t) {
    given t.HOW {
        return 'class' when Metamodel::ClassHOW;
        return 'role'  when Metamodel::ParametricRoleGroupHOW;
    }
    return 'other';
}
say type-classify(Int);         # class
say type-classify(Rational);    # role
say type-classify(Bool);        # other

Answer 4

关于你的第二个问题，

给出＆＃34;类型＆＃34;，如何判断它是被定义为类还是角色？

我还没有找到直接的方法。类和角色在其层次结构中都有Mu，因此无法区分它们。但是，只有类（{奇怪命名的）MetaModel::ClassHOW才能识别类。所以我们可以破解这样的东西：

role Ur { }
role F does Ur { }
class G does F { }
for Ur, F, G -> $class-or-role {
    CATCH {
        default {
            say "not classy";
        }
    }
    $class-or-role.say;
    $class-or-role.^mro.say;
}

将打印：

(Ur)
not classy
(F)
not classy
(G)
((G) (Any) (Mu))

，因为在角色上调用^mro会引发异常。这可以变成一个函数，用于打印出哪个是角色，哪个不是。

我怎样才能发现Perl 6类型的所有角色？

4 个答案: