domanda in merito? e: in C++

Question

Perché questa dichiarazione:

int a = 7, b = 8, c = 0; 
c = b>a?a>b?a++:b++:a++?b++:a--; 
cout << c; 

non è uguale a:

int a = 7, b = 8, c = 0; 
c = (b>a?(a>b?a++:b++):a++)?b++:a--; 
cout << c; 

ed è pari a:

int a = 7, b = 8, c = 0; 
c = b>a?(a>b?a++:b++):(a++?b++:a--); 
cout << c; 

prego di darmi qualche ragione. Perché ?

Answer 1

Perché ? : è associativo da destra a sinistra. È definito così nella lingua.

Answer 2

Credo che @sth abbia fornito la risposta corretta, tuttavia, penso che @Skilldrick abbia capito bene nei commenti - perché diavolo avresti mai scritto qualcosa del genere.

Così come il problema di precedenza, è necessario fare attenzione quando si aumentano le stesse variabili in una singola istruzione. Ci possono essere o meno punti di sequenza nell'istruzione e quindi l'ordine di valutazione degli incrementi potrebbe non essere garantito. Potresti finire con risultati diversi con diversi compilatori o anche con diverse impostazioni di ottimizzazione sullo stesso compilatore.

Answer 3

Gli operatori &&, || e ?: eseguono il controllo del flusso all'interno delle espressioni. ?: si comporta come un'istruzione if-else.

c = b>a?a>b?a++:b++:a++?b++:a--; 

if (b>a) 
    if (a>b) 
     a ++; 
    else 
     b ++; 
else if (a ++) 
    b ++; 
else 
    a --; 

b>a? (
    a>b ? 
     a ++ 
    : 
     b ++ 
) : (a ++ ? 
    b ++ 
: 
    a -- 
) 

L'associatività è necessario avere un comportamento simile if … else if … else.

A volte uso un'espressione simile al tuo per lessicografico sequenza di confronto:

operator<()(arr &l, arr &r) { 
    return l[0] < r[0]? true 
     : r[0] < l[0]? false 
     : l[1] < r[1]? true 
     : r[1] < l[1]? false 
     : l[2] < r[2]; 
}