¿Qué es un punto de secuencia?
Un punto de secuencia en la programación de computadoras es un momento que ocurre durante la ejecución del programa cuando el valor de una variable se ha calculado por completo, sin cambios pendientes de las operaciones anteriores y aún no se están realizando cálculos en una expresión futura. Hay varios lugares en los que existen puntos de secuencia, definidos principalmente en el estándar del lenguaje C, como antes de la ejecución del código dentro de una función, al final de las expresiones de control en declaraciones como "para" y "si", y al final de cualquier expresión completa, como una línea simple de código C. Algunas razones para definir un punto de secuencia son evitar situaciones que son ambiguas, dan como resultado un comportamiento indefinido o que puedan confundir el compilador y generar código que sea impredecible. En muchos casos, los programadores no se preocupan explícitamente por un punto de secuencia, aunque, en la creación de un compilador, el concepto es muy importante para garantizar que el código se ejecute correctamente.
Un ejemplo de una secuencia POINT en el lenguaje de programación C está en la declaración a = a + b;. En esta expresión, el punto y coma es el punto de secuencia; Cuando se complete la expresión, se evaluará el valor de A y no se realizarán cálculos residuales hasta que comience la siguiente expresión. El signo igual no es un punto de secuencia, porque el valor de A podría ser modificado por el compilador en cualquier orden a lo largo de la expresión.
La regla principal de un punto de secuencia es que se accederá a ninguna variable más de una vez entre puntos para cualquier propósito que no sea calcular un cambio en su valor. Una violación de esta regla se expresa mejor al asignar un valor a una matriz. Si hay una variable A y una matriz llamada I, entonces gramaticalmente en C es posible escribir la expresión I [a] = a ++. Aquí, se accede a la variable más de una vez para un propósito que no sea evaluar su valor actual; a saber, se usa como unn índice en la matriz I. Esto significa que el compilador podría incrementar A antes de que se use como índice o después de que se use, creando un comportamiento impredecible en el que no se puede confiar en el programa.
Un punto de secuencia básicamente puede verse como una forma de garantizar que las declaraciones puedan y serán evaluadas y ejecutadas consistentemente por un compilador. Esto también permite que un compilador emplee estrategias de optimización, porque el comportamiento definido es predecible. Dentro del estándar del lenguaje C, hay tres instancias principales de puntos de secuencia, a saber, cuando una función comienza la ejecución, en el punto de los operadores lógicos y las comas, y al final de una expresión completa que termina con un punto y coma, como lo hacen la mayoría de las declaraciones C
.