Wie funktioniert der Komma-Operator?

Wie funktioniert der Kommaoperator in C ++?

Zum Beispiel, wenn ich das tue:

a = b, c;  

Entspricht a b oder c?

(Ja, ich weiß, dass dies einfach zu testen ist. Dokumentieren Sie hier einfach, damit jemand die Antwort schnell findet.)

Update: Diese Frage hat bei Verwendung des Komma-Operators eine Nuance aufgedeckt. Nur um dies zu dokumentieren:

a = b, c;    // a is set to the value of b!

a = (b, c);  // a is set to the value of c!

Diese Frage wurde tatsächlich von einem Tippfehler im Code inspiriert. Was sein sollte

a = b;
c = d;

Wurde zu

a = b,    //  <-  Note comma typo!
c = d;

Es wäre gleich b.

Der Kommaoperator hat eine niedrigere Priorität als die Zuweisung.

Beachten Sie, dass der Komma-Operator in C ++ möglicherweise überladen ist. Das tatsächliche Verhalten kann daher sehr unterschiedlich zu dem erwarteten sein.

Beispielsweise verwendet Boost.Spirit den Komma-Operator sehr geschickt, um Listeninitialisierer für Symboltabellen zu implementieren. Somit ist die folgende Syntax möglich und sinnvoll:

keywords = "and", "or", "not", "xor";

Beachten Sie, dass der Code aufgrund der Priorität des Operators (absichtlich!) Identisch mit ist

(((keywords = "and"), "or"), "not"), "xor";

Das heißt, der erste aufgerufene Operator keywords.operator =("and")gibt ein Proxy-Objekt zurück, für das die verbleibenden operator,s aufgerufen werden:

keywords.operator =("and").operator ,("or").operator ,("not").operator ,("xor");

Der Kommaoperator hat die niedrigste Priorität aller C / C ++ - Operatoren. Daher ist es immer der letzte, der an einen Ausdruck bindet, was Folgendes bedeutet:

a = b, c;

ist äquivalent zu:

(a = b), c;

Eine weitere interessante Tatsache ist, dass der Kommaoperator einen Sequenzpunkt einführt . Dies bedeutet, dass der Ausdruck:

a+b, c(), d

Es wird garantiert, dass die drei Unterausdrücke ( a + b , c () und d ) der Reihe nach ausgewertet werden. Dies ist wichtig, wenn sie Nebenwirkungen haben. Normalerweise dürfen Compiler Unterausdrücke in beliebiger Reihenfolge auswerten. Zum Beispiel in einem Funktionsaufruf:

someFunc(arg1, arg2, arg3)

Argumente können in beliebiger Reihenfolge ausgewertet werden. Beachten Sie, dass die Kommas im Funktionsaufruf keine Operatoren sind. Sie sind Trennzeichen.

Der Kommaoperator:

• hat die niedrigste Priorität
• ist linksassoziativ

Eine Standardversion des Kommaoperators ist für alle Typen (integriert und benutzerdefiniert) definiert und funktioniert wie folgt exprA , exprB:

• exprA wird ausgewertet
• Das Ergebnis von exprAwird ignoriert
• exprB wird ausgewertet
• Das Ergebnis von exprBwird als Ergebnis des gesamten Ausdrucks zurückgegeben

Bei den meisten Operatoren kann der Compiler die Ausführungsreihenfolge auswählen, und es ist sogar erforderlich, die Ausführung zu überspringen, wenn dies das Endergebnis nicht beeinflusst (z. B. false && foo()wird der Aufruf von übersprungen foo). Dies ist jedoch beim Komma-Operator nicht der Fall und die obigen Schritte werden immer ausgeführt ^* .

In der Praxis funktioniert der Standard-Kommaoperator fast genauso wie ein Semikolon. Der Unterschied besteht darin, dass zwei durch ein Semikolon getrennte Ausdrücke zwei separate Anweisungen bilden, während die Kommatrennung alle als einen einzigen Ausdruck enthält. Aus diesem Grund wird in den folgenden Szenarien manchmal ein Kommaoperator verwendet:

• Die C-Syntax erfordert einen einzelnen Ausdruck , keine Anweisung. zB inif( HERE )
• Die C-Syntax erfordert eine einzelne Anweisung, nicht mehr, z. B. bei der Initialisierung der forSchleifefor ( HERE ; ; )
• Wenn Sie geschweifte Klammern überspringen und eine einzige Aussage behalten möchten: if (foo) HERE ;(Bitte tun Sie das nicht, es ist wirklich hässlich!)

Wenn eine Anweisung kein Ausdruck ist, kann das Semikolon nicht durch ein Komma ersetzt werden. Zum Beispiel sind diese nicht erlaubt:

• (foo, if (foo) bar)( ifist kein Ausdruck)
• int x, int y (Variablendeklaration ist kein Ausdruck)

In Ihrem Fall haben wir:

• a=b, c;Dies entspricht der a=b; c;Annahme, dass aes sich um einen Typ handelt, der den Kommaoperator nicht überlastet.
• a = b, c = d;Dies entspricht der a=b; c=d;Annahme, dass aes sich um einen Typ handelt, der den Kommaoperator nicht überlastet.

Beachten Sie, dass nicht jedes Komma ein Kommaoperator ist. Einige Kommas, die eine ganz andere Bedeutung haben:

• int a, b; --- Die Liste der Variablendeklarationen ist durch Kommas getrennt, dies sind jedoch keine Kommaoperatoren
• int a=5, b=3; --- Dies ist auch eine durch Kommas getrennte Variablendeklarationsliste
• foo(x,y)--- durch Kommas getrennte Argumentliste. In der Tat xund ykann in beliebiger Reihenfolge ausgewertet werden!
• FOO(x,y) --- durch Kommas getrennte Makroargumentliste
• foo<a,b> --- durch Kommas getrennte Vorlagenargumentliste
• int foo(int a, int b) --- durch Kommas getrennte Parameterliste
• Foo::Foo() : a(5), b(3) {} --- durch Kommas getrennte Initialisiererliste in einem Klassenkonstruktor

^* Dies gilt nicht ganz, wenn Sie Optimierungen anwenden. Wenn der Compiler erkennt, dass ein bestimmter Code absolut keine Auswirkungen auf den Rest hat, werden die unnötigen Anweisungen entfernt.

Weiterführende Literatur: http://en.wikipedia.org/wiki/Comma_operator

Der Wert von awird sein b, aber der Wert des Ausdrucks wird sein c. Das ist in

d = (a = b, c);

a wäre gleich bund dwäre gleich c.

Der Wert von b wird a zugewiesen. Nichts wird passieren c

Der Wert von a ist gleich b, da der Kommaoperator eine niedrigere Priorität hat als der Zuweisungsoperator.

Ja Der Kommaoperator hat eine niedrige Priorität als der Zuweisungsoperator

#include<stdio.h>
int main()
{
          int i;
          i = (1,2,3);
          printf("i:%d\n",i);
          return 0;
}

Ausgabe: i = 3
Da der Kommaoperator immer den Wert ganz rechts zurückgibt.
Im Falle eines Kommaoperators mit Zuweisungsoperator:

 int main()
{
      int i;
      i = 1,2,3;
      printf("i:%d\n",i);
      return 0;
}

Ausgabe: i = 1
Wie wir wissen, hat der Kommaoperator eine niedrigere Priorität als die Zuweisung .....

Das Wichtigste zuerst: Komma ist eigentlich kein Operator, für den Compiler ist es nur ein Token, das im Kontext mit anderen Token eine Bedeutung erhält .

Was bedeutet das und warum sich die Mühe machen?

Beispiel 1:

Um den Unterschied zwischen der Bedeutung desselben Tokens in einem anderen Kontext zu verstehen, sehen wir uns dieses Beispiel an:

class Example {
   Foo<int, char*> ContentA;
}

Normalerweise wird ein C ++ Anfänger würde denken , dass dieser Ausdruck könnte / würde die Dinge vergleichen , aber es ist absolut falsch, die Bedeutung der <, >und ,Token depent auf dem Nutzungskontext.

Die korrekte Interpretation des obigen Beispiels ist natürlich, dass es sich um eine Instanziierung einer Vorlage handelt.

Beispiel 2:

Wenn wir eine typische for-Schleife mit mehr als einer Initialisierungsvariablen und / oder mehr als einem Ausdruck schreiben, die nach jeder Iteration der Schleife ausgeführt werden soll, verwenden wir auch Komma:

for(a=5,b=0;a<42;a++,b--)
   ...

Die Bedeutung des Kommas hängt vom Verwendungskontext ab, hier ist es der Kontext der forKonstruktion.

Was bedeutet eigentlich ein Komma im Kontext?

Um es noch komplizierter zu machen (wie immer in C ++), kann der Kommaoperator selbst überladen werden (dank Konrad Rudolph für den Hinweis).

Um auf die Frage zurückzukommen, den Kodex

a = b, c;

bedeutet für den Compiler so etwas wie

(a = b), c;

weil die Priorität des =Tokens / Operators höher ist als die Priorität des ,Tokens.

und dies wird im Kontext wie interpretiert

a = b;
c;

(Beachten Sie, dass die Interpretation vom Kontext abhängt, hier weder ein Funktions- / Methodenaufruf noch eine Template-Instanziierung.)