Dentro de un ciclo while, ¿se garantiza que la última declaración separada por comas se ejecutará la última vez?

Question

Considérese el siguiente (trivial) segmento de código:

while (i++, i <= 10) { 
    // some more code 
} 

En el caso general, C++ permite coma declaraciones para ser evaluados en cualquier orden separó. En el caso de un ciclo while, ¿estamos al menos garantizados (según la especificación) que la última declaración (que se usa como condición para el ciclo) se evalúa al final?

Answer 1

En el caso general, C++ permite que las declaraciones separadas por comas se evalúen en cualquier orden.

Si se refiere a las comas entre los argumentos de funciones, eso es solo un separador.

En su caso, está usando el operador de coma , y eso introduce un punto de secuencia que garantiza que todos los efectos secundarios del operando izquierdo de la coma se hayan establecido antes de evaluar el correcto.

Así que sí, está bien definido.

Desde la sección 5.18/1 de la norma 98 de la ISO C++:

Un par de expresiones separadas por una coma se evalúa de izquierda a derecha y el valor de la expresión izquierda se descarta. Las conversiones estándar lvalue-to-rvalue (4.1), array-to-pointer (4.2) y function-to-pointer (4.3) no se aplican a la expresión izquierda. Todos los efectos secundarios (1.9) de la expresión izquierda, excepto la destrucción de los temporales (12.2), se realizan antes de la evaluación de la expresión correcta. El tipo y el valor del resultado son el tipo y el valor del operando correcto; el resultado es un lvalue si su operando derecho es.

Answer 2

Sí. El operador , (¡a menos que esté sobrecargado!) Introduce el llamado punto de secuencia y de hecho garantiza el orden de ejecución de izquierda a derecha.

Answer 3

Los comentarios anteriores lo explicaron. Y una de las formas comunes de abusar de este método es

while(scanf("%d", &n), n){ 
    // do something 
} 

Esto permitirá la lectura número entero hasta que leer cero.