Bir değerin hiyerarşisini nasıl gösterirsiniz?

Question

Perl5 ve Moose, lineer is veya doğrusallaştırılmış isa, sınıf hiyerarşilerini anlamlandırmaya yardımcı olur. Bir değerin somut türünü gösterir WHAT

yöntemi:

> 42.WHAT 
(Int) 

Nasıl muhtemelen her tüketilen rolü için daha ileri hatları ile

> 42.hypothetical-type-hierarchy 
(Int) ┬ is (Cool) ─ is (Any) ─ is (Mu) 
     └ does (Real) ─ does (Numeric) 

gibi bir şey ... gösteriyor?

---

düzenleme: rolleri

class Beta {} 
role Delta {} 
role Gamma does Delta {} 
role Eta {} 
role Zeta does Eta {} 
role Epsilon does Zeta {} 
class Alpha is Beta does Gamma does Epsilon {} 

# (Alpha) ┬ is (Beta) 
#   ├ does (Gamma) ─ does (Delta) 
#   └ does (Epsilon) ─ does (Zeta) ─ does (Eta) 

my $ai = Alpha.new 
$ai.^mro  # ((Alpha) (Beta) (Any) (Mu)) 

$ai.^roles  # ((Epsilon) (Zeta) (Eta) (Gamma) (Delta)) 
       # flat list, not two-element list of a tuple and triple‽ 

Answer 1

için

> 42.^mro 
((Int) (Cool) (Any) (Mu)) 

meta nesne sorgulayabilir iki ipliği ile, örneğin burada mro standı yöntem çözünürlüğü sırası ve

> 42.^roles 
((Real) (Numeric)) 

için

:local zarfları aracılığıyla hangi rollerin döndürüleceğini kontrol edebilirsiniz (üst sınıflardan miras alınan roller hariç - yalnızca sınıflarda kullanılabilir) ve :!transitive (başka bir rolden oluşan rolleri hariç tut - her iki rol ve sınıfta kullanılabilir). Aşağıdaki başlangıç ​​almalısınız

---

:

küçük değişiklikler

role Delta {} 
role Gamma does Delta {} 
role Eta {} 
role Zeta does Eta {} 
role Epsilon does Zeta {} 
class Beta does Gamma {} 
class Alpha is Beta does Gamma does Epsilon {} 

o çıktı üretir ile örnek kod Verilen

my $depth = 0; 
for Alpha.^mro { 
    say "is {.^name}"; 
    (sub { 
     ++$depth; 
     for @_ { 
      say ' ' x $depth ~ "does {.^name}"; 
      &?ROUTINE(.^roles(:!transitive)); # recursive call of anon sub 
     } 
     --$depth; 
    })(.^roles(:local, :!transitive)); 
} 

is Alpha 
    does Epsilon 
    does Zeta 
     does Eta 
    does Gamma 
    does Delta 
is Beta 
    does Gamma 
    does Delta 
is Any 
is Mu