Другое поведение оператора запятой в с ++ с возвратом?

Это (обратите внимание на оператор запятой ):

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

выходы 2 .

Однако, если вы используете returnоператор запятой, это:

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

Выходы 3 .

Почему оператор запятой ведет себя иначе с return?

В соответствии с приоритетом оператора , оператор запятой имеет более низкий приоритет, чем operator=, поэтому x = 2,3;эквивалентен (x = 2),3;. (Приоритет оператора определяет, как оператор будет привязан к своим аргументам, более жестко или менее жестко, чем другие операторы, в соответствии с их приоритетами.)

Обратите внимание, что выражение запятой (x = 2),3здесь, а не 2,3. x = 2сначала оценивается (и его побочные эффекты завершаются), затем результат отбрасывается, затем 3оценивается (фактически ничего не делает). Вот почему значение xесть 2. Обратите внимание, что 3это результат всего выражения запятой (т.е. x = 2,3), он не будет использоваться для присвоения x. (Измените его на x = (2,3);, xбудет назначено с 3.)

Для получения return 2,3;, выражение запятой 2,3, 2вычисляются затем его результат отбрасывается, а затем 3вычисляется и возвращаются как результат всего выражения запятой, который возвращается в обратном заявлении позже.

Дополнительная информация о выражениях и утверждениях

Выражение - это последовательность операторов и их операндов, определяющая вычисление.

x = 2,3;это выражение выражение , x = 2,3это выражение здесь.

Выражение, за которым следует точка с запятой, является утверждением.

Синтаксис: attr(optional) expression(optional) ; (1)

return 2,3;это оператор перехода ( оператор возврата ), 2,3это выражение здесь.

Синтаксис: attr(optional) return expression(optional) ; (1)

Оператор запятой (также известный как разделение выражений ) оценивается слева направо. Так return 2,3;эквивалентно return 3;.

Оценка x = 2,3;происходит (x = 2), 3;из-за приоритета оператора . Оценка по-прежнему выполняется слева направо, и все выражение имеет значение 3 с побочным эффектом xпринятия значения 2.

Это утверждение:

  x = 2,3;

состоит из двух выражений :

> x = 2
> 3

Так как приоритет операторов , =имеет больший приоритет , чем запятая ,, поэтому x = 2вычисляются и после 3 . Тогда xбудет равно 2.

В returnвместо:

int f(){ return 2,3; }

Синтаксис языка:

return <expression>

Примечание return не является частью выражения.

Таким образом, в этом случае будут оцениваться два выражения:

> 2
> 3

Но 3будет возвращен только второй ( ).

Попробуйте применить упрощенный подход, просто выделив приоритет круглыми скобками:

( x = 2 ), 3;

return ( 2, 3 );

Теперь мы можем видеть, что бинарный оператор "" работает одинаково в обоих случаях, слева направо.