Nutzt die C-Compiler-Optimierung die Mehrdeutigkeit der Argumentevaluierungsreihenfolge aus?

Compiler-Optimierung der Argumentauswertungsreihenfolge in C

Der C-Standard ermöglicht es Compilern, die Auswertungsreihenfolge von Funktionsargumenten nach eigenem Ermessen auszuwählen. Dies wirft die Frage auf, ob reale Implementierungen diese Mehrdeutigkeit ausnutzen, um die Leistung zu verbessern.

In den meisten Fällen optimieren Compiler die Reihenfolge der Argumentauswertung nicht. Allerdings können Architektur, Aufrufkonvention und Argumenttyp das Verhalten beeinflussen. Auf x86-Rechnern wertet die Pascal-Aufrufkonvention Argumente von links nach rechts aus, während die C-Konvention (__cdecl) von rechts nach links vorgeht. Plattformunabhängige Programme ziehen in der Regel Aufrufkonventionen in Betracht, um Überraschungen zu vermeiden.

Zum Beispiel im klassischen Codeausschnitt:

int i = 0;
foo(i++, i++);

Der Compiler kann i vor i in Pascal-Aufrufkonventionen auswerten, aber die Das Gegenteil kann in __cdecl auftreten. Dennoch ist das Ergebnis undefiniert und es wird davon abgeraten, sich auf bestimmte Auswertungsreihenfolgen zu verlassen.

Beachten Sie, dass der Sprachstandard die Argumentauswertungsreihenfolge als „nicht spezifiziert“ klassifiziert, was bedeutet, dass sie nicht explizit definiert oder unzulässig ist. Dies ermöglicht ein umsetzungsabhängiges Verhalten und betont die nichtdeterministische Natur der abstrakten Maschine.

Das obige ist der detaillierte Inhalt vonNutzt die C-Compiler-Optimierung die Mehrdeutigkeit der Argumentevaluierungsreihenfolge aus?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!