pregunta sobre? y: en C++

Question

¿Por qué esta declaración:

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

no es igual a:

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

y es igual a:

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

Por favor, dame alguna razón. Por qué ?

Answer 1

Porque ? : es asociativo de derecha a izquierda. Se define así en el lenguaje.

Answer 2

Creo @sth ha proporcionado la respuesta correcta, sin embargo, creo que @Skilldrick acertó en los comentarios, ¿por qué diablos escribirías algo así?

Además del problema de precedencia, realmente debe tener cuidado al incrementar las mismas variables en una sola instrucción. Puede haber o no puntos de secuencia en la declaración y, por lo tanto, el orden de evaluación de los incrementos podría no estar garantizado. Podría terminar con diferentes resultados con diferentes compiladores o incluso configuraciones de optimización diferentes en el mismo compilador.

Answer 3

Los operadores &&, || y ?: realizan control de flujo dentro de las expresiones. ?: se comporta como una instrucción 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 -- 
) 

La asociatividad es necesario tener un comportamiento como if … else if … else.

veces uso una expresión similar a la suya para lexicográfico secuencia de comparación:

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]; 
}