फ़ीचर फ्रीज C ++ 20। Coroutines, मॉड्यूल और बहुत कुछ

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

क्या मॉड्यूल और कोरूटिन को C ++ 20 में उम्मीद की जानी चाहिए, क्या आउटपुट स्वरूपित करने के लिए एक तेज पुस्तकालय होगा, क्या यह कैलेंडर के साथ काम करने में सक्षम होगा, क्या वे एसटीडी :: स्टैकट्रेस जोड़ेंगे, क्या कंपाइलर एसटीडी कॉल करना शुरू कर देगा :: कुछ मामलों में, क्या वे एसटीडी स्वीकार करेंगे? :: फ्लैट_मैप ? यह सब और बहुत कुछ आपको कटौती के तहत इंतजार कर रहा है।

Coroutines TS

सबसे गर्म बहस कोराउटीन के आसपास हुई। समिति को कोरटाइन के तीन अलग-अलग तरीकों पर विचार करना था और यह तय करना था कि क्या मौजूदा कोराउटाइन टीएस को एक मानक के रूप में स्वीकार किया जाए या कोई अलग रास्ता अपनाया जाए।

चुनाव आसान नहीं था, प्रत्येक दृष्टिकोण के अपने नुकसान और फायदे हैं:

• N4775 :
  
  • + इस तथ्य पर कोई प्रतिबंध नहीं है कि शीर्ष लेख फ़ाइल में कोरटाइन का वर्णन किया जाना चाहिए
  • - कोई सख्त गारंटी नहीं है कि कोई गतिशील आवंटन नहीं होगा
  • ± सबसे आसान इंटरफ़ेस नहीं है ( P1477R0 इसे ठीक करता है)
  • - बदसूरत कीवर्ड co_await और co_yield ( WP21 से P1485R0 इसे ठीक करता है)
  • + 3 साल व्यवहार में लागू
  
  
• P1063R2 :
  
  • + कोई गतिशील आवंटन नहीं
  • - कॉरआउट को हेडर फ़ाइल में वर्णित किया जाना चाहिए या आपको खुद को मिटाए जाने के साथ टाइप करने की आवश्यकता है
  • - इससे भी अधिक डरावने प्रमुख ऑपरेटर [<-] और [->]
  • - कोई कार्य प्रोटोटाइप नहीं
  • - अतुल्यकालिक चीजें बनाने के लिए सबसे आसान इंटरफ़ेस नहीं
  
  
• P1430R0 :
  
  • + कोई गतिशील आवंटन नहीं
  • - कॉरआउट को हेडर फ़ाइल में वर्णित किया जाना चाहिए या आपको चतुराई से खुद को मिटाए जाने की आवश्यकता है
  • + कोई डरावना कीवर्ड नहीं, सब कुछ सुचारू है
  • + Corutin उपयोगकर्ताओं को डरावना coroutine insides नहीं दिखते हैं (co_await analogues भी नहीं देखें, सब कुछ बॉक्स से बाहर काम करता है)
  • - पहले प्रस्ताव पर कभी चर्चा नहीं की गई, इसमें सुधार के लिए एक समूह की आवश्यकता है
  • - वर्तमान प्रौद्योगिकियों पर लागू करना असंभव है (गतिशील-आकार की संरचनाओं के लिए समर्थन की आवश्यकता है), कार्यान्वयन के लिए बड़ी श्रम लागतों की आवश्यकता होती है
  • N कॉलबैक नूडल्स की तरह थोड़ा सा
  
  

बहुत बहस के बाद, C ++ 20 में कोऑउटिन को अपनाया गया क्योंकि वे Coroutines TS ( co_ * उपसर्गों और पुराने अनुकूलन बिंदुओं के साथ) में थे।

मॉड्यूल

मॉड्यूल की चर्चा प्रदर्शन के माप के साथ एक दिलचस्प दस्तावेज़ से प्रभावित थी:
P1441R0 । परिणामों की विभिन्न तरीकों से व्याख्या की जा सकती है: "मौजूदा विधानसभा प्रणाली और मॉड्यूल के कार्यान्वयन के लिए अभी तक पर्याप्त रूप से अनुकूलित नहीं किया गया है" से "मॉड्यूल परियोजना की बढ़ती जटिलता के साथ अच्छी तरह से पैमाने पर नहीं हैं।"

इस दस्तावेज़ के अलावा, समिति ने वर्तमान मॉड्यूल में कई छोटे बदलावों पर चर्चा की। परिणामस्वरूप, कार्यान्वयन के साथ 15 वर्षों की चर्चा, प्रोटोटाइप और प्रयोग के बाद, मॉड्यूल C ++ 20 में अपनाया गया।

स्वरूप

सभी को खुशखबरी! यदि आप लाइब्रेरी उपसमूह में कोई घातक दोष नहीं पाते हैं, तो C ++ 20 में तार को सुरक्षित रूप से और बहुत जल्दी से प्रारूपित करना संभव होगा। Std को अलविदा कहो :: ios , std :: लोकेल और 90 के दशक के अन्य भयावह! पायथन में अब C ++: P0645R5 में बॉक्स से बाहर स्वरूपण के लिए एक समान वाक्यविन्यास है।

इसके अलावा, नए स्वरूपण और कैलेंडर समय P1361R0 को एकीकृत करने के प्रस्ताव को स्वीकार किया गया था । यदि सब कुछ योजना के अनुसार होता है, तो तिथियां मानव तरीके से प्रदर्शित की जा सकती हैं!

नेटवर्किंग, एक्जिक्यूटर्स और गुण

बॉक्स से बाहर C ++ में नेटवर्किंग का समर्थन करने के लिए निष्पादनकर्ता एक महत्वपूर्ण ईंट हैं। निष्पादनकर्ताओं को गुणों की आवश्यकता होती है - प्रकार की अवधारणा को बदले बिना, संकलन चरण पर पारित पैरामीटर के आधार पर डेटा प्रकार को संशोधित करने की क्षमता।

गुण P1393R0 में वर्णित हैं। इस तथ्य के बावजूद कि मानक में शामिल करने का पाठ केवल कुछ पृष्ठों का है, प्रस्ताव ने गर्म चर्चाओं का कारण बना। प्रस्ताव आपको लगभग सर्वव्यापी अनुकूलन अंक बनाने की अनुमति देता है, गुणों का उपयोग करके किसी भी फ़ंक्शन का व्यवहार बदल सकता है।

परिणामस्वरूप, गुण को भाषा में केवल C ++ 23 में शामिल करने का निर्णय लिया गया था, और तदनुसार, C ++ 20 में एक्ज़ीक्यूटर्स और नेटवर्किंग दिखाई नहीं देंगे।

अन्य

निम्नलिखित परिवर्तन पहले से ही C ++ 20 मसौदे में किए गए हैं:

• बिना कंस्ट्रक्टर (एग्रीगेट) के संरचनाएं अब P0960 कोष्ठक का उपयोग करके आरंभ की जा सकती हैं। व्यवहार में, इसका मतलब है कि अब std :: make_sared , std :: make_unique , std :: * * :: emplace * सही तरीके से संकलन त्रुटियों के साथ समुच्चय के साथ काम करेगा।
• रैखिक प्रक्षेप P0811 के लिए Lerp फ़ंक्शन जोड़े गए हैं
• मानक पुस्तकालय P1001 के एल्गोरिदम को वेक्टर करने की क्षमता जोड़ा गया
• Std :: स्पैन विधियाँ अब अहस्ताक्षरित प्रकार (पूरे मानक पुस्तकालय के समान) + std :: ssize फ़ंक्शन कंटेनर के आकार को एक हस्ताक्षरित संख्या P1227 के रूप में प्राप्त करने के लिए जोड़ा गया था।
• अनियंत्रित कंटेनरों ने P0920 की पूर्व-गणना की गई हैश का उपयोग करके मूल्यों को देखने का तरीका सीखा

C ++ 20 में शामिल करने के लिए कई अन्य चीजें लाइब्रेरी और कोर उपसमूहों में अंतिम समीक्षा की प्रतीक्षा कर रही हैं:

• एसटीडी पर प्रभावी प्रतीक्षा :: परमाणु; सेमाफोर और बैरियर क्लासेस P1135
• std :: flat_map P0429
• std :: flat_set P1222
• std :: function_ref P0792
• <cmath> और <cstdlib> P0533 के लिए कॉन्स्टैक्स
• P1206 कंटेनर में मानों की एक श्रृंखला को संग्रहीत करने के लिए std :: श्रेणियाँ :: से <any-container>
• Std से स्ट्रिंग्स को कुशलतापूर्वक निकालने की क्षमता :: * stringstream और transfer कस्टम स्ट्रिंग्स P0408
• ऑपरेटर के लिए एकाधिक संपादन <=> , पर्वतमाला, बाधा

RG21 के गुण

पहले ही दिन, कोर उपसमूह ने स्टैकट्रेस P0881R3 के लिए प्रिय प्रिय यैंडेक्स.टेक्सी का प्रस्ताव लिया । LEWG उपसमूह में डिजाइन टिप्पणियों पर आगे चर्चा की गई, एक बार फिर कोर में काम किया। परिणामस्वरूप, पूरे सप्ताह सुधार किए गए और विचार-विमर्श किया गया। प्रस्ताव अभी तक मसौदा मानक में शामिल नहीं है, लेकिन यह सी ++ 20 में होना चाहिए (यदि वे अचानक कुछ घातक दोष पाते हैं)।

कोरटाइन के लिए कीवर्ड लाने के लिए P1485R0 के हमारे विचार पर चर्चा करने से पहले, यह एक निष्कर्ष पर नहीं आया।

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

मानक पुस्तकालय P1406R0 के विभिन्न वर्गों के लिए zMaZaN4iK की पेशकश के लिए sth :: hash के विशेषज्ञ को गंभीर रूप से कटौती का फैसला किया गया था । समिति ने केवल std :: pair , std :: tuple , std :: array और std :: basic_string के लिए विशेष आवंटन छोड़ने की सिफारिश की।

संख्याओं के एक सबसेट में, SG6 ने P0880R2 संख्याओं के विभिन्न नए वर्गों की बातचीत के लिए एक तंत्र पर चर्चा की। प्रस्ताव आपको दो टेम्पलेटों को माहिर करने, सभी नए प्रकारों के लिए गणितीय संचालन और तुलनाओं का एक पूरा सेट प्राप्त करने की अनुमति देता है। चर्चा के बाद, उन्होंने तंत्र को विस्तारित करने का प्रयास करने का फैसला किया ताकि इसका उपयोग न केवल मानक पुस्तकालय की जरूरतों के लिए किया जा सके, बल्कि उपयोगकर्ता इन ऑपरेटरों को अपने प्रकारों के लिए भी उपयोग कर सकें।

हमने अपने छोटे सुझावों पर भी चर्चा की, जिसमें फीचर परीक्षण मैक्रो P1424R0 और उन्हें मानक में जोड़ने के लिए नीतियां शामिल हैं।

हमने कंपाइलर को R0889R1 की अनावश्यक प्रतियों को हटाने की अनुमति देने के हमारे विचार पर जल्दी ही चर्चा की। हमें इस दिशा में काम जारी रखने के लिए कहा गया था और ऐसे उदाहरण दिए गए जो नए नियमों के साथ नहीं टूटने चाहिए।

बजाय योग के

C ++ 20 नाटकीय रूप से C ++ 17 से अलग होगा क्योंकि C ++ 11 C ++ 03 से अलग होगा। नई तकनीकों और नए प्रतिमानों की एक बड़ी संख्या: अवधारणाएं, अनुबंध, रंग, मॉड्यूल, कोराउटाइन, कॉन्स्ट्रेप कंटेनर और कॉन्स्टेक्सप्रॉप डायनेमिक बहुरूपता, "निबोलिड्स", आदि।

जल्द ही हम, वर्किंग ग्रुप 21, एक मसौदा C ++ 20 मानक पर टिप्पणियां पोस्ट करेंगे । इसलिए, यदि आपके पास कोई दर्द है या आप किसी भी नवाचार से सहमत नहीं हैं, तो कृपया इस पृष्ठ पर अपने विचार छोड़ दें।

अंतर्राष्ट्रीय समिति की अगली बैठक गर्मियों में होगी, जिस पर C ++ 23 के लिए नवाचारों पर विचार किया जा सकता है। यदि आप C ++ में कुछ बदलना चाहते हैं या अपने विचार का प्रस्ताव रखते हैं, तो आप हमेशा https://stdcpp.ru/ पर लिख सकते हैं, जहां WP21 के लोग आपकी इच्छाओं को समिति को बताने में मदद करेंगे।

क्या आप हमसे लाइव बात करना चाहेंगे? RG21 की एक खुली बैठक जल्द ही आयोजित की जाएगी, घटनाओं पर घोषणाओं के लिए बने रहें । मास्को में अप्रैल सी ++ रूस सम्मेलन में भी हमारे लिए देखें।