कीड़े C ++ 20। बेलफास्ट में बैठक के परिणाम

दूसरे दिन बेलफास्ट में C ++ प्रोग्रामिंग भाषा के मानकीकरण के लिए समिति की बैठक हुई। C ++ 20 पर लगभग 400 टिप्पणियों ने देश के प्रतिनिधियों से समिति के लिए उड़ान भरी, और उनमें से आधे इससे निपटने में कामयाब रहे।

कटौती के तहत आप रूसी टिप्पणियों (हां, C ++ 20 पर आपकी टिप्पणी), अन्य देशों की कुछ टिप्पणियों और निश्चित रूप से उपयुक्त नए C ++ 23 (निष्पादनकर्ताओं!) की चर्चा के परिणामों की प्रतीक्षा कर रहे हैं।

C ++ के साथ उन सभी समस्याओं को जिन लोगों ने साइट पर उल्लेख किया है stdcpp.ru , चैट @ProCxx में , Yandex.Taxi में काम पर, या सम्मेलनों में व्यक्ति में, हमने C ++ 20 पर टिप्पणियों के रूप में औपचारिक रूप दिया। और इसलिए यह क्या आया ...

std :: atomic <int> a {}; और std :: परमाणु <int> b;

यह अजीब लग सकता है, लेकिन चर ए और बी 0. के लिए आरंभीकृत नहीं हैं । एक परमाणु चर को शून्य से शुरू करने के लिए, {0} के साथ बिल्कुल std :: atomic <int> लिखना आवश्यक था;

यह व्यवहार पूरी तरह से अविश्वसनीय है, और कई डेवलपर्स ने खुद को जला दिया। समिति ने मानक पर हमारी टिप्पणी को स्वीकार कर लिया, और सी ++ 20 में, std :: atomic_flag और std :: atomic के लिए डिफ़ॉल्ट निर्माणकर्ता क्रमशः स्पष्ट अवस्था और T () में चर की शुरुआत करेंगे।

एसटीडी :: लॉंडर

C ++ 17 के साथ शुरू, मानक में एक डरावना फ़ंक्शन std :: launder है। समिति के लोगों ने सोचा कि मानक पुस्तकालय डेवलपर्स और सामान्य उपयोगकर्ता यह पता लगाएंगे कि इससे कैसे निपटना है।

व्यवहार में, यह पता चला कि कुछ मामलों में इस फ़ंक्शन का उपयोग नहीं किया जा सकता है। यह बहुत ही स्पष्ट है कि सिद्धांत में इसकी आवश्यकता है:

struct C { const int c; }; std::vector<C> v = {C{1}}; v.pop_back(); v.push_back(C{2}); assert(v.back().c == 2); // ]:-> 

यदि आप मानक के अक्षर का कड़ाई से पालन करते हैं, तो मानक पुस्तकालय के कार्यान्वयन के आधार पर, संकलक और चंद्रमा चरण की विशेषताएं, मुखर पास या विफल हो सकती हैं।

समस्या पर चर्चा करते समय, यह पता चला कि अनुकूलन, जिसके लिए मानक ने इस तरह के अजीब व्यवहार का वर्णन किया था, केवल एक कंपाइलर में लागू किया गया था और एक मूर्त प्रदर्शन को बढ़ावा नहीं दिया था।

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

* यह निर्माणकर्ताओं में

यह उन टिप्पणियों में से एक है जहां एक विफलता ने हमारा इंतजार किया:

 struct C { C(C&& other) noexcept : initial_(other.initial_) , secondary_(other.initial_) // O_O {} int initial_; int secondary_; }; 

वर्तमान नियमों के अनुसार, O_O के साथ लाइन में , कंपाइलर को यह मानने का अधिकार है कि अन्य == यह और, तदनुसार, एक पंक्ति ऊपर, हमने अन्य.in_ का मान फिर से लिखा है और इसे फिर से पढ़ने की आवश्यकता है।

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

कुछ संकलक (उदाहरण के लिए, जीसीसी) का मानना ​​है कि उपयोगकर्ता इस तरह के अपमान को नहीं लिखते हैं, और मानते हैं कि अलियासिंग संभव नहीं है।

समिति ने हमारी टिप्पणी को अस्वीकार कर दिया "चलो मान लेते हैं कि अलियासिंग संभव नहीं है"। जैसा कि यह पता चला है, कुछ कोडबेस में डरावने हैक होते हैं जहां & == यह, और लोग अभी तक उन्हें अलविदा कहने के लिए तैयार नहीं हैं।

ऑपरेटर <=> और एम्बेडेड प्रोग्रामिंग

स्पेसशिप ऑपरेटर को काम करने के लिए, आपको <तुलना> हेडर फ़ाइल की आवश्यकता है। हालाँकि, यह उन हेडर फ़ाइलों की सूची में नहीं था जो किसी भी प्लेटफ़ॉर्म पर उपलब्ध हैं (मानक लाइब्रेरी के तथाकथित फ्रीस्टैंडिंग कार्यान्वयन जो किसी भी लोहे पर उपयोग किए जा सकते हैं)।

अब यह सूची में है :)

बाकी

हमारी अन्य टिप्पणियों के अनुसार, "C ++ 20 में नहीं" फैसला जारी किया गया था:
* हम चाहते थे कि __func__ का उपयोग कॉन्स्टैक्स में किया जाए।
* हम चाहते थे कि अवधारणा अपूर्ण प्रकार का उपयोग न करें, क्योंकि अन्यथा आपको कई ओडीआर उल्लंघन मिलते हैं। लेकिन टिप्पणी का अप्रत्याशित सकारात्मक प्रभाव पड़ा: कंपाइलर्स अब चेतावनी जारी करते हैं यदि आप आवश्यकता में अपूर्ण प्रकार का उपयोग करते हैं।
* हम std :: string के लिए असाइनमेंट ऑपरेटर को ठीक करना चाहते थे ताकि ऐसी गड़बड़ी न हो:

 basic_string::operator=(charT c): double d = 3.14; std::string s; s = d; // Compiles 

समिति ने C ++ 20 के बाद एक अलग पेपर लिखने और इसे सही करने का सुझाव दिया।
* हम अस्थायी लाइनों के असाइनमेंट को std में मारना चाहते थे :: string_view:

 std::string foo(); std::string_view sv; sv = foo(); // Compiles... dangling reference 

परिणाम पिछली टिप्पणी के समान है: समिति ने एक अलग पेपर लिखने और सी ++ 20 के बाद इसे सही करने का सुझाव दिया।
* हमने अनुरोध किया कि निम्नलिखित कोड संकलित करें:

 #include <type_traits> template <typename... Xs> auto f (Xs...) -> std::invoke_result_t<Xs...>; 

हमें बताया गया था कि सब कुछ जटिल है, C ++ 20 की मरम्मत के लिए व्यावहारिक रूप से कोई मौका नहीं है।

अन्य देशों की टिप्पणियाँ

महत्वपूर्ण परिवर्तनों में: एसटीडी के लिए कंस्ट्रक्टर जोड़ना :: उन प्रकारों से अवधि जो रेंज की अवधारणा को संतुष्ट करते हैं :: contiguous_range। तो अब स्पान को स्पष्ट रूप से std :: वेक्टर और std :: string से बनाया जा सकता है। हमने कंस्ट्रक्टर std :: string_view को दो पुनरावृत्तियों से जोड़ा है जो कि श्रेणियों की अवधारणा को संतुष्ट करते हैं :: contiguous_iterator।

मजेदार संपादन <तुलना> की अपेक्षा कर रहे थे। पिछले तीन वर्षों में, ऑपरेटर <=> बहुत बदल गया है। वह अब समानता के लिए तुलना में शामिल नहीं है, और, तदनुसार, सामग्री की एक तिहाई <तुलना> की अब आवश्यकता नहीं है। कई देशों ने इस पर ध्यान दिया है - उन्होंने मानक को कम कर दिया है।

गैर-प्रकार के टेम्प्लेट मापदंडों में एक महान परिवर्तन चुपके से। C ++ 20 में, किसी कॉन्स्ट्रेक्स विध्वंसक और सार्वजनिक सदस्यों के साथ लगभग किसी भी वर्ग (देखें P1907) को पास करना संभव होगा, भले ही कक्षा में फ़्लोटिंग-पॉइंट प्रकार या लिंक हों।

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

नंबर टीएस

ZaMaZaN4iK और मैं C ++ न्यूमेरिक्स वर्क इन प्रोग्रेस डॉक्यूमेंट के साथ कमेटी को आंदोलित करने में सक्षम थे। अब उपयोगकर्ताओं को ओवरफ्लो और सुविधाजनक उपनामों के साथ काम करने के लिए सहायक निम्न-स्तरीय विधियों के साथ-साथ उपयोगकर्ताओं को नई प्रकार की संख्याओं (wide_integer, पूर्णांक, तर्कसंगत) का एक सेट देने के लिए C ++ 23 के लिए नेपोलियन योजनाएं हैं।

मुझे पूरी समिति के लिए विचारों की शुरूआत के साथ अगली बैठक के लिए एक प्रस्तुति तैयार करने के लिए कहा गया था।

निष्पादकों

अभियोजक C ++ 23 की प्राथमिकताओं में से एक है। वे प्रतिक्रियाशील प्रोग्रामिंग के लिए आवश्यक हैं, अतुल्यकालिक प्रोग्रामिंग (नेटवर्क, डिस्क, प्रोसेस ...) के लिए, वे कोरटाइन शेडिंग के लिए आधार हैं और तीसरे पक्ष के पुस्तकालयों के लिए एकल इंटरफ़ेस प्रदान करना चाहिए।

उसी समय, निष्पादकों को अपने आंतरिक कार्यान्वयन के लिए एल्गोरिदम का अनुकूलन करना चाहिए। उदाहरण के लिए, कोड के लिए:

 template <std::input_range Range> void MySort(Range& data) { namespace stdr = std::ranges; std::sort(GetGlobalExecutor(), stdr::begin(data), stdr::end(data), 42); } 

GetGlobalExecutor () फ़ंक्शन वापस आ सकता है:
* एकल-थ्रेडेड निष्पादक - इसे सामान्य std निष्पादित करना चाहिए :: इसके धागे पर छाँटें;
* मल्टीथ्रेडेड निष्पादक - इसे समानांतर छंटाई करना चाहिए;
* जीपीयू निष्पादक - इसे वीडियो कार्ड की मेमोरी में डेटा को स्थानांतरित करना होगा, वहां इसे सॉर्ट करना होगा और डेटा को वापस करना होगा;
* NUMA निष्पादक - ...
* ...

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

लेकिन कम से कम उन्होंने P0443 को मंजूरी दे दी - मूल इंटरफ़ेस। निष्पादकों के लिए सभी बाद के वाक्यों को P0443 के लिए पैच के रूप में लिखना होगा।

बजाय योग के

अब हम C ++ 20 से सिर्फ एक समिति की बैठक से अलग हो गए हैं। बस थोड़ा सा बचा है ...

खैर, हर कोई जो समिति के प्रतिनिधियों के साथ चैट करना चाहता है - मिटैप्स और सी ++ सम्मेलन (*) देखें :
* मिन्स्क में कोरहार्ड
* C ++ साइबेरिया 2020
* सी ++ रूस 2020
* सेंट पीटर्सबर्ग सी ++ उपयोगकर्ता समूह
* C ++ मीटअप 2019 मास्को में

(*) जीवन हैक: यदि आप एक वक्ता हैं तो आपको सम्मेलन टिकट के लिए भुगतान करने की आवश्यकता नहीं है।