Vad är en sekvenspunkt?
En sekvenspunkt i datorprogrammering är ett ögonblick som inträffar under programkörningen när värdet på en variabel har beräknats fullständigt, utan några förändringar som är i väntan från tidigare operationer och inga beräkningar i ett framtida uttryck har utförts ännu. Det finns ett antal platser där sekvenspunkter finns - främst definierade i C-språkstandarden - till exempel innan exekveringen av koden i en funktion, i slutet av kontrolluttryck i uttalanden som "för" och "om", och i slutet av alla kompletta uttryck, till exempel en enkel rad med C-kod. Några skäl för att definiera en sekvenspunkt är att undvika situationer som är tvetydiga, resulterar i odefinierat beteende eller kan förvirra kompilatorn och generera kod som är oförutsägbar. I många fall oroar sig inte programmerare uttryckligen för en sekvenspunkt, även om konceptet i skapandet av en kompilator är mycket viktigt för att säkerställa att koden körs korrekt.
Ett exempel på en sekvenspunkt i programmeringsspråket C är i påståendet A = A + B ;. I detta uttryck är semikolon sekvensen; när uttrycket är avslutat kommer värdet på A att utvärderas och inga restberäkningar utförs på det tills nästa uttryck börjar. Lika tecknet är inte en sekvenspunkt, eftersom värdet på A kan ändras av kompilatorn i valfri ordning under hela uttrycket.
Huvudregeln för en sekvenspunkt är att ingen variabel kommer att nås mer än en gång mellan punkter för något annat syfte än att beräkna en förändring i dess värde. Brott mot denna regel uttrycks bäst när du tilldelar ett värde till en matris. Om det finns en variabel A och en matris som heter I, då grammatiskt i C är det möjligt att skriva uttrycket I [A] = A ++. Här åtföljs variabeln mer än en gång för ett annat syfte än att utvärdera dess nuvarande värde; nämligen att det används som ett index i matrisen I. Det betyder att kompilatorn kan öka A innan den används som ett index eller efter att den har använts, vilket skapar oförutsägbart beteende som inte kan lita på i programmet.
En sekvenspunkt kan i princip ses som ett sätt att säkerställa att uttalanden kan och kommer att utvärderas och exekveras konsekvent av en kompilator. Detta tillåter också en kompilator att använda optimeringsstrategier, eftersom det definierade beteendet är förutsägbart. Inom C-språkstandarden finns det tre huvudsakliga instanser av sekvenspunkter, nämligen när en funktion börjar exekvering, vid punkten för logiska operatörer och komma, och i slutet av ett komplett uttryck som slutar med en semikolon, som de flesta C-uttalanden gör .