Capire la precedenza di assegnazione e operatore logico in Ruby

Question

non riesco a capire precedenza degli operatori di Ruby in un seguente esempio:

x = 1 && y = 2 

Dal && ha precedenza maggiore rispetto =, la mia comprensione è che in modo simile a + e * operatori:

1 + 2 * 3 + 4 

che si risolve come

1 + (2 * 3) + 4 

dovrebbe essere pari a:

x = (1 && y) = 2 

Tuttavia, tutte le fonti di Ruby (tra cui la sintassi del parser Ripper) analizzano questo come

x = (1 && (y = 2)) 

Perché?

---

EDIT [2016/08/01] attenzione

Let su una sottoespressione: 1 && y = 2

Secondo le regole di precedenza, dovremmo cercare di analizzare come:

(1 && y) = 2 

che non ha senso perché = richiede un LHS specifico (variabile, costante,Elemento dell'arrayecc.). Ma dal momento che (1 && y) è un'espressione corretta, come deve comportarsi il parser?

Ho provato a consultare Ruby parse.y, ma è così simile a spaghetti che non riesco a capire le regole specifiche per l'assegnazione.

Answer 1

Semplice. Ruby lo interpreta solo in un modo che ha senso. = è un incarico. Nella vostra aspettativa:

x = (1 && y) = 2 

che non ha senso assegnare qualcosa da 1 && y. Puoi solo assegnare qualcosa a una variabile o una costante.

E si noti che lo scopo della regola della precedenza è disambiguare un'espressione altrimenti ambigua. Se un modo per interpretarlo non ha senso, allora non c'è bisogno di disambiguazione, e quindi la regola della precedenza non sarebbe in vigore.

Answer 2

mia comprensione è che nel caso di

x = 1 && y = 2 

La logica AND è analizzato prima. L'AND è quindi costretto a valutare il suo lato sinistro e il suo lato destro. Nella valutazione sul lato sinistro avviene il primo incarico, e poi nella valutazione del lato destro il secondo fa lo stesso. È per questo motivo che nel caso di:

x = false && y = 2 

"y" non verrà mai assegnato.L'AND viene colpito, costringendo l'assegnazione x a valutare, ma senza mai preoccuparsi di eseguire l'assegnazione y, poiché non è necessario che l'AND realizzi il suo scopo. In altre parole, il parser è, ancora una volta, semplicemente per la mia comprensione, abbastanza intelligente da riconoscere che nell'esecuzione di AND l'equazione è divisa in un lato sinistro e uno destro (equazioni), che sono a loro volta valutate in base al ordine di operazione.