Unterschiedliches Verhalten des Kommaoperators in C ++ mit Rückgabe?

Dies (beachten Sie den Komma-Operator ):

#include <iostream>
int main() {
    int x;
    x = 2, 3;
    std::cout << x << "\n";
    return 0;
}

Ausgänge 2 .

Wenn Sie jedoch returnden Komma-Operator verwenden, gilt Folgendes:

#include <iostream>
int f() { return 2, 3; }
int main() {
    int x;
    x = f();
    std::cout << x << "\n";
    return 0;
}

Ausgänge 3 .

Warum verhält sich der Kommaoperator anders return?

Nach dem Operator Präzedenz , Komma - Operator hat niedrigere Priorität als operator=, so x = 2,3;entspricht (x = 2),3;. (Die Priorität des Operators bestimmt, wie der Operator an seine Argumente gebunden wird, je nach Priorität enger oder lockerer als andere Operatoren.)

Beachten Sie, dass der Komma-Ausdruck (x = 2),3hier nicht steht 2,3. x = 2wird zuerst ausgewertet (und seine Nebenwirkungen sind abgeschlossen), dann wird das Ergebnis verworfen und dann 3ausgewertet (es tut tatsächlich nichts). Deshalb ist der Wert xist 2. Beachten Sie, dass dies 3das Ergebnis des gesamten Kommaausdrucks ist (dh x = 2,3), für dessen Zuweisung er nicht verwendet wird x. (Ändern Sie es in x = (2,3);, xwird zugewiesen mit 3.)

Für return 2,3;ist das Komma Ausdruck 2,3, 2bewertet wird , dann wird das Ergebnis verworfen und dann 3ausgewertet wird und als das Ergebnis des gesamten Komma Ausdruck zurückgegeben, der durch die zurückgeführt wird return - Anweisung später.

Zusätzliche Informationen zu Ausdrücken und Aussagen

Ein Ausdruck ist eine Folge von Operatoren und ihren Operanden, die eine Berechnung angibt.

x = 2,3;ist Ausdruck Aussage , x = 2,3ist der Ausdruck hier.

Ein Ausdruck gefolgt von einem Semikolon ist eine Aussage.

Syntax: attr(optional) expression(optional) ; (1)

return 2,3;ist die Sprunganweisung ( return-Anweisung ), 2,3ist hier der Ausdruck.

Syntax: attr(optional) return expression(optional) ; (1)

Der Komma- Operator (auch als Ausdruckstrennung bezeichnet ) wird von links nach rechts ausgewertet. Ist return 2,3;also gleichbedeutend mit return 3;.

Die Bewertung von x = 2,3;ist (x = 2), 3;auf die Priorität des Bedieners zurückzuführen . Die Auswertung erfolgt immer noch von links nach rechts, und der gesamte Ausdruck hat den Wert 3 mit dem Nebeneffekt, xdass der Wert 2 angenommen wird.

Diese Aussage:

  x = 2,3;

besteht aus zwei Ausdrücken :

> x = 2
> 3

Da Operator Vorrang , =hat mehr Priorität als Komma ,, so x = 2ausgewertet wird und nach 3 . Dann xwird gleich sein 2.

In der returnstattdessen:

int f(){ return 2,3; }

Die Sprachsyntax lautet:

return <expression>

Hinweis return ist nicht Teil des Ausdrucks.

In diesem Fall werden die beiden Ausdrücke wie folgt ausgewertet:

> 2
> 3

Es wird jedoch nur das zweite ( 3) zurückgegeben.

Versuchen Sie, den simplen Ansatz anzuwenden, indem Sie nur den Vorrang in Klammern hervorheben:

( x = 2 ), 3;

return ( 2, 3 );

Jetzt können wir sehen, dass der binäre Operator "" auf beiden von links nach rechts auf die gleiche Weise funktioniert.