EcmaScript में LexicalEnvironment और Closures

नमस्कार, हेब्र!

मैंने लंबे समय तक कुछ भी नहीं लिखा है, पिछले कुछ हफ्तों से परियोजना पर बहुत काम किया गया है, लेकिन अब मेरे पास खाली समय है, इसलिए मैंने आपको एक नया लेख पेश करने का फैसला किया है।

आज हम प्रमुख एक्मास्क्रिप्ट अवधारणाओं का विश्लेषण करना जारी रखेंगे, लेक्सिकल पर्यावरण और क्लोजर के बारे में बात करेंगे। क्लोजर को समझने के लिए लेक्सिकल वातावरण की अवधारणा को समझना बहुत महत्वपूर्ण है, और जेएस वर्ल्ड (जो एक्मास्क्रिप्ट स्पेसिफिकेशन पर आधारित है) में बहुत सारी अच्छी तकनीकों और तकनीकों की नींव बंद है।

तो चलिए शुरू करते हैं।

लेक्सिकल एनवायरनमेंट (LexicalEnvironment, LO, LE)

आधिकारिक ES6 विनिर्देश इस शब्द को परिभाषित करता है:

लेक्सिकल एनवायरनमेंट एक प्रकार का विनिर्देश है जिसका उपयोग पहचानकर्ता नामों को हल करने के लिए किया जाता है, जब ECMAScript कोड नेस्टिंग के लेक्सिकल स्ट्रक्चर के आधार पर विशिष्ट चर और कार्यों की खोज की जाती है। लेक्सिकल एनवायरनमेंट में पर्यावरण का रिकॉर्ड होता है और संभवतः, बाहरी लेक्सिकल पर्यावरण के लिए एक अशक्त संदर्भ होता है।

आइए नज़दीक से देखें।

मैं एक प्रकार की संरचना के रूप में शाब्दिक वातावरण की कल्पना करूंगा जो संदर्भ पहचानकर्ताओं के कनेक्शन को उनके अर्थ के साथ संग्रहीत करता है। यह इस संदर्भ के दायरे में घोषित चर, कार्यों, वर्गों का एक प्रकार है।

तकनीकी रूप से, LO दो गुणों वाली एक वस्तु है:

• पर्यावरण रिकॉर्ड (यह वह जगह है जहाँ सभी विज्ञापन संग्रहीत हैं)
• LO जनरेटिव संदर्भ के लिए लिंक।

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

let x = 10; let y = 20; const foo = z => { let x = 100; return x + y + z; } foo(30);// 150.   foo    {record: {z: 30, x: 100}, parent: __parent}; // __parent      {record: {x: 10, y: 20}, parent: null} 

तकनीकी रूप से, पहचानकर्ता नामों को हल करने की प्रक्रिया स्कोपचिन में घटित होगी, अर्थात्। एलओ लूप में वस्तुओं का अनुक्रमिक मतदान तब तक होगा जब तक वांछित पहचानकर्ता नहीं मिल जाता। यदि पहचानकर्ता नहीं मिला, तो ReferenceError।

संदर्भ बनाने के चरण में लेक्सिकल वातावरण बनाया और भरा जाता है। जब वर्तमान संदर्भ निष्पादित करना समाप्त कर देता है, तो इसे कॉल स्टैक से हटा दिया जाता है, लेकिन इसका लेक्सिकल वातावरण तब तक जारी रह सकता है जब तक कि इसमें कम से कम एक लिंक हो। यह प्रोग्रामिंग भाषाओं के डिजाइन के आधुनिक दृष्टिकोण के फायदों में से एक है। मुझे लगता है कि यह बात करने लायक है!

स्टैक ऑर्गनाइजेशन बनाम डायनामिकली शेयर्ड मेमोरी

स्टैक भाषाओं में, स्थानीय चर को स्टैक पर संग्रहीत किया जाता है, जिसे फ़ंक्शन सक्रिय होने पर फिर से भर दिया जाता है, जब फ़ंक्शन बाहर निकलता है, तो इसके स्थानीय चर स्टैक से हटा दिए जाते हैं।

एक स्टैक्ड संगठन के साथ, एक फ़ंक्शन से एक स्थानीय फ़ंक्शन को वापस करना या किसी फ़ंक्शन को मुफ्त चर में कॉल करना संभव नहीं होगा।

एक मुक्त चर एक फ़ंक्शन द्वारा उपयोग किया जाने वाला एक चर है, लेकिन यह न तो एक औपचारिक पैरामीटर है और न ही इस फ़ंक्शन के लिए एक स्थानीय चर है।

 function testFn() { var locaVar = 10; //     innerFn function innerFn(p) { alert(p + localVar); } return innerFn; //  } var test = testFn();//  innerFn   test();//       

स्टैक ऑर्गेनाइजेशन के साथ, न तो एक्सटर्नल लेक्सिकल एंवायरमेंट में लोकेवर सर्च और न ही इनरफैन फंक्शन की वापसी संभव है, क्योंकि इनरफ़न भी टेस्टफ़न के लिए एक स्थानीय घोषणा है। TestFn के पूरा होने पर, इसके सभी स्थानीय चर बस स्टैक से हटा दिए जाएंगे।

इसलिए, एक और अवधारणा प्रस्तावित की गई - गतिशील रूप से आवंटित स्मृति (ढेर, हीप) + कचरा कलेक्टर + संदर्भ गिनती की अवधारणा। इस अवधारणा का सार सरल है: जब तक किसी वस्तु का कम से कम एक संदर्भ होता है, तब तक इसे मेमोरी से डिलीट नहीं किया जाता है। अधिक विवरण यहां पाया जा सकता है ।

बंद (क्लोजर)

एक बंद कोड कोड का एक संयोजन है और उस संदर्भ का डेटा जिसमें ब्लॉक उत्पन्न होता है, अर्थात्। यह एलओ या सुओपचाचिन की श्रृंखला के माध्यम से उत्पन्न संदर्भों के साथ इकाई का संबंध है।

मुझे इस विषय पर एक बहुत अच्छा लेख उद्धृत करें:

 function person() { let name = 'Peter'; return function displayName() { console.log(name); }; } let peter = person(); peter(); // prints 'Peter' 

जब व्यक्ति फ़ंक्शन निष्पादित होता है, तो जावास्क्रिप्ट फ़ंक्शन के लिए एक नया निष्पादन संदर्भ और शाब्दिक वातावरण बनाता है। इस फ़ंक्शन के पूरा होने के बाद, यह डिस्प्लेनेम फ़ंक्शन को लौटाएगा और चर पीटर को सौंपा जाएगा।

इस प्रकार, उसका शाब्दिक वातावरण इस तरह दिखेगा:

 personLexicalEnvironment = { environmentRecord: { name : 'Peter', displayName: < displayName function reference> } outer: <globalLexicalEnvironment> } 

जब व्यक्ति कार्य पूरा हो जाता है, तो इसका निष्पादन संदर्भ स्टैक से बाहर हो जाता है। लेकिन इसका शाब्दिक वातावरण अभी भी स्मृति में बना रहेगा, क्योंकि इसके आंतरिक प्रदर्शन का शाब्दिक वातावरण इसका संदर्भ देता है। इस प्रकार, इसके चर अभी भी मेमोरी में उपलब्ध होंगे।

जब पीटर फ़ंक्शन निष्पादित होता है (जो वास्तव में डिस्प्लेनाम फ़ंक्शन का संदर्भ है), तो जावास्क्रिप्ट इस फ़ंक्शन के लिए एक नया निष्पादन संदर्भ और शाब्दिक वातावरण बनाता है।

तो उसका शाब्दिक वातावरण इस तरह दिखेगा:

 displayNameLexicalEnvironment = { environmentRecord: { } outer: <personLexicalEnvironment> } 

डिस्प्लेनाम फ़ंक्शन में कोई चर नहीं है, इसका पर्यावरण रिकॉर्ड खाली होगा। इस फ़ंक्शन के निष्पादन के दौरान, जावास्क्रिप्ट फ़ंक्शन के लेक्सिकल वातावरण में नाम चर खोजने की कोशिश करेगा।

चूंकि डिस्प्लेनेम फ़ंक्शन के लेक्सिकल वातावरण में कोई चर नहीं हैं, यह बाहरी लेक्सिकल वातावरण में खोज करेगा, अर्थात, व्यक्ति फ़ंक्शन का लेक्सिकल वातावरण, जो अभी भी स्मृति में है। जावास्क्रिप्ट को यह चर मिलेगा और नाम कंसोल पर छपा है।

ईएस में एक बंद करने की सबसे महत्वपूर्ण विशेषता यह है कि यह एक स्थैतिक गुंजाइश का उपयोग करता है (कई अन्य भाषाओं में जो बंद का उपयोग करते हैं, स्थिति अलग है)।

एक उदाहरण:

 var a = 5; function testFn() { alert(a); } (function(funArg) { var a = 20; funArg();//  5 ..  ScopeChain/LexicalEnvironment testFn   ,    = 5 })(testFn) 

एक अन्य महत्वपूर्ण बंद संपत्ति निम्नलिखित स्थिति है:

 var first; var second; function testFn() { var a = 10; first = function() { return ++a; } second = function() { return --a; } a = 2; first();//3 } testFn(); first();//4 second();//3 

यानी हम देखते हैं कि कई फ़ंक्शंस के क्लोजर में मौजूद फ्री वैरिएबल उनके द्वारा रेफरेंस से बदल दिया जाता है।

निष्कर्ष

इस लेख के ढांचे में, हमने एक्मास्क्रिप्ट के लिए दो केंद्रीय अवधारणाओं का संक्षेप में वर्णन किया है: लेक्सिकल पर्यावरण और क्लोजर। वास्तव में, ये दोनों विषय ज्यादा व्यापक हैं। यदि समुदाय विभिन्न प्रकार के शाब्दिक वातावरण के बीच मतभेदों का अधिक गहराई से विवरण प्राप्त करना चाहता है या यह जानना चाहता है कि v8 एक क्लोजर कैसे बनाता है, तो टिप्पणियों में इसके बारे में लिखें।