Quelle est la logique derrière ce résultat?

Question

def foo(_, _='override') 
    _ 
end 

p foo("bye bye") 
p foo("hello", "world") 

Sortie:

"override" 
"hello" 

Je comprendrais si le résultat était:

"override" 
"world" 

ou même:

"bye bye" 
"hello" 

Mais le résultat que je suis en train de me cause de la confusion.

Answer 1

Une explication possible est que le nom _ signifie «variable inutilisée». Vous n'êtes même pas censé le référencer, encore moins en attendre des valeurs. Comme il s'agit d'un nom spécial, il reçoit un traitement spécial de la part de l'analyseur (comme la suppression des erreurs de "paramètres en double"). J'imagine que personne ne se souciait de faire que ce code produise un résultat logique, car, encore une fois, ce sont les variables non utilisées.

Si vous le renommez en autre chose (par exemple, a), vous obtiendrez une erreur, car cette signature de méthode n'a plus aucun sens.

Answer 2

Ican't trouver une meilleure explication que celle-ci

ruby magic underscore

La raison se trouve dans l'analyseur de Ruby, en shadowing_lvar_gen. Toutes les vérifications normales pour la duplication sont ignorées si le nom de la variable est constitué d'un seul trait de soulignement.

Answer 3

Les arguments par défaut sont évalués plus tôt dans le temps que les arguments normaux si un argument est passé, sinon ils sont évalués en dernier. Presque certain mais incertain comment le prouver.

Signification dans cet exemple:

au temps 0 appel p foo("hello", "world")

au temps 1 _ = 'override'

au temps 2 _ = "world"

au moment 3 _ = "hello"

au moment de 4 variables sont imprimés et vous voyez "bonjour"

EDIT voici quelques preuves:

def foo(_, _='override',_) 
    _ 
end 

p foo("bye bye","goodbye") 
p foo("hello", "world", "three") 

impressions

"override" 
"three"