(işlev durumu() {}) işlev gövdesi sıkı modda olduğunda bir sözdizimi hatası veriyor?

Question

Bu kod neden bir hata veriyor?

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

Canlı tanıtım:http://jsfiddle.net/SE3eX/1/

Peki, biz burada var adlandırılmış işlev ifadesidir. Bu işlev ifadesinin sıkı olmayan kodda göründüğünü açıkça belirtmek isterim. Gördüğünüz gibi, onun işlev gövdesi sıkı bir koddur.

katı mod kuralları Buradasınız: http://ecma-international.org/ecma-262/5.1/#sec-C

alakalı madde bu bir (listede son kapı) 'dir: bu kural geçerlidir nasıl

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.

Bildirim IF_FUNCTION beyanı/İfadenin kendisi, yukarıdaki örneğimde değil, sıkı bir kodda görünür.

Yine de bir hata mı atıyor? Niye ya?

Answer 1

§13.1 sizinki gibi durumlarda gerçekleşmesi gerektiğini şeyi özetler:

• 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.

Vurgu benim. Sıkı mod işlevinizin tanımlayıcısı, eval, dolayısıyla, bir SyntaxError. Oyun bitti. Yukarıda bir neden

---

§13 (Fonksiyon Tanımı) içinde anlamsal tanımların bakmak "katı mod fonksiyonu ifadesi," görmek için:

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.

Vurgu benim. Yukarıdakiler, bir işlev ifadesinin (veya beyanının) nasıl katı hale geldiğini gösterir. Bu bir use strict bağlamdan denir

1. : Ne (Türkçesi) diyen bir FunctionExpressionstrict iki senaryo olmasıdır.
2. İşlev gövdesi use strict ile başlar. aslında, tüm fonksiyon ifadesistrict olduğunda sadece işlev gövdesi, strict olduğunu

Kişisel karışıklık düşünme kaynaklanmaktadır. Mantığınız sezgisel olsa da, JS nasıl çalışır?

---

ECMAscript'in neden bu şekilde çalıştığını merak ediyorsanız, oldukça basittir.Bu olduğunu varsayalım: tüm işlev ifadesistrict olarak işaretlenir çünkü

// 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 
})(); 

Neyse ki, yukarıdaki kod atar.

Answer 2

Bir hatayı attığını tahmin ediyorum çünkü fonksiyonun içinde, şu anda katı modun ihlali yapan işlevin kendisini göstermesi gerek.

Answer 3

Harika soru!

Yani aslında process for declaring a function bakmak gerekir sorununuza cevap bulmak için (özellikle 3-5 arasındaki adımları - vurgu eklenmiştir):

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.

Yani, ne olur olduğunu eval kullanımınız Bağlanma adım 3'te oluşturulduğunda sorun değil, ancak adım 5'i vurduktan sonra, eval bağlayıcılığının sıkı bir sözlük içinde (örneğin eval'a bir şey atayarak) başlatılmasını deniyor, çünkü 4. adımı izleyen sıkı bir bağlamda

Bu kısıtlamanın Yeni bir eval değişkenini başlatırken. İşlev bildirim işleminin 5. adımında gerçekleşen bir Atama işleci olan LeftHandSideExpression olarak kullanılıyor.

Update: @DavidTitarenco belirttiği gibi

, bu açık bir şekilde (kısım 13 örtülü sınırlama ek olarak) bölümünde 13.1 kaplıdır.