Expresión orden de evaluación

Question

Recientemente se confundió por la siguiente C++ fragmento:

#include <cstdio> 

int lol(int *k){ 
    *k +=5; 
    return *k; 
} 

int main(int argc, const char *argv[]){ 
    int k = 0; 
    int w = k + lol(&k); 
    printf("%d\n", w); 
    return 0; 
} 

Echa un vistazo a la línea:

int w = k + lol(&k); 

Hasta ahora yo pensaba que sería evaluado esta expresión de izquierda a derecha : tome el valor actual de k (que antes de llamar a la función lol es 0) y luego agréguelo al resultado de la función lol. Pero compilador me demuestra que estoy equivocado, el valor de w es 10. Incluso si cambio de lugares para que sea

int w = lol(&k) + k; 

el resultado sería todavía 10. ¿Qué estoy haciendo mal?

Tomek

Answer 1

Esto es porque los parámetros en una expresión son no especificado para ser evaluado en cualquier orden particular.

El compilador es libre de ejecutar cualquiera de los parámetros k o lol(&k) primero. No hay puntos de secuencia en esa expresión. Esto significa que los efectos secundarios de los parámetros se pueden ejecutar en cualquier orden.

Así que, en resumen, no se especifica si el código imprime 5 o 10. Ambas son salidas válidas.

La excepción a esto es el cortocircuito en expresiones booleanas porque && y || son puntos de secuencia. (ver comentarios)

Answer 2

Plus es por definición conmutativa, por lo que el orden en su ejemplo está totalmente definido por la implementación.

Mysticial es correcto al mencionar los puntos de secuencia. Citando Wikipedia article (no tienen estándar de C++ a mano):

Un punto secuencia en la programación imperativa define cualquier momento de la ejecución de un programa ordenador en el que se garantiza que todos los laterales efectos de las evaluaciones anteriores habrán sido realizado, y no se han realizado los efectos secundarios de evaluaciones posteriores. Son a menudo mencionados en referencia a C y C++, porque el resultado de algunas expresiones puede depender del orden de evaluación de sus subexpresiones . Agregar uno o más puntos de secuencia es un método de que garantiza un resultado consistente, porque esto restringe las posibles órdenes de evaluación .

El artículo también tiene una lista de puntos de secuencia en C++.

Answer 3

Este código produce 5 o 10 dependiendo de la elección de evaluación de la llamada de función relativa a la del lado izquierdo de +.

Su comportamiento es no undefined porque una llamada de función está rodeada por dos puntos de secuencia.