Mogę wywołać dowolną metodę na zero i to wydaje się złe

Spędziłem ostatnio dużo czasu na debugowaniu skryptu, a kiedy w końcu znalazłem problem, przyczyną był kod, który wyglądał tak:

class Foo {
    has $.bar;
    method () {
        # do stuff
        $!.bar;
    }
}

Okazało się, że problem był z $!.bar, który powinien być albo $!baralbo $.bar. Rozumiem.

Ale dlaczego to nie umiera ?

Patrząc na to w sposób bardziej szczegółowy, wygląda na to problemu jest to, że staram się wywołać (nieistniejącą) sposób barna $!, która w tym momencie jest Nil, bo nie było żadnych błędów.

I wygląda na to, że mogę wywołać dowolną metodę, którą chcę, Nili wszystkie one po cichu powracają Nil, w tym rzeczy takie jak Nil.this-is-a-fake-methodi Nil.reverse-entropy(123).

Czy to jest funkcja? Jeśli tak, jakie jest uzasadnienie?

Jest przeznaczony i udokumentowany, tak. Nagłówek Nilbrzmi: „Brak wartości lub łagodna porażka”, a dokumentacja klasy wspomina

Każde wywołanie Nilmetody, która nie istnieje, a co za tym idzie, każda operacja subskrypcji, zakończy się powodzeniem i zwróci Nil.

say Nil.ITotallyJustMadeThisUp;  # OUTPUT: «Nil␤» 
say (Nil)[100];                  # OUTPUT: «Nil␤» 
say (Nil){100};                  # OUTPUT: «Nil␤»

Synopsis 2 stwierdza: „Każde niezdefiniowane wywołanie metody po Nilpowrocie Nil, tak że Nilpropaguje łańcuchy wywołań metody. Podobnie jak każda operacja subskrybowania po Nilpowrocie Nil”, więc intencja wydaje się pozwalać na wyrażenia takie, jak $foo.Bar()[0].Baz()bez konieczności sprawdzania Nilna każdym kroku, lub specjalne „zero-bezpieczne msgstr "operatory wywoływania metod i indeksowania.

To pytanie (i odpowiedź Hobbsa) również sprawiło, że poczułem się ... zaniepokojony: w końcu znalazłem https://docs.raku.org/language/traps : wyjaśnia, że ​​przypisywanie Nilzwykle daje inną wartość Any. Wykazuje to również następująca podstawowa interakcja REPL:

> my $foo = Nil
(Any)

> $foo.bar
No such method 'bar' for invocant of type 'Any'
  in block <unit> at <unknown file> line 1

> my $bar := Nil
Nil

> $bar.baz
Nil

((różnica między =i :=jest tutaj: https://docs.raku.org/language/containers#Binding ))

... więc ogólna idea jest taka, że ​​„nieobecna wartość lub łagodna awaria” jest znacznie mniej rozpowszechniona w zwykłym kodzie, niż ja (a może i ty?) nagle się obawiałem: dzieje się to jednak, gdy zamierzasz pracować z regex pasuje bezpośrednio w danej sytuacji związanej z przypadkowym metod bezpośrednio odwołujących się na $!.

Uczyniło mnie to bardziej świadomym różnicy między Nili Any, a przedstawione uzasadnienie miało dla mnie więcej sensu.