सी # (1 भाग) में इटरेटर को लागू करना

अनुवादक से:
बहुत पहले नहीं, मेरे कम अनुभवी सहकर्मी ने मुझसे पूछा था कि C # के लिए पैदावार वापसी का क्या उपयोग किया जाता है। मैं अपने पुनरावृत्तियों को बहुत बार नहीं लिखता हूं, इसलिए, इसका उत्तर देते हुए, मैंने अपने शब्दों पर संदेह किया। MSDN से निपटने के बाद, मैंने जो कहा गया था, उसमें अपने आप को मजबूत किया, लेकिन मेरा एक सवाल था: "यह निर्देश क्या है?" "। लेख पुराना है, लेकिन मुझे लगता है कि यह डेवलपर्स के एक निश्चित समूह के लिए उपयोगी हो सकता है, जिनका उपयोग रूसी-भाषा के लेखों और दस्तावेजों को पढ़ने के लिए किया जाता है।

जारी रखने के लिए लिंक: C # में पुनरावृत्तियों को लागू करना (भाग 2)



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

class MyClass { int limit = 0; public MyClass(int limit) { this.limit = limit; } public IEnumerable<int> CountFrom(int start) { for (int i = start; i <= limit; i++) yield return i; } } 

काउंटफ्रॉम विधि एक पूर्णांक एन्यूमरेटर बनाती है जो स्टेप 1 से शुरुआत से लेकर सीमा तक पूर्णांक बनाता है। संकलक इस गणनाकर्ता को कुछ इस तरह से परिवर्तित करता है:

 class MyClass_Enumerator : IEnumerable<int> { int state$0 = 0; //   int current$0; //   MyClass this$0; //   CountFrom int start; //   CountFrom int i; //    CountFrom public int Current { get { return current$0; } } public bool MoveNext() { switch (state$0) { case 0: goto resume$0; case 1: goto resume$1; case 2: return false; } resume$0:; for (i = start; i <= this$0.limit; i++) { current$0 = i; state$0 = 1; return true; resume$1:; } state$0 = 2; return false; } // ...  ,   ... } public IEnumerable<int> CountFrom(int start) { MyClass_Enumerator e = new MyClass_Enumerator(); e.this$0 = this; e.start = start; return e; } 

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

MoveNext विधि उत्पन्न करने के लिए, कंपाइलर आपके द्वारा लिखे गए कोड को लेता है और कई परिवर्तन करता है:

• सभी चर संदर्भों को समायोजित किया जाना चाहिए, क्योंकि कोड को एक सहायक वर्ग में पोर्ट किया गया है।
• यह यह $ 0 हो जाता है, क्योंकि इस उत्पन्न फ़ंक्शन के अंदर, यह मूल के बजाय स्वचालित रूप से उत्पन्न वर्ग को इंगित करता है।
• m यह $ 0.m हो जाता है यदि m मूल वर्ग (गैर-स्थिर क्षेत्र, संपत्ति या विधि) का सदस्य है। वास्तव में, यह नियम पिछले एक के साथ अनावश्यक रूप से संयुक्त है, क्योंकि उपसर्ग m के बिना एक वर्ग के सदस्य का नाम लिखना इस दिन के लिए केवल एक आशुलिपि है।
• v यह बन जाता है। यदि v एक पैरामीटर या स्थानीय चर है। यह नियम भी अनावश्यक है, क्योंकि v प्रविष्टि इस। tantamount है, लेकिन मैं स्पष्ट रूप से उल्लेख कर रहा हूं ताकि आप ध्यान दें कि परिवर्तनशील संग्रहण बदल गया है।

इसके अलावा, कंपाइलर को सभी यील्ड रिटर्न स्टेटमेंट से निपटना होता है।
प्रत्येक उपज रिटर्न एक्स एक्सप्रेशन में परिवर्तित हो जाता है

 current$0 = x; state$0 = n; return true; resume$n:; 

जहाँ n एक से बढ़ती संख्या है।

इसके अलावा, उपज ब्रेक अभिव्यक्ति हैं।
प्रत्येक उपज ब्रेक अभिव्यक्ति में परिवर्तित हो जाती है

 state$0 = n2; return false; 

जहाँ n2 उपज वापसी के भावों में इस्तेमाल होने वाले सभी राज्यों की संख्या से अधिक है। यह मत भूलो कि प्रत्येक फ़ंक्शन के अंत में, उपज तोड़ने का आह्वान किया जाता है।

अंत में, कंपाइलर एक बड़े स्टेट मैनेजर को फंक्शन की शुरुआत में सम्मिलित करता है।

 switch (state$0) { case 0: goto resume$0; case 1: goto resume$1; case 2: goto resume$2; // ... case n: goto resume$n; case n2: return false; } 

एक केस-एक्सप्रेशन प्रत्येक राज्य के लिए बनाया जाता है, प्रारंभिक और अंतिम राज्य के लिए प्लस एन 2।