Je peux appeler n'importe quelle méthode sur Nil et cela me semble mal

J'ai passé beaucoup de temps à déboguer un script récemment, et quand j'ai finalement trouvé le problème, c'était à cause du code qui ressemblait à ceci:

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

Il s'est avéré que le problème était avec cela $!.bar, qui aurait dû être soit $!barou $.bar. J'ai compris.

Mais pourquoi cela ne meurt-il pas ?

En regardant plus en détail, il semble que la question ici est que je suis en train d'appeler une méthode (inexistante) barsur $!, qui à ce stade est Nilparce qu'il n'y a pas eu d'erreurs.

Et il semble que je puisse réellement appeler n'importe quelle méthode que je veux Nilet ils reviennent tous en silence Nil, y compris des trucs comme Nil.this-is-a-fake-methodet Nil.reverse-entropy(123).

Est-ce une fonctionnalité? Si oui, quelle est la justification?

C'est prévu et documenté, oui. Le titre Nilest "Absence de valeur ou défaillance bénigne", et la documentation de la classe mentionne

Toute méthode faisant appel à Nilune méthode qui n'existe pas, et par conséquent, toute opération d'indexation, réussira et retournera Nil.

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

Le synopsis 2 déclare "Tout appel de méthode non défini sur les Nilretours Nil, de sorte que se Nilpropage vers le bas les chaînes d'appels de méthode. De même, toute opération d'indexation sur les Nilretours Nil", de sorte que l'intention semble être de permettre des expressions comme $foo.Bar()[0].Baz()sans exiger de vérification Nilà chaque étape, ou spéciale "appel de méthode et opérateurs d'indexation.

Cette question (et la réponse de Hobbs) m'a également fait me sentir ... mal à l'aise: j'ai finalement trouvé https://docs.raku.org/language/traps : cela explique que l'attribution Nilproduit généralement une valeur différente Any. L'interaction REPL de base suivante le démontre également:

> 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

((la différence entre =et :=est couverte ici: https://docs.raku.org/language/containers#Binding ))

... donc l'idée générale est que la `` valeur absente ou l'échec bénin '' est beaucoup moins répandue dans le code normal que je (et peut-être vous aussi?) craignais soudainement: cela se produit cependant lorsque vous allez travailler avec regex correspond directement et dans votre situation accidentelle particulière liée à l'invocation directe de méthodes sur $!.

Cela m'a fait prendre conscience de la différence entre Nilet Any, et la justification fournie était plus logique pour moi.