¿Por qué es este comportamiento indefinido?

Question

¿Por qué la siguiente expresión dada invoca un comportamiento indefinido?

int i = 5; 
i = (i,i++,i) + 1 

Mi pregunta es influenciada por Als' question here

Answer 1

No está indefinido.

respondida aquí para C, Sequence points and partial order

creo que lo mismo se aplica en C++ (y aquí está mi respuesta antes de ver ese enlace):

El operador coma introduce un punto de secuencia (y limita hasta cierto punto el orden en que la expresión debe ser evaluada - izquierda antes de la derecha), por lo que:

• las dos modificaciones de i están separados por un punto de la secuencia (la segunda coma).
• la modificación de i en i++ está separada de todo lo demás por puntos de secuencia.
• la modificación de i por = es no separado de la última aparición de i en la expresión, pero eso está bien porque se nos permite acceder a la i y modificarlo sin un punto de secuencia de intervención, siempre que el acceso es " para determinar el valor que se almacenará "(5/4).
• Como dice Als, en la práctica sería no importa si ese código ha definido el comportamiento o no la condición de que todo el mundo tenía el sentido común de no escribirlo ;-)

Answer 2

Debido a que no se define en la norma que de la post-incremento o la asignación se llevará a cabo en primer lugar; queda a la implementación del compilador decidir su orden.

Answer 3

no está definido en C++ para asignar un valor incrementado a sí mismo:

i = i++ 

Lo que debería ser i después de esto? ¿Debería ser el valor anterior o uno más el valor anterior? El orden de ejecución se deja al compilador, por lo que diferentes plataformas tendrán diferentes resultados.