¿Por qué C++ aceptar múltiples prefijos pero no sufijos para una variable

Question

Mirando por Can you have a incrementor and a decrementor on the same variable in the same statement in c

descubrí que se puede tener varios operadores de prefijo de incremento/reducción en una sola variable, pero sólo uno de sufijo

por ejemplo:

++--++foo; // valid 
foo++--++; // invalid 
--foo++; // invalid 

¿Por qué es esto?

Answer 1

Esto se debe a que en C++ (pero no en C), el resultado de ++x es un valor l, lo que significa que es asignable y, por lo tanto, puede encadenarse.

Sin embargo, el resultado de x++ NO es un valor l, sino que es un prValue, lo que significa que no se puede asignar y, por lo tanto, no se puede encadenar.

Answer 2

En lenguaje C++ prefijo operadores de incremento/decremento volver lvalues ​​, mientras que los postfijos vuelven rvalues ​​. Mientras tanto, todos los operadores modificadores requieren argumentos lvalue. Esto significa que el resultado del incremento/decremento del prefijo puede pasarse a cualquier otro operador adicional que requiera un argumento lvalue (incluyendo incrementos/decrementos adicionales).

Por la misma razón en C++ se puede escribir código como este

int i = 0; 
int *p = &++i; 

que incrementar i y hacer p punto de i. Unary & requiere lvalue operando, por lo que funcionará con el resultado del prefijo ++ (pero no con postfix one).

Expresiones con múltiples incorporadas en incrementos de prefijo/decrementos aplicadas al mismo objeto producen comportamiento indefinido, pero son sin embargo bien formadas (es decir, "compilable").

Expresiones como ++foo-- no son válidas porque en C++ los operadores de posfijo tienen mayor prioridad que los prefijos. Los frenos pueden cambiar eso. Por ejemplo, (++foo)-- es una expresión bien formada, aunque conduce de nuevo a un comportamiento indefinido.