Come viene eseguita questa espressione condizionale ternaria?

Question

int x = 5,y = 10; 
bool boolean = 0; 
int k = (boolean ? ++x, ++y : --x, --y); 
cout<<k; 

Quando booleana è 0, emette 9, tuttavia quando si tratta di 1 emette 10.I sa questo sta accadendo a causa di precedenza, ma non può esattamente a capire come sta accadendo, per favore aiutatemi a capire questo.

NOTA: So che posso ottenere l'output previsto se utilizzo la parentesi, o meglio scrivere un codice pulito, sto solo usando questo per capire come il compilatore valuterà espressioni come queste in base alla precedenza.

Answer 1

, ha precedenza inferiore a ?:. Il che significa che il parenthesising completo è:

int k = ((boolean ? (++x, ++y) : --x), --y); 

Come si può vedere, k è sempre inizializzato al valore di --y. È solo che se boolean è true, ++y si verifica prima.

---

Quando cercando la forma parentesi piena di espressione, pensare ad esso come costruire l'albero di espressione (in cui l'operatore più basso la precedenza è alla radice).

Trova l'operatore con la precedenza più bassa in un'espressione e parentesi il suo argomento sul lato sinistro e il suo argomento sul lato destro. Ripeti ricorsivamente all'interno delle sottoespressioni appena parentesi.

Answer 2

causa l'operatore virgola con il più basso operator precedence, la sua dichiarazione è in realtà pari a

k = (boolean ? (++x, ++y) : --x), --y; 

Questo significa che quando boolean è true entrambi aumentare e diminuire y. Il risultato dell'espressione ternaria viene buttato via in entrambi i casi e k viene assegnato solo il risultato di --y.

Si noti che questo comportamento non è indefinito, poiché l'operatore virgola introduce un punto di sequenza.

---

Per ottenere il risultato che ci si aspetta, è necessario fare

k = boolean ? (++x, ++y) : (--x, --y); 

_{Nota che le parentesi intorno ++x, ++y è rigorosamente non necessaria, ma rende l'espressione più chiara.}

Answer 3

Date le ottime risposte di cui sopra, si dovrebbe scrivere invece:

if (boolean) { 
    ++x; 
    ++y; 
} else { 
    --x; 
    --y;  
} 
int k = y; 

Perché allora il codice è più leggibile e chiara nel suo intento. Questo aiuterà chiunque debba mantenere il codice (incluso l'autore originale!) Senza che nessuno debba perdere tempo ponendo domande SO o preoccupandosi della precedenza di , o di ?: o quale sia la logistica di assegnazione a un'espressione così complessa.Qualsiasi compilatore moderno ottimizzerà sia questo che lo stesso allo stesso codice risultante