¿Diferente comportamiento del operador de coma en C ++ con retorno?

Esto (tenga en cuenta el operador de coma ):

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

salidas 2 .

Sin embargo, si usa returncon el operador de coma, esto:

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

salidas 3 .

¿Por qué el operador de coma se comporta de manera diferente con return?

Según la precedencia del operador , el operador coma tiene una precedencia menor que operator=, por lo que x = 2,3;es equivalente a (x = 2),3;. (La precedencia del operador determina cómo se vinculará el operador a sus argumentos, más estrictos o más flexibles que otros operadores según sus precedentes).

Tenga en cuenta que la expresión de coma está (x = 2),3aquí, no 2,3. x = 2se evalúa al principio (y se completan sus efectos secundarios), luego se descarta el resultado, luego 3se evalúa (no hace nada de hecho). Por eso el valor de xes 2. Tenga en cuenta que 3es el resultado de toda la expresión de coma (es decir x = 2,3), no se utilizará para asignar x. (Cámbielo a x = (2,3);, xse le asignará con 3).

Para return 2,3;la expresión coma es 2,3, 2se evalúa entonces su resultado se descarta, y luego 3se evalúa y se devuelve como el resultado de toda la expresión de coma, que es devuelto por la instrucción de retorno más tarde.

Información adicional sobre Expresiones y declaraciones

Una expresión es una secuencia de operadores y sus operandos, que especifica un cálculo.

x = 2,3;es una declaración de expresión ,x = 2,3 es la expresión aquí.

Una expresión seguida de un punto y coma es una declaración.

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

return 2,3;es la declaración de salto ( declaración de retorno ), 2,3es la expresión aquí.

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

El operador de coma (también conocido como separación de expresión ) se evalúa de izquierda a derecha. Entonces return 2,3;es equivalente areturn 3; .

La evaluación de x = 2,3;se (x = 2), 3;debe a la precedencia del operador . La evaluación sigue siendo de izquierda a derecha y toda la expresión tiene el valor 3 con el efecto secundario de xasumir el valor 2.

Esta declaración:

  x = 2,3;

está compuesto por dos expresiones :

> x = 2
> 3

Dado que la precedencia del operador , =tiene más precedencia que la coma ,, por lo que x = 2se evalúa y después 3 . Entonces xserá igual a 2.

En el returnlugar:

int f(){ return 2,3; }

La sintaxis del idioma es:

return <expression>

La nota return no es parte de la expresión.

Entonces, en ese caso, las dos expresiones que se evaluarán serán:

> 2
> 3

Pero solo 3se devolverá el segundo ( ).

Intente aplicar el enfoque simplista resaltando la precedencia entre paréntesis:

( x = 2 ), 3;

return ( 2, 3 );

Ahora podemos ver el operador binario "," trabajando de la misma manera en ambos, de izquierda a derecha.