Was bedeutet i = (i, ++ i, 1) + 1; machen?

Nachdem ich diese Antwort über undefiniertes Verhalten und Sequenzpunkte gelesen hatte , schrieb ich ein kleines Programm:

#include <stdio.h>

int main(void) {
  int i = 5;
  i = (i, ++i, 1) + 1;
  printf("%d\n", i);
  return 0;
}

Die Ausgabe ist 2. Oh Gott, ich habe das Dekrement nicht kommen sehen! Was passiert hier?

Außerdem habe ich beim Kompilieren des obigen Codes eine Warnung erhalten, die besagt:

px.c: 5: 8: Warnung: Der linke Operand des Kommaausdrucks hat keine Auswirkung

  [-Wunused-value]   i = (i, ++i, 1) + 1;
                        ^

Warum? Aber wahrscheinlich wird es automatisch durch die Antwort auf meine erste Frage beantwortet.

Im Ausdruck (i, ++i, 1)ist das verwendete Komma der Kommaoperator

Der Kommaoperator (dargestellt durch das Token ,) ist ein binärer Operator, der seinen ersten Operanden auswertet und das Ergebnis verwirft. Anschließend wertet er den zweiten Operanden aus und gibt diesen Wert (und Typ) zurück.

Da es seinen ersten Operanden verwirft, ist es im Allgemeinen nur dann nützlich, wenn der erste Operand wünschenswerte Nebenwirkungen hat . Wenn der Nebeneffekt zum ersten Operanden nicht auftritt, generiert der Compiler möglicherweise eine Warnung über den Ausdruck ohne Auswirkung.

Im obigen Ausdruck wird also das am weitesten links stehende iausgewertet und sein Wert verworfen. Dann ++iwird ausgewertet und ium 1 erhöht, und der Wert des Ausdrucks ++iwird erneut verworfen, aber die Nebenwirkung von iist dauerhaft . Dann 1wird ausgewertet und der Wert des Ausdrucks wird 1.

Es ist äquivalent zu

i;          // Evaluate i and discard its value. This has no effect.
++i;        // Evaluate i and increment it by 1 and discard the value of expression ++i
i = 1 + 1;  

Beachten Sie, dass der obige Ausdruck vollkommen gültig ist und kein undefiniertes Verhalten hervorruft, da zwischen der Auswertung des linken und rechten Operanden des Kommaoperators ein Sequenzpunkt liegt .

Zitat aus C11Kapitel 6.5.17, Komma-Operator

Der linke Operand eines Kommaoperators wird als void-Ausdruck ausgewertet. Es gibt einen Sequenzpunkt zwischen seiner Auswertung und der des richtigen Operanden. Dann wird der richtige Operand ausgewertet; Das Ergebnis hat seinen Typ und Wert.

Also, in deinem Fall,

(i, ++i, 1)

wird bewertet als

1. i, wird als ungültiger Ausdruck ausgewertet, Wert verworfen
2. ++i, wird als ungültiger Ausdruck ausgewertet, Wert verworfen
3. Schließlich 1wurde der Wert zurückgegeben.

Die endgültige Aussage sieht also so aus

i = 1 + 1;

und ikommt zu 2. Ich denke, dies beantwortet Ihre beiden Fragen.

• Wie ibekommt man einen Wert 2?
• Warum gibt es eine Warnmeldung?

Hinweis: FWIW, da nach der Auswertung des linken Operanden ein Sequenzpunkt vorhanden ist, ruft ein Ausdruck wie (i, ++i, 1)UB nicht auf, wie man im Allgemeinen versehentlich denken kann .

i = (i, ++i, 1) + 1;

Lassen Sie es uns Schritt für Schritt analysieren.

(i,   // is evaluated but ignored, there are other expressions after comma
++i,  // i is updated but the resulting value is ignored too
1)    // this value is finally used
+ 1   // 1 is added to the previous value 1

So erhalten wir 2. Und die endgültige Aufgabe jetzt:

i = 2;

Was auch immer in war ich , bevor es jetzt überschrieben.

Das Ergebnis von

(i, ++i, 1)

ist

1

Zum

(i,++i,1) 

Die Auswertung erfolgt so, dass der ,Bediener den ausgewerteten Wert verwirft und genau den am weitesten rechts liegenden Wert beibehält1

So

i = 1 + 1 = 2

Auf der Wiki-Seite finden Sie einige gute Informationen für den Komma-Operator .

Grundsätzlich ist es

... wertet seinen ersten Operanden aus und verwirft das Ergebnis, wertet dann den zweiten Operanden aus und gibt diesen Wert (und Typ) zurück.

Dies bedeutet, dass

(i, i++, 1)

wird seinerseits bewerten i, das Ergebnis verwerfen, bewerten i++, das Ergebnis verwerfen und dann bewerten und zurückgeben 1.

Sie müssen wissen, was der Kommaoperator hier tut:

Dein Ausdruck:

(i, ++i, 1)

Der erste Ausdruck iwird ausgewertet, der zweite Ausdruck ++iwird ausgewertet und der dritte Ausdruck 1wird für den gesamten Ausdruck zurückgegeben.

Das Ergebnis ist also : i = 1 + 1.

Wie Sie sehen, hat der erste Ausdruck für Ihre Bonusfrage iüberhaupt keine Wirkung, daher beschwert sich der Compiler.

Komma hat eine "umgekehrte" Priorität. Dies erhalten Sie aus alten Büchern und C-Handbüchern von IBM (70er / 80er Jahre). Der letzte 'Befehl' wird also im übergeordneten Ausdruck verwendet.

Im modernen C ist seine Verwendung seltsam, aber im alten C (ANSI) sehr interessant:

do { 
    /* bla bla bla, consider conditional flow with several continue's */
} while ( prepAnything(), doSomethingElse(), logic_operation);

Während alle Operationen (Funktionen) von links nach rechts aufgerufen werden, wird nur der letzte Ausdruck als Ergebnis der bedingten 'while' verwendet. Dies verhindert die Behandlung von 'goto', um einen eindeutigen Befehlsblock beizubehalten, der vor der Zustandsprüfung ausgeführt werden soll.

BEARBEITEN: Dadurch wird auch ein Aufruf einer Handling-Funktion vermieden, die sich um die gesamte Logik der linken Operanden kümmern und so das logische Ergebnis zurückgeben kann. Denken Sie daran, dass wir in der Vergangenheit von C keine Inline-Funktion hatten. Dies könnte also einen Anrufaufwand vermeiden.