Warum führt „i = i' zu undefiniertem Verhalten in C?

Das undefinierte Verhalten von i = i

Der C-Standard definiert „undefiniertes Verhalten“ als Verhalten, das vom Standard nicht explizit spezifiziert wird. Das bedeutet, dass es dem Compiler freisteht, jeden gewünschten Code zu generieren, wenn er auf undefiniertes Verhalten stößt, auch wenn dies zu einer unvorhersehbaren oder fehlerhaften Ausgabe führt.

Ein Beispiel für undefiniertes Verhalten ist die Zuweisung eines Werts zu einer Variablen kurz vor der Änderung. Betrachten Sie den folgenden Codeausschnitt:

<code class="cpp">i = 3;
i = i++;</code>

Gemäß dem Standard führt dieser Code zu undefiniertem Verhalten. Allerdings wird häufig davon ausgegangen, dass der Endwert von i unabhängig von der Reihenfolge der Auswertung 4 sein wird. Dies ist nicht unbedingt wahr.

Der Compiler könnte Code ausgeben, der einem der folgenden entspricht:

<code class="cpp">i = 3;
int tmp = i;
++i;
i = tmp;

i = 3;
++i;
i = i - 1;

i = 3;
i = i;
++i;</code>

In den ersten beiden Fällen beträgt der Endwert von i 4. Im dritten Fall beträgt der Endwert von i jedoch 3.

Daher ist es falsch anzunehmen, dass der Endwert von i immer 4 sein wird. Das tatsächliche Verhalten ist undefiniert und vom Compiler abhängig.

Grundsätzlich ist es am besten, undefiniertes Verhalten zu vermeiden. Wenn Sie auf Code stoßen, der undefiniertes Verhalten zeigt, ist es wichtig, ihn so schnell wie möglich zu beheben.

Das obige ist der detaillierte Inhalt vonWarum führt „i = i' zu undefiniertem Verhalten in C?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!