Punto de secuencia

En C ^{[ 2 ]} y C++, ^{[ 3 ]} los puntos de secuencia aparecen en los siguientes lugares. (En C++, los operadores sobrecargados actúan como funciones, por lo que los operadores sobrecargados introducen puntos de secuencia del mismo modo que las llamadas a funciones).

1. Entre la evaluación de los operandos izquierdo y derecho de los operadores&& ( AND lógico ), ||( OR lógico ) (como parte de la evaluación de cortocircuito ) y coma . Por ejemplo, en la expresión , todos los efectos secundarios de la subexpresión se completan antes de cualquier intento de acceder a .*p++!=0&&*q++!=0*p++!=0q
2. Entre la evaluación del primer operando del operador condicional ternario y su segundo o tercer operando. Por ejemplo, en la expresión hay un punto de secuencia después del primero , lo que significa que ya se ha incrementado cuando se ejecuta la segunda instancia.a=(*p++)?(*p++):0*p++
3. Al final de una expresión completa. Esta categoría incluye sentencias de expresión (como la asignación ), sentencias de retorno , las expresiones de control de las sentencias , , , o - y cada una de las tres expresiones en una sentencia.a=b;ifswitchwhiledowhilefor
4. Antes de que se ejecute una función en una llamada a función, no se especifica el orden en que se evalúan los argumentos, pero este punto de secuencia significa que todos sus efectos secundarios se completan antes de que se ejecute la función. En la expresión , se llama con un parámetro del valor original de , pero se incrementa antes de entrar en el cuerpo de . De manera similar, y se actualizan antes de entrar en y respectivamente. Sin embargo, no se especifica en qué orden se ejecutan , , ni en qué orden se incrementan , , . Si el cuerpo de accede a las variables y , podría encontrar que ambas, ninguna o solo una de ellas se han incrementado. (La llamada a función no utiliza el operador coma; el orden de evaluación de , , y no está especificado).f(i++)+g(j++)+h(k++)fiifjkghf()g()h()ijkfjkf(a,b,c)abc
5. Al retornar una función, después de que el valor de retorno se copia en el contexto de llamada. (Este punto de secuencia solo se especifica en el estándar de C++; en C solo está presente implícitamente. ^{[ 4 ]} )
6. Al final de un inicializador ; por ejemplo, después de la evaluación de 5en la declaración .inta=5;
7. Entre cada declarador en cada secuencia de declaradores; por ejemplo, entre las dos evaluaciones de en . ^{[ 5 ]} (Este no es un ejemplo del operador coma.)a++intx=a++,y=a++
8. Después de cada conversión asociada con un especificador de formato de entrada/salida. Por ejemplo, en la expresión , hay un punto de secuencia después de que se evalúa y antes de imprimir .printf("foo %n %d",&a,42)%n42

C++11 introdujo diversos cambios, incluyendo características que mejoran el rendimiento, la usabilidad y la multihilo del lenguaje. ^{[ 6 ]} En parte debido a la introducción del soporte del lenguaje para hilos, C11 y C++11 introdujeron una nueva terminología para el orden de evaluación. Una operación puede ser "secuenciada antes" que otra, pueden ser "secuenciadas indeterminadamente" (una debe completarse antes que la otra) o pueden ser "no secuenciadas" (las operaciones en cada expresión pueden estar intercaladas).

C++17 restringió varios aspectos del orden de evaluación. La newexpresión siempre realizará la asignación de memoria antes de evaluar los argumentos del constructor. Los operadores <<, >>, ., .*, ->*, y el operador de subíndice y el operador de llamada a función tienen garantizada su evaluación de izquierda a derecha (ya sea que estén sobrecargados o no). Por ejemplo, el código

std :: cout << a () << b () << c (); // analizado como (((std::cout << a()) << b()) << c());

Ahora se garantiza que se llamará a a, b, y cen ese orden. El lado derecho de cualquier operador de asignación se evalúa antes que el lado izquierdo, por lo que b() *= a();se garantiza que se evaluará aprimero. Finalmente, aunque el orden en que se evalúan los parámetros de la función sigue dependiendo de la implementación, el compilador ya no puede intercalar subexpresiones entre varios parámetros. ^{[ 7 ]}