कैच क्लॉज का अपना लेक्सिकल वातावरण क्यों होता है?

Question

निम्नलिखित अंश from ECMA-262 v5.1 (जो मैंने हाल ही में this question में देखा था) पर विचार करें:

एक शाब्दिक पर्यावरण एक विनिर्देश विशिष्ट चरों और कार्यों ECMAScript कोड का शाब्दिक नेस्टिंग संरचना पर आधारित करने के लिए पहचानकर्ता के सहयोग से परिभाषित किया जाता प्रकार है । एक व्याख्यात्मक पर्यावरण में पर्यावरण रिकॉर्ड और बाहरी लेक्सिकल पर्यावरण के संभावित रूप से शून्य संदर्भ शामिल हैं। आम तौर पर एक लेक्सिकल एनवायरनमेंट ईसीएमएस्क्रिप्ट कोड की कुछ विशिष्ट सिंटैक्टिक संरचना से जुड़ा होता है जैसे फंक्शनडेक्लेरेशन, एक विस्टामेंटमेंट, या ट्रास्टेटमेंट का कैच क्लॉज और हर बार ऐसे कोड का मूल्यांकन किया जाता है, जब एक नया लेक्सिकल एनवायरनमेंट बनाया जाता है।

मैंने सोचा था कि, मतलब catch खंड के शरीर की अपनी चर फहराने हैं कार्यों करते हैं लेकिन जाहिरा तौर पर that's not the case:

var a = 1; 
try { 
    console.log(x); // ReferenceError 
} catch(ex) { 
    console.log(a); // 1, not undefined 
    var a = 3; 
} 

किसी को भी पता है क्यों? इसके अलावा, catch खंड को अपने स्वयं के शब्दावली पर्यावरण की आवश्यकता क्यों है?

Answer 1

हाँ, catch खंडों में वास्तव में अपने स्वयं के लेक्सिकल वातावरण हैं। देखें कि happens when it is evaluated: यह एक नया बनाता है (वर्तमान से प्राप्त) और इसे अपवाद-पहचानकर्ता को बांधता है। कैच ब्लॉक को निष्पादित करते समय, वर्तमान Execution Context'sLexicalEnvironment को नए पर स्विच किया जाता है, जबकि VariableEnvironment ("जिसका पर्यावरण रिकॉर्ड VariableStatements और FunctionDeclarations द्वारा निर्मित बाइंडिंग रखता है") अपरिवर्तित रहता है।

console.log(a); // undefined - declared from within the catch, 
       // but in the current VariableEnvironment 
a = 1; 
console.log(typeof ex); // undefined - no binding 
try { 
    console.log(ex); // a ReferenceError in this LexicalEnvironment 
} catch (ex) { // introducing the new LexicalEnvironment 
    console.log(ex); // …and it works here! 
    var a = 3; // variable declaration 
} 

---

मज़ेदार तथ्य: आप करने की कोशिश की घोषणा एक catch खंड के अंदर एक समारोह (हालांकि वाक्य रचना एक ब्लॉक में अवैध, "समारोह घोषणा बयान" अक्सर स्वीकार किए जाते हैं), इसके दायरे वर्तमान बन जाएगा VariableEnvironment तो यह अपवाद उपयोग करने में सक्षम नहीं होगा:

try {throw "some"} catch(x) { function y(){console.log(x, typeof x);} y(); } 
        // throws a ReferenceError for x ^

_{(अपडेट: अब यह ES6, जहां में सच है ब्लॉक स्तर समारोह घोषणाओं वैध और ब्लॉक गुंजाइश अधिक करीब)}