Restituire le istruzioni all'interno di procs, lambda e blocchi

Question

Sto avendo un sacco di problemi a capire come funziona return in blocchi, proc e lambda.

Ad esempio, nel seguente caso, perché funziona batman_ironman_proc, mentre batman_yield genera un errore?

def batman_ironman_proc 
    victor = Proc.new { return "Batman will win!" } 
    victor.call 
    "Iron Man will win!" 
end 

def batman_yield 
    yield 
    "Iron man will win!" 
end 

victor = Proc.new { return "Batman will win!" } 

puts batman_ironman_proc 
#batman_yield(&victor) === This code throws an error. 

Answer 1

Come one answer nella questione legata mostra:

Le parole chiave returnsempre ritorna dal metodo o lambda nel contesto attuale. Nei blocchi, verrà restituito dal metodo in cui la chiusura era definita. Non è possibile effettuare il reso dallo chiamando il metodo o lambda.

Il tuo primo esempio ha avuto successo perché è stata definita victor nella stessa funzione che si voleva tornare da, quindi un return era legale in quel contesto. Nel secondo esempio, victor è stato definito nel livello principale. L'effetto di tale return, quindi, sarebbe non da restituire da batman_yield (il metodo di chiamata), ma [se fosse valido] per tornare dal livello superiore stesso (in cui è stato definito Proc).

Chiarificazione: mentre è possibile accedere al valore di ritorno di un blocco (ad es. "Il valore dell'ultima espressione valutata nel blocco viene restituito al metodo come valore del rendimento" - come da commento) , non è possibile utilizzare la parola chiave return, per il motivo indicato sopra. Esempio:

def batman_yield 
    value = yield 
    return value 
    "Iron man will win!" 
end 

victor = Proc.new { return "Batman will win!" } 
victor2 = Proc.new { "Batman will win!" } 

#batman_yield(&victor) === This code throws an error. 
puts batman_yield(&victor2) # This code works fine. 

Answer 2

io vengo da un background C e il modo in cui vorrei spiegarlo è quando si chiama una funzione di impostare un numero di istruzioni di ritorno e un registro che memorizza il valore restituito. In caso di proc e block l'istruzione return non è impostata perché sono inline o chiamate nello stesso scope ma possono comunque restituire un valore restituito perché queste sono funzionalità indipendenti. Quindi, senza un'istruzione di ritorno impostata, proc/block ci sta dando un LocalJumpError mentre se vogliamo solo restituire un valore va bene.