🌀 👴🏻 🙈 ECMAScript विशिष्टता, भाग 1 को समझना ➰ 🖐🏾 📩

शुभ दिन, दोस्तों!

इस लेख में, हम विनिर्देश से एक फ़ंक्शन लेते हैं और इसकी व्याख्या का विश्लेषण करते हैं। जाओ।

प्रस्तावना

यहां तक कि अगर आप जावास्क्रिप्ट को अच्छी तरह से जानते हैं, तो विनिर्देश को पढ़ना मुश्किल हो सकता है। निम्न कोड Object.prototype.hasOwnProperty के उपयोग को प्रदर्शित करता है:

const o = {
    foo: 1
}
o.hasOwnProperty('foo') // true
o.hasOwnProperty('bar') // false

उदाहरण में, "o" ऑब्जेक्ट में "hasOwnProperty" विधि नहीं है, इसलिए हम इसके प्रोटोटाइप - "Object.prototype" (प्रोटोटाइप श्रृंखला) का उल्लेख करते हैं।

वर्णन करने के लिए कि Object.hasOwnProperty कैसे काम करता है, विनिर्देश निम्नलिखित छद्म कोड का उपयोग करता है:

Object.prototype.hasOwnProperty (V)

जब hasOwnProperty को तर्क V के साथ बुलाया जाता है, तो निम्न चरण किए जाते हैं: ... और HasOwnProperty (O, P) HasOwnProperty अमूर्त ऑपरेशन का उपयोग यह निर्धारित करने के लिए किया जाता है कि वस्तु की अपनी संपत्ति किसी विशिष्ट कुंजी के साथ है या नहीं। बूलियन मान लौटाया जाता है। ऑपरेशन को तर्क O और P के साथ कहा जाता है। इस ऑपरेशन में निम्नलिखित चरण होते हैं: "अमूर्त ऑपरेशन" क्या है? क्या [[ ]]? किसी फ़ंक्शन पर प्रश्न चिह्न क्यों होता है? "पुष्टि" का क्या अर्थ है? चलो पता करते हैं।

P ? ToPropertyKey(V)
O ? ToObject( this)
? HasOwnProperty(O, P).

(assert): Type(O) Object.
: IsPropertyKey(P) true.
desc ? O.[[GetOwnProperty]](P).
desc undefined, false.
true.

भाषा में प्रकार और विनिर्देश में प्रकार

चलो कुछ परिचित के साथ शुरू करते हैं। विनिर्देशन में, अपरिभाषित, सत्य और असत्य जैसे मूल्य हैं, जिन्हें जेएस द्वारा हमें जाना जाता है। वे सभी "भाषा मूल्य" , "भाषा प्रकार के मूल्य" हैं , जिन्हें विनिर्देश द्वारा भी परिभाषित किया गया है।

विनिर्देश अंतर्निहित भाषा मानों का उपयोग करता है, उदाहरण के लिए, एक आंतरिक डेटा प्रकार में सही या गलत के मान के साथ एक फ़ील्ड हो सकता है। जेएस इंजन आमतौर पर अपने आंतरिक तंत्र में भाषाई अर्थ का उपयोग नहीं करते हैं। उदाहरण के लिए, यदि JS इंजन को C ++ में लिखा गया है, तो यह JS से बूलियन मानों के आंतरिक प्रतिनिधित्व के बजाय, C ++ से सही और गलत का उपयोग करने की संभावना है।

भाषा प्रकारों के अलावा, विनिर्देश विशेष प्रकार (विनिर्देश प्रकार) का उपयोग करता है - प्रकार जो केवल विनिर्देश में उपयोग किए जाते हैं। जेएस इंजनों को उन्हें निष्पादित करने की आवश्यकता नहीं है (लेकिन वे कर सकते हैं)। इस लेख में हम विशेष प्रकार के "रिकॉर्ड" (रिकॉर्ड) और इसके उपप्रकार "कम्प्लीशन रिकॉर्ड" (पूरा होने का रिकॉर्ड) से परिचित होंगे।

सार संचालन

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

आंतरिक स्लॉट और आंतरिक तरीके

आंतरिक स्लॉट और आंतरिक तरीकों को [[]] में संलग्न नामों से दर्शाया गया है।

आंतरिक स्लॉट जेएस ऑब्जेक्ट या विशेष प्रकार के डेटा तत्व (सेट) हैं। उनका उपयोग वस्तु की स्थिति के बारे में जानकारी संग्रहीत करने के लिए किया जाता है। आंतरिक विधियाँ जेएस वस्तु के सदस्य कार्य हैं।

उदाहरण के लिए, प्रत्येक JS ऑब्जेक्ट में एक आंतरिक [[प्रोटोटाइप]] स्लॉट और एक आंतरिक [[GetOwnProperty]] विधि है।

जेएस में आंतरिक स्लॉट और तरीके उपलब्ध नहीं हैं। उदाहरण के लिए, हम ओ का उपयोग नहीं कर सकते हैं। [[प्रोटोटाइप]] या ओ को कॉल करते हैं। [[गेटऑनप्रोपर्टी]] ()। जेएस इंजन उन्हें अपनी (आंतरिक) जरूरतों के लिए निष्पादित कर सकता है, लेकिन ऐसा करने की आवश्यकता नहीं है।

कभी-कभी आंतरिक विधियाँ एक ही नाम के सार संचालन बन जाती हैं, जैसा कि [[GetOwnProperty]] के साथ होता है:

[[GetOwnProperty]] (P)

जब [[GetOwnProperty]] "O" ऑब्जेक्ट की आंतरिक विधि को "P" कुंजी के साथ कहा जाता है, तो निम्नलिखित क्रियाएं की जाती हैं: साधारण- सी ओटेरिनगेटऑनप्रोपरेटी एक आंतरिक विधि नहीं है, क्योंकि यह किसी भी वस्तु से जुड़ी नहीं है; जिस ऑब्जेक्ट के साथ यह काम करता है, उसे एक पैरामीटर के रूप में पारित किया जाता है। साधारण वस्तुओं पर संचालित होने के कारण साधारण पशुपालक को "साधारण" कहा जाता है। ईसीएमएस्क्रिप्ट में ऑब्जेक्ट्स साधारण और असामान्य (विदेशी) हैं। एक वस्तु सामान्य है यदि यह आवश्यक आंतरिक विधियों नामक विधियों के एक सेट की प्रतिक्रिया में अनुमानित रूप से व्यवहार करता है। अन्यथा (जब वस्तु अप्रत्याशित रूप से व्यवहार करती है; अपेक्षित के रूप में नहीं; जब वस्तु का व्यवहार सामान्य से विचलित होता है, विचलित होता है), तो इसे असामान्य माना जाता है।

! OrdinaryGetOwnProperty(O, P)

सबसे प्रसिद्ध असामान्य वस्तु एरे है, क्योंकि इसकी "लंबाई" संपत्ति गैर-मानक व्यवहार करती है: इस संपत्ति को सेट करना तत्वों को सरणी से निकाल सकता है।

बुनियादी आंतरिक तरीकों की एक सूची यहां पाई जा सकती है ।

पूरा करने का रिकॉर्ड

प्रश्न और विस्मयादिबोधक चिह्न के बारे में क्या? इसे समझने के लिए, आपको यह समझने की जरूरत है कि एक पूरा रिकॉर्ड क्या है ।

एक पूरा रिकॉर्ड एक विशेष प्रकार है (केवल विनिर्देश उद्देश्यों के लिए परिभाषित)। जेएस इंजन के लिए समान आंतरिक डेटा प्रकार की आवश्यकता नहीं है।

एक पूरा होने वाला रिकॉर्ड एक डेटा प्रकार है जिसमें नामित फ़ील्ड का एक निश्चित सेट होता है। पूरा करने के रिकॉर्ड में तीन क्षेत्र हैं:

[[प्रकार]]	normal, break, continue, return throw. , normal, « () » (abrupt comlpetions)
[[Value]]	, , , , ,
[[Target]]	( )

प्रत्येक अमूर्त ऑपरेशन निहितार्थ एक पूरा रिकॉर्ड देता है। भले ही अमूर्त ऑपरेशन का परिणाम एक सरल तार्किक मूल्य है, यह सामान्य प्रकार के पूरा होने के रिकॉर्ड में लिपटा हुआ है (देखें इम्प्लिमेंट कम्प्लीट वैल्यूज़ देखें )।

नोट 1: विनिर्देश इस भाग में बहुत सुसंगत नहीं है; कई सहायक कार्य हैं जो नंगे मानों को वापस करते हैं जो कि पूर्ण रिकॉर्ड से पुनर्प्राप्त किए बिना उपयोग किए जाते हैं।

नोट 2: विनिर्देश लेखक पूर्ण रिकॉर्ड प्रक्रिया को और अधिक स्पष्ट बनाने की कोशिश करते हैं।

यदि एल्गोरिथ्म एक अपवाद फेंकता है, तो इसका मतलब है कि एक पूरा रिकॉर्ड एक अपवाद वस्तु के रूप में ([[प्रकार]]) फेंक और मूल्य ([[मूल्य]]) के साथ प्राप्त होगा। हम अन्य प्रकारों (विराम, जारी और वापसी) के लिए अभी विचार नहीं करेंगे।

ReturnIfAbrupt (तर्क) का अर्थ है निम्नलिखित ऑपरेशन करना: यह पूरा रिकॉर्ड है; यदि यह अचानक समाप्त हो जाता है, तो तुरंत वापस लौटें। अन्यथा, हम पूर्ण रिकॉर्ड से मूल्य निकालते हैं। ReturnIfAbrupt एक फ़ंक्शन कॉल की तरह दिखता है, लेकिन यह नहीं है। हम एक ऐसा फ़ंक्शन कहते हैं जो ReturnIfAbrupt (), और खुद ReturnIfAbrupt को लौटाता है। इसका व्यवहार C- जैसी प्रोग्रामिंग भाषाओं में एक मैक्रो की तरह अधिक है। ReturnIfAbrupt का उपयोग निम्नानुसार किया जा सकता है: यहाँ खेलने में आता है

argument - (abrupt), argument.
argument argument.[[Value]].

obj Foo() (obj - ).
ReturnIfAbrupt(obj).
Bar(obj) ( , , obj - , ).

प्रश्न चिह्न : रिकॉर्ड ? Foo () ReturnIfAbrupt (Foo ()) के बराबर है। इस संक्षेप का उपयोग करने का व्यावहारिक मूल्य है: हमें हर बार त्रुटि हैंडलर कोड लिखने की आवश्यकता नहीं है।

सादृश्य से, वैल एंट्री होने दो! फू () निम्नलिखित के बराबर है: इस ज्ञान का उपयोग करके, हम निम्नानुसार Object.prototype.hasOwnProperty को फिर से लिख सकते हैं: Object.prototype.hasOwnProperty (P) ... HasOwnProperty को इस तरह से फिर से लिखा जा सकता है: HasOwnProperty (O, P) हम आंतरिक रूप से भी फिर से लिख सकते हैं। [GetOwnProperty]] विस्मयादिबोधक चिह्न के बिना: O. [[GetOWnProperty]] हम मानते हैं कि अस्थायी एक नया अस्थायी चर है जो किसी भी चीज़ के साथ बातचीत नहीं करता है।

val Foo().
: val .
val val.[[Value]].

P ToProperty(V).
P , P.
P P.[[Value]].
O ToObject( this).
O , O.
O O.[[Value]].
temp HasOwnProperty(O, P).
temp , temp.
temp temp.[[Value]].
NormalCompletion(temp).

: Type(O) Object.
: IsPropertyKey(P) true.
desc O.[[GetOWnProperty]](P).
desc , desc.
desc desc.[[Value]].
desc undefined, NormalCompletion(false).
NormalCompletion(true).

temp OrdinaryGetOwnProperty(O, P).
: temp .
temp temp.[[Value]].
NormalCompletion(temp).

हम यह भी जानते हैं कि मामले में जब रिटर्न स्टेटमेंट पूरा होने वाले रिकॉर्ड के अलावा कुछ और देता है, तो यह कुछ सामान्य रूप से नॉर्मल कमप्लसेंट में लपेटता है।

पतन: वापसी? फू ()

क्या विनिर्देश रिटर्न का उपयोग करता है? फू () - यहाँ एक प्रश्न चिह्न क्यों है?

रिकॉर्ड वापसी? फू () को निम्नानुसार विस्तारित किया जा सकता है: वापसी व्यवहार? फू () सामान्य और अचानक समाप्ति दोनों के लिए समान है। रिकॉर्ड वापसी? फू () आपको अधिक स्पष्ट रूप से इंगित करने की अनुमति देता है कि फू एक पूरा रिकॉर्ड लौटाता है।

temp Foo().
temp , temp.
temp temp.[[Value]].
NormalCompletion.

बयान

विनिर्देशन में कथन "एल्गोरिदम की अपरिवर्तनीय स्थितियों" का दावा करते हैं। उन्हें स्पष्टता के लिए विनिर्देश में जोड़ा जाता है, लेकिन कार्यान्वयन की कोई आवश्यकता नहीं होती है; इसलिए, उन्हें एक विशिष्ट कार्यान्वयन द्वारा सत्यापित करने की आवश्यकता नहीं है।

आगे क्या होगा?

हमने सरल तरीकों जैसे कि Object.prototype.hasOwnProperty और सार संचालन जैसे HasOwnProperty के लिए विनिर्देश पढ़ना सीखा। इस ज्ञान के साथ, हम समझ सकते हैं कि अन्य सार संचालन क्या करते हैं, जिसकी चर्चा अगले भाग में की जाएगी। इसके अलावा अगले लेख में, हम संपत्ति के डिस्क्रिप्टर्स पर विचार करेंगे, जो एक और विशेष प्रकार के हैं।

ध्यान देने के लिए धन्यवाद। हैप्पी कोडिंग!

ECMAScript विशिष्टता, भाग 1 को समझना