¿Qué tipo es la palabra clave 'retorno'?

Usamos declaraciones de retorno opcionalmente en funciones de JavaScript. Es una palabra clave. Pero, ¿cuál es el tipo real de returnsí mismo? En realidad me confundí al ver el ejemplo:

function add(a, b) {
  return (
    console.log(a + b),
    console.log(arguments)
  );
}

add(2, 2);

Salida:

4
[2, 2]

Entonces, podemos pasar expresiones separadas por comas a la returndeclaración. ¿Es esta una función?

Y comenzando con esto, ¿podemos suponer que cada palabra clave en JavaScript es en última instancia una función?

He escrito un pequeño blog como parte esencial de esta discusión. Es posible que desee comprobarlo aquí .

Pero, ¿cuál es el tipo real de "devolución" en sí?

No tiene un tipo, no es un valor.

Intentarlo typeof return;te dará Unexpected token return.

Entonces, podemos pasar expresiones separadas por comas en la declaración de retorno. ¿Es esta una función?

No, mientras que los paréntesis se pueden usar para llamar a una función, aquí son un operador de agrupación que contiene un par de expresiones separadas por un operador de coma .

Una demostración más útil sería:

function add(a, b) {
  return (
    (a + b),
    (a - b)
  );
}

console.log(add(2, 2));

Qué salidas 0porque el resultado de a + bse ignora (está en el LHS del operador de coma) y a - bse devuelve.

Estoy un poco sorprendido de que nadie aquí haya hecho referencia directa a la especificación :

12.9 La sintaxis de la instrucción return ReturnStatement: return; return [no LineTerminator aquí] Expresión;

Semántica

Un programa ECMAScript se considera sintácticamente incorrecto si contiene una declaración de retorno que no está dentro de FunctionBody. Una declaración de retorno hace que una función deje de ejecutarse y devuelva un valor al llamador. Si se omite Expresión, el valor de retorno no está definido. De lo contrario, el valor de retorno es el valor de Expresión.

Un ReturnStatement se evalúa de la siguiente manera:

Si la expresión no está presente, regrese (return, undefined, empty). Sea exprRefel resultado de evaluar Expression. Regreso (return, GetValue(exprRef), empty).

Entonces, debido a la especificación, su ejemplo dice:

return ( GetValue(exprRef) )

dónde exprRef = console.log(a + b), console.log(arguments)

Que de acuerdo con la especificación del operador de coma ...

Semántica

La producción Expression: Expression, AssignmentExpression se evalúa de la siguiente manera:

Let lref be the result of evaluating Expression.
Call GetValue(lref).
Let rref be the result of evaluating AssignmentExpression.
Return GetValue(rref).

... significa que cada expresión se evaluará hasta el último elemento de la lista de comas, que se convierte en la expresión de asignación. Entonces tu código return (console.log(a + b) , console.log(arguments))va a

1.) imprime el resultado de a + b

2.) No queda nada por ejecutar, así que ejecute la siguiente expresión que

3.) imprime arguments, y porque console.log()no especifica una declaración de devolución

4.) Evalúa como indefinido

5.) Que luego se devuelve a la persona que llama.

Entonces, la respuesta correcta es, returnno tiene un tipo, solo devuelve el resultado de alguna expresión.

Para la siguiente pregunta:

Entonces, podemos pasar expresiones separadas por comas en la declaración de retorno. ¿Es esta una función?

No. La coma en JavaScript es un operador, definido para permitirle combinar múltiples expresiones en una sola línea, y está definida por la especificación para devolver la expresión evaluada de lo que sea el último en su lista.

¿Aún no me crees?

<script>
alert(foo());
function foo(){
    var foo = undefined + undefined;
    console.log(foo);
    return undefined, console.log(1), 4;
}
</script>

Juega con ese código aquí y juega con el último valor de la lista. Siempre devolverá el último valor de la lista, en su caso, resulta serundefined.

Para su pregunta final,

Y comenzando con esto, ¿podemos suponer que cada palabra clave en JavaScript es en última instancia una función?

De nuevo, no. Las funciones tienen una definición muy específica en el lenguaje. No lo volveré a imprimir aquí porque esta respuesta ya se está volviendo extremadamente larga.

Probando lo que sucede cuando devuelve valores entre paréntesis:

function foo() {
    return (1, 2);
}

console.log(foo());

Da la respuesta 2, por lo que parece que una lista de valores separados por comas se evalúa como el último elemento de la lista.

Realmente, los paréntesis son irrelevantes aquí, están agrupando operaciones en lugar de significar una llamada a función. Sin embargo, lo que posiblemente sea sorprendente es que la coma es legal aquí. Encontré una publicación de blog interesante sobre cómo se maneja la coma aquí:

https://javascriptweblog.wordpress.com/2011/04/04/the-javascript-comma-operator/

returnno es una función. Es la continuación de la función en la que ocurre.

Piense en el enunciado alert (2 * foo(bar));donde fooestá el nombre de una función. Cuando lo evalúa, ve que tiene que dejar de lado el resto de la declaración por un momento para concentrarse en evaluar foo(bar). Podrías visualizar la parte que apartaste como algo así alert (2 * _), con un espacio en blanco para completar. Cuando sabes cuál es el valor de foo(bar), retíralo.

Lo que dejó de lado fue la continuación de la llamada foo(bar).

Llamar le returnda valor a esa continuación.

Cuando evalúas una función en el interior foo, el resto de fooespera a que esa función se reduzca a un valor y luego la fooreanuda. Todavía tienes un objetivo que evaluar foo(bar), simplemente está en pausa.

Cuando evalúas el returninterior foo, ninguna parte de fooespera por un valor. returnno se reduce a un valor en el lugar interior foodonde lo usó. En cambio, hace que toda la llamada se foo(bar) reduzca a un valor, y el objetivo "evaluar foo(bar)" se considera completo y deslumbrado.

La gente no suele informarle sobre las continuaciones cuando es nuevo en la programación. Ellos piensan que es un tema avanzado, simplemente porque no son cosas muy avanzadas que las personas eventualmente hacen con continuaciones. Pero la verdad es que los está usando todo el tiempo, cada vez que llama a una función.

el returnaquí es una pista falsa. Quizás sea interesante la siguiente variación:

function add(a, b) {
  return (
    console.log(a + b),
    console.log(arguments)
  );
}

console.log(add(2, 2));

que sale como la última línea

undefined

ya que la función en realidad no devuelve nada. (Devolvería el valor de retorno del segundo console.log, si tuviera uno).

Tal como está, el código es exactamente idéntico a

function add(a, b) {
    console.log(a + b);
    console.log(arguments);
}

console.log(add(2, 2));

Una forma interesante de entender la declaración de retorno es a través del operador void . Eche un vistazo a este código.

var console = {
    log: function(s) {
      document.getElementById("console").innerHTML += s + "<br/>"
    }
}

function funReturnUndefined(x,y) {
   return ( void(x+y) );
}

function funReturnResult(x,y) {
   return ( (x+y) );
}

console.log( funReturnUndefined(2,3) );
console.log( funReturnResult(2,3) );

<div id="console" />

Dado que la returndeclaración toma un argumento que es [[expression]]y lo devuelve a la persona que llama en la pila, es decir arguments.callee.caller, se ejecutará void(expression)y luego devolverá, undefinedesa es la evaluación del operador void.