Was ist ein Sequenzpunkt?

Ein Sequenzpunkt in der Computerprogrammierung ist ein Moment, das während der Programmausführung auftritt, wenn der Wert einer Variablen vollständig berechnet wurde, ohne dass sich die Änderungen aus früheren Operationen anhängig machen und noch keine Berechnungen in einem zukünftigen Ausdruck durchgeführt wurden.Es gibt eine Reihe von Orten, an denen Sequenzpunkte existieren mdash;hauptsächlich im C -Sprachstandard mdash;wie vor der Ausführung des Codes innerhalb einer Funktion, am Ende von Kontrollausdrücken in Aussagen wie für und wenn und am Ende eines vollständigen Ausdrucks, wie z. B. einer einfachen C -Code -Zeile.Einige Gründe für die Definition eines Sequenzpunkts sind die Vermeidung von Situationen, die mehrdeutig sind, zu undefiniertem Verhalten führen oder den Compiler verwirren und Code generieren können, der unvorhersehbar ist.In vielen Fällen sorgen sich Programmierer nicht ausdrücklich um einen Sequenzpunkt, obwohl das Konzept bei der Erstellung eines Compilers sehr wichtig ist, um sicherzustellen, dass der Code korrekt ausgeführt wird.

Ein Beispiel für einen Sequenzpunkt in der C -Programmiersprache ist inDie Aussage a ' a + b;.In diesem Ausdruck ist das Semikolon der Sequenzpunkt;Nach Abschluss des Ausdrucks wird der Wert eines A bewertet und es werden keine Restberechnungen durchgeführt, bis der nächste Ausdruck beginnt.Das gleiche Vorzeichen ist kein Sequenzpunkt, da der Wert eines A vom Compiler in beliebiger Reihenfolge während des gesamten Ausdrucks geändert werden kann.

Die Hauptregel eines Sequenzpunkts ist, dass keine Variable mehr als einmal zwischen den Punkten für beliebige Punkte zugegriffen wirdZweck, außer einer Änderung ihres Wertes zu berechnen.Ein Verstoß gegen diese Regel wird am besten ausgedrückt, wenn ein Wert einem Array zugewiesen wird.Wenn es eine Variable A und ein Array namens I gibt, dann ist es grammatisch in C, den Ausdruck I [a] ' a ++ zu schreiben.Hier wird auf die Variable mehr als einmal für einen anderen Zweck als die Bewertung ihres aktuellen Wertes zugegriffen.Es wird nämlich als Index in das Array I verwendet. Dies bedeutet, dass der Compiler A erhöhen kann, bevor er als Index oder nach seiner Verwendung verwendet wird, wodurch ein unvorhersehbares Verhalten erstellt wird, auf das sich im Programm nicht verlassen kann.

Ein SequenzpunktGrundsätzlich kann es als eine Möglichkeit angesehen werden, sicherzustellen, dass Aussagen von einem Compiler konsistent bewertet und ausgeführt werden.Dies ermöglicht auch einen Compiler, Optimierungsstrategien anzuwenden, da das definierte Verhalten vorhersehbar ist.Innerhalb des C -Sprachstandards gibt es drei Hauptinstanzen von Sequenzpunkten, nämlich wenn eine Funktion mit der Ausführung, am Punkt der logischen Operatoren und Kommas und am Ende eines vollständigen Ausdrucks beginnt, der mit einem Semikolon endet, wie es die meisten C -Anweisungen tun.