(function eval() {}) arroja un error de sintaxis si el cuerpo de la función está en modo estricto?

Question

¿Por qué este código arroja un error?

// global non-strict code 
(function eval() { 'use strict'; }); 

Demostración en directo:http://jsfiddle.net/SE3eX/1/

Por lo tanto, lo que tenemos aquí es una expresión de la función llamada. Me gustaría señalar explícitamente que esta expresión de función aparece en código no estricto. Como puede ver, su cuerpo de función es un código estricto.

Las reglas de modo estricto está aquí: http://ecma-international.org/ecma-262/5.1/#sec-C

La bala relevante es este (que es el último de la lista):

It is a SyntaxError to use within strict mode code the identifiers eval or arguments as the Identifier of a FunctionDeclaration or FunctionExpression or as a formal parameter name (13.1). Attempting to dynamically define such a strict mode function using the Function constructor (15.3.2) will throw a SyntaxError exception.

Observe cómo sólo se aplica esta regla si la declaración de la función/La expresión en sí misma aparece en el código estricto, que hace no en mi ejemplo anterior.

¿Todavía se echa un error? ¿Por qué?

Answer 1

§13.1 describe lo que debe suceder en casos como el suyo: la mina

• It is a SyntaxError if any Identifier value occurs more than once within a FormalParameterList of a strict mode FunctionDeclaration or FunctionExpression.
• It is a SyntaxError if the Identifier "eval" or the Identifier "arguments" occurs within a - FormalParameterList of a strict mode FunctionDeclaration or FunctionExpression.
• It is a SyntaxError if the Identifier "eval" or the Identifier "arguments" occurs as the Identifier of a strict mode FunctionDeclaration or FunctionExpression.

énfasis. El de su función de modo estricto identificador es eval, por lo tanto, es un SyntaxError. Juego terminado.

---

ver por qué lo anterior es una "expresión de la función modo estricto," mirar las definiciones semánticas en § 13 (Definición de la función):

The production
FunctionExpression : functionIdentifier_opt(FormalParameterList_opt) {FunctionBody} is evaluated as follows:

1. Return the result of creating a new Function object as specified in 13.2 with parameters specified by FormalParameterListopt and body specified by FunctionBody. Pass in the LexicalEnvironment of the running execution context as the Scope. Pass in true as the Strict flag if the FunctionExpression is contained in strict code or if its FunctionBody is strict code.

El subrayado es mío. Lo anterior muestra cómo una expresión de función (o declaración) se vuelve estricta. Lo que dice (en la llanura Inglés) es que un FunctionExpression es strict en dos escenarios:

1. Se llama desde un contexto use strict.
2. Su cuerpo de función comienza con use strict.

Su confusión surge de pensar que sólo el cuerpo función es strict, cuando en realidad, toda la expresión función es strict. Su lógica, aunque intuitiva, no es cómo funciona JS.

---

Si usted se pregunta por qué ECMAscript funciona de esta manera, es bastante simple.Supongamos que tenemos la siguiente:

// look ma, I'm not strict 
(function eval() { 
    "use strict"; 
    // evil stuff 
    eval(); // this is a perfectly legal recursive call, and oh look... 
      // ... I implicitly redefined eval() in a strict block 
    // evil stuff 
})(); 

Afortunadamente, el código anterior tirará porque toda la expresión de la función se marca como strict.

Answer 2

Supongo que arroja un error porque dentro de la función eval apuntaría a la función que ahora está en violación del modo estricto.

Answer 3

¡Buena pregunta!

Así que para encontrar la respuesta a su problema en realidad se necesita mirar la process for declaring a function (en concreto, los pasos 3-5 - énfasis agregado):

1. ...
2. ...
3. Call the CreateImmutableBinding concrete method of envRec passing the String value of Identifier as the argument.
4. Let closure be the result of creating a new Function object as specified in 13.2 with parameters specified by FormalParameterList_opt and body specified by FunctionBody. Pass in funcEnv as the Scope.Pass in true as the Strict flag if the FunctionExpression is contained in strict code or if its FunctionBody is strict code.
5. Call the InitializeImmutableBinding concrete method of envRec passing the String value of Identifier and closure as the arguments.

Por lo tanto, lo que sucede es que el uso de eval no es un problema cuando se crea el enlace en el paso 3, pero una vez que llega al paso 5, intenta inicializar el enlace de eval dentro de un entorno léxico estricto (es decir, asignar algo a eval), lo cual no está permitido porque estamos en un contexto estricto después del paso 4.

Recuerde que la restricción no es al inicializar una nueva variable eval. Está en usarlo como LeftHandSideExpression de un operador de Asignación, que es lo que sucede en el paso 5 del proceso de declaración de funciones.

UPDATE:

Como @DavidTitarenco señaló, esta se cubre explícitamente en sección 13.1 (además de la restricción implícita en sección 13).