Ich kann jede Methode auf Nil aufrufen und das fühlt sich falsch an

Ich habe in letzter Zeit viel Zeit damit verbracht, ein Skript zu debuggen, und als ich schließlich das Problem fand, lag es an Code, der so aussah:

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

Es stellte sich heraus, dass das Problem damit bestand $!.bar, was entweder $!baroder sein sollte $.bar. Ich verstehe das.

Aber warum stirbt das nicht ?

Mit Blick auf diese im Detail, es sieht aus wie das Problem hier ist , dass ich versuche , eine (nicht vorhanden) Methode aufrufen barauf $!, die an dieser Stelle ist , Nilweil es irgendwelche Fehler nicht gewesen sein.

Und es sieht so aus, als könnte ich tatsächlich jede Methode aufrufen, die ich möchte, Nilund alle kehren lautlos zurück Nil, einschließlich Sachen wie Nil.this-is-a-fake-methodund Nil.reverse-entropy(123).

Ist das eine Funktion? Wenn ja, was ist der Grund?

Es ist beabsichtigt und dokumentiert, ja. Die Überschrift für Nillautet "Fehlen eines Wertes oder eines harmlosen Fehlers", und in der Klassendokumentation wird erwähnt

Jeder Methodenaufruf Nileiner nicht vorhandenen Methode und folglich jede Subskriptionsoperation ist erfolgreich und kehrt zurück Nil.

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

In Synopsis 2 heißt es: "Jeder undefinierte Methodenaufruf bei NilRückgaben Nil, so dass NilMethodenaufrufketten nach unten weitergegeben werden. Ebenso jede Subskriptionsoperation bei NilRückgaben Nil". Daher scheint die Absicht darin zu bestehen, Ausdrücke wie " $foo.Bar()[0].Baz()ohne Überprüfung Nilbei jedem Schritt" oder "Nil-safe" zuzulassen "Methodenaufruf- und Subskriptionsoperatoren.

Diese Frage (und die Antwort von Hobbs) hat mich auch ... unruhig gemacht: Ich habe schließlich https://docs.raku.org/language/traps gefunden : Es erklärt, dass das Zuweisen Nilnormalerweise einen anderen Wert erzeugt Any. Die folgende grundlegende REPL-Interaktion zeigt dies ebenfalls:

> 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

((Der Unterschied zwischen =und :=wird hier behandelt: https://docs.raku.org/language/containers#Binding ))

... also ist die allgemeine Idee, dass der "fehlende Wert oder gutartige Fehler" im regulären Code weit weniger verbreitet ist, als ich (und vielleicht auch Sie?) plötzlich befürchtet habe: Es tritt jedoch auf, wenn Sie mit Regex arbeiten stimmt direkt und in Ihrer speziellen zufälligen Situation mit dem direkten Aufrufen von Methoden überein $!.

Dies machte mich bewusster über den Unterschied zwischen Nilund Anyund die bereitgestellte Begründung machte für mich mehr Sinn.