विजुअल स्टूडियो 2012 में C ++ 11 मानक कार्यान्वयन के कीड़े, जो विज़ुअल स्टूडियो 2013 में तय किए गए थे

यह आलेख C ++ 11 मानक के कार्यान्वयन में कई बगों पर चर्चा करेगा, जो विजुअल स्टूडियो 2012 में उपलब्ध थे और विजुअल स्टूडियो 2013 में तय किए गए थे। इस प्रकार, अब हम C ++ 11 का उपयोग कर सकते हैं क्योंकि यह सिद्धांत रूप में उपयोग किया जाना है। अगर आपको VS2012 बग को बायपास करने के लिए "बैसाखी" लिखना था - तो अब आप उन्हें हटा सकते हैं।

दुर्भाग्य से, सभी बग तय नहीं किए गए थे, कुछ VS2012 से VS2013 तक चले गए, और नए बग दिखाई दिए। कटौती के तहत आप मामलों की वर्तमान स्थिति का विस्तृत विश्लेषण पाएंगे।

वैरेडिक टेम्प्लेट में प्रकारों की संख्या पर कोई सीमा नहीं है

विजुअल स्टूडियो 2013 पूरी तरह से वैरेडिक टेम्प्लेट का समर्थन करता है, std :: function या make_sared जैसी चीजें अब उनके द्वारा ली जाने वाली तर्कों की संख्या की सीमा नहीं हैं। विजुअल स्टूडियो 2012 में, यह सीमा मौजूद थी और 5 (पांच) थी।

प्रकार के संबंध में निश्चित कीड़े

ऑटो खो संरेखण विनिर्देशक

यदि आपने अभिव्यक्ति __declspec (संरेखित (...)) द्वारा परिभाषित प्रकार के एक चर को घोषित करने के लिए ऑटो का उपयोग किया है, तो संरेखित गलत तरीके से VS2012 में संभाला गया था, जिससे मेमोरी और यादृच्छिक क्रैश में गलत डेटा स्थान का कारण बना।

सभी मामलों में प्रकार के बजाय घोषणापत्र का उपयोग नहीं किया जा सकता है

इस तथ्य के बावजूद कि घोषित प्रकार के माध्यम से परिभाषित प्रकार का उपयोग संभव होना चाहिए जहां भी सामान्य प्रकार का उपयोग किया जा सकता है, VS2012 ने लेखन की अनुमति नहीं दी है, उदाहरण के लिए, ऐसा कोड:

vector<int> a; decltype(a)::iterator iter = a.end(); //   VS2012 

घोषणा के कारण संकलन त्रुटियां हुईं

C ++ 11 मानक के अनुसार कुछ सही कोड घोषित की गलत व्याख्या के कारण VS2012 में संकलित नहीं हुए।
मान लीजिए कि आप एक is_comparable पैटर्न घोषित करते हैं:

 template<typename, typename = true_type> struct is_comparable : public false_type {}; template<typenameT> struct is_comparable<T, typename is_convertible<decltype(declval<T>() > declval<T>()), bool>::type> : public true_type {}; 

यह VS2012 में काम नहीं करेगा, क्योंकि घोषणा से समझ में नहीं आएगा कि टी क्या है।

स्मार्ट पॉइंटर्स में फिक्स्ड बग्स

एक लैंबडा फ़ंक्शन का उपयोग कस्टम डिलेटर के रूप में करने से बूल टाइप करने के लिए रूपांतरण टूट गया

यदि आपने स्मार्ट पॉइंटर को हटाते समय क्या होना चाहिए यह निर्धारित करने के लिए लैम्ब्डा फ़ंक्शन का उपयोग किया है, तो आप इस पॉइंटर को बूल प्रकार में परिवर्तित करने के संदर्भ में उपयोग नहीं कर सकते हैं:

 auto stream_deleter = [](ofstream* os) { os->close(); }; unique_ptr<ofstream, decltype(stream_deleter)> p_log(&log_file, stream_deleter); if (!p_log) // compile error cout << "Couldn't open file" << endl; 

Unique_ptr :: रीसेट को कॉल करने से दोहरी विलोपन हो सकता है

रीसेट विधि में संचालन का क्रम मानक द्वारा वर्णित आदेश से मेल नहीं खाता। इससे वस्तु का दोहरा विलोपन हो सकता है। एक उदाहरण:

 class SelfReferential { unique_ptr<SelfReferential>& _p_self; public: SelfReferential(unique_ptr<SelfReferential>& p) : _p_self(p) {} ~SelfReferential() { _p_self.reset(); } }; unique_ptr<SelfReferential> p; p = unique_ptr<SelfReferential>(new SelfReferential(p)); p.reset(); //    ~SelfReferential 

रीसेट विधि को कॉल करने से SelfReferential विध्वंसक शुरू होता है, जो फिर से कॉल को रीसेट करता है। डबल विलोपन होता है क्योंकि रीसेट विधि ऑब्जेक्ट को हटाने के बाद नियंत्रण के लिए सूचक को रीसेट करता है, और इससे पहले नहीं।

share_ptr, संरक्षित विध्वंसक और nullptr

आप एक वर्ग के लिए share_ptr को एक सुरक्षित विध्वंसक के साथ नहीं बना सकते हैं, जो इसे nullptr पर आरंभ कर सकता है:

 class Interface { public: virtual void do_stuff() = 0; protected: ~Interface() {} }; class Implementation : public Interface { public: void do_stuff() override { // ... } }; shared_ptr<Interface> ptr1 = make_shared<Implementation>(); // OK shared_ptr<Interface> ptr2 = nullptr; //  

विजुअल स्टूडियो 2013 में, इस कोड को मानक के अनुसार संकलित किया गया है।

प्रकार लक्षण पुस्तकालय में तय की गई कीड़े

गलत संचालन is_function है

is_function एक गलत परिणाम देता है यदि इसमें पारित फ़ंक्शन बहुत सारे तर्क देता है:

 typedef void f(int, bool, int*, int[], int, int, int, int, int, int, int); is_function<f>::value; // false,    true 

इसके अलावा, परिणाम डिफ़ॉल्ट के अलावा कॉलिंग कन्वेंशन वाले फ़ंक्शन के लिए गलत है

इसी तरह, is_member_function_pointer स्पष्ट रूप से निर्दिष्ट कॉलिंग कन्वेंशन के साथ तरीकों के लिए परिणाम को सही ढंग से वापस करने में विफल रहता है

is_member_pointer, इसके विपरीत, __cdecl विधि से सही ढंग से काम नहीं करता है:

 typedef void (__cdecl A::*ccall_proc)(int, long, double); is_member_pointer<ccall_proc>::value; // false,    true 

is_object को is_function के माध्यम से परिभाषित किया गया था, इसलिए बड़ी संख्या में फ़ंक्शन तर्कों के साथ उपरोक्त त्रुटि उस पर लागू होती है, जिससे ऑब्जेक्ट की गलत परिभाषा हो जाती है।

is_scalar ने nullptr_t को नहीं पहचाना

is_scalar <nullptr_t> गलती से VS2012 में गलत तरीके से वापस लौटा - मानक एक स्केलर प्रकार के रूप में nullptr_t को परिभाषित करता है।

is_pod गलत समझा शून्य

is_pod गलती से VS2012 में सही लौटा है, हालांकि शून्य एक POD प्रकार नहीं है

is_constructible लिंक के लिए गलत परिणाम लौटाता है

is_constructible संदर्भ प्रकारों के साथ गलत तरीके से व्यवहार किया जाता है, जैसे कि चीजों के लिए गलत वापस करना:

 is_constructible<const string&, string>::value; is_constructible<const string&, string&&>::value; 

Alignment_of और align_union में कीड़े

VS2012 में alignment_of एक दुर्गम विध्वंसक के बारे में एक गलत चेतावनी उत्पन्न करता है यदि आप इसे निजी विध्वंसक के साथ एक प्रकार पर उपयोग करते हैं।
इसके अलावा, VS2012 में align_union सही ढंग से काम नहीं करता है:

 typedef aligned_union<16, string>::type StorageType; sizeof(string); // 24 sizeof(StorageType); // 16,    24   

align_union के पास एक स्थैतिक सदस्य संरेखण होना चाहिए। जिसमें टेम्पलेट तर्क T1, ..., Tn के लिए संरेखण मान शामिल हैं। हालाँकि, इसे VS2012 में लागू नहीं किया गया था।

आम तौर पर गलती से शून्य रिटर्न होता है

एक संकलन त्रुटि के बजाय, मानक के अनुसार मान लिया गया है, तो common_type VS2012 में शून्य हो गया है:

 common_type<int, string>::type; // void 

जब कस्टम रूपांतरण संभव हो तो सामान्य प्रकार कस्टम प्रकार के लिए भी शून्य रिटर्न देता है।

 struct A {}; struct AWrapper { AWrapper() {} AWrapper(const A&) {} }; common_type<A, AWrapper>::type; // void 

result_of कुछ मामलों में संकलन नहीं करता है

यदि आप VS2012 में इस टेम्प्लेट के साथ मूव-ओनली तर्क का उपयोग करने का निर्णय लेते हैं, तो आपको परेशानी होगी:

 result_of<Copyable(MoveOnly&&)>::type; //   

कीड़े एसटीएल कंटेनर और एल्गोरिदम में तय किए गए

minmax_element काम नहीं किया

मानक इस एल्गोरिथ्म के दो संस्करणों को परिभाषित करता है:

 pair<Iter, Iter> minmax_element(Iter first, Iter last) pair<Iter, Iter> minmax_element(Iter first, Iter last, Compare comp) 

उन्हें लौटना चाहिए (पहले, अंतिम), जहां पहले सबसे छोटे तत्व को इंगित करता है, और अंतिम सबसे बड़ा, या make_pair (पहला, पहला) को इंगित करता है अगर सीमा खाली है। VS2012 में, इसके बजाय make_pair (min_element (पहला, अंतिम), max_element (पहला, अंतिम) वापस कर दिया गया था।

कंस्ट्रक्टरों को स्थानांतरित करने के लिए कंटेनर में गलती से आवश्यक तत्व प्रकार होते हैं

सभी कंटेनर मूव कंस्ट्रक्टरों को गलती से एक एलिमेंट कंस्ट्रक्टर के लिए तत्व प्रकार की आवश्यकता होती है।

 struct A { A() {} private: A(A&&); A(const A&); }; deque<A> source; deque<A> target(move(source)); //   

इसी तरह, नक्शे और unordered_map तत्वों के लिए एक्सेस ऑपरेटरों को मूव कंस्ट्रक्टर की उपस्थिति की आवश्यकता होती है:

 map<string, A> m; A& elem = m["abc"]; //   

समकालिकता और एसिंक्रोनसी से संबंधित निश्चित त्रुटियां

share_future भविष्य से बनाया गया है

VS2012 में एक और बग भविष्य के कार्यान्वयन और संदर्भ प्रकारों और शून्य के लिए साझा करने के लिए था। इस बग ने निम्नलिखित कोड को संकलित करने की अनुमति दी (जो स्पष्ट रूप से एक गलती है, क्योंकि भविष्य एक चाल-ही प्रकार है):

 future<int&> f_ref; shared_future<int&> sf_ref(f_ref); // ,     future<void> f_void; shared_future<void> sf_void(f_void); // ,     

थ्रेड क्लास में स्मृति रिसाव

एक बग जो प्रोग्राम के अंत में मेमोरी लीक का कारण बन सकता है। ऐसा इसलिए हुआ क्योंकि थ्रेड ने बनाया लेकिन कभी भी at_thread_exit_mutex ऑब्जेक्ट को नष्ट नहीं किया, साथ ही साथ कुछ आंतरिक डेटा संरचनाएं भी।

वादा से प्राप्त भविष्य में बेकार के कार्य

विजुअल स्टूडियो 2012 में एक बग के कारण, ऐसी भविष्य की वस्तुओं का इंतज़ार_फोर्स और Wait_until फ़ंड्स ने भविष्य_स्टैटस :: भविष्यवाणियों के बजाय स्थगित कर दिया :: टाइमआउट या भविष्य_स्टैटस :: तैयार, इन तरीकों को बेकार बना दिया।

Future_error अपवादों में अमान्य संदेश

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

परमाणु टेम्पलेट को डिफ़ॉल्ट निर्माता के बिना एक प्रकार के लिए परिभाषित नहीं किया जा सकता है

डिफ़ॉल्ट कंस्ट्रक्टर के बिना एक प्रकार के लिए एक परमाणु टेम्पलेट का उपयोग करने का प्रयास करते समय आपको एक त्रुटि संदेश मिला, हालांकि यह सच नहीं है।

परमाणु ने धीरे-धीरे काम किया

VS2012 में, परमाणु संचालन कभी-कभी अखंडता जांच के साथ ओवरलोड होते थे (वे वहां किए गए थे जहां यह आवश्यक नहीं है)। हालांकि यह मानक का उल्लंघन नहीं करता है, लेकिन कोड ने जितना धीरे हो सकता था, उससे अधिक धीरे-धीरे काम किया। VS2013 में परमाणु कार्यों का पूरी तरह से नया कार्यान्वयन है, जो बहुत तेजी से काम करता है।

यादृच्छिक संख्या पीढ़ी में निश्चित त्रुटियां

डिबग मोड में, mersenne_twister_engine ने एक त्रुटिपूर्ण मुखर उत्पन्न किया यदि आपने इसे शून्य से प्रारंभ करने का प्रयास किया।

Subtract_with_carry_engine के लिए स्ट्रीम स्टेटमेंट में अपरिभाषित व्यवहार के लिए एक त्रुटि थी।

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

तर्कसंगत अंकगणित के पुस्तकालय में फिक्स्ड कीड़े

पुस्तकालय में कई कीड़े पाए गए:

आप VS2012 में निम्न कोड नहीं लिख सकते हैं

 ratio_add<ratio<1, 2>, ratio<1, 3>>::num; ratio_add<ratio<1, 2>, ratio<1, 3>>::den; 

इसके बजाय, आपको उनके प्रकार के माध्यम से अंश और हर तक पहुंचने के लिए मजबूर किया गया था:

 ratio_add<ratio<1, 2>, ratio<1, 3>>::type::den; ratio_add<ratio<1, 2>, ratio<1, 3>>::type::num; 

एक और गलती थी तुलना का कार्यान्वयन।

 cout << "2/60 < -1/3: " << ratio_less<r2_60, r1_3>::value << endl; // false cout << "2/60 < 1/-3: " << ratio_less<r2_60, ratio<1, -3>>::value << endl; // true    false 

इस प्रकार, VS2012 में, आपको यह सुनिश्चित करना होगा कि टेम्पलेट को दिया गया भाजक हमेशा एक धनात्मक संख्या हो।

एक अन्य बग यह था कि अनुपात_ असमानता असमानता को सही ढंग से निर्धारित करती है, लेकिन हमेशा समानता को सही ढंग से निर्धारित नहीं करती है:

 ratio_equal<ratio<1, 4>, ratio<4, 16>>::value; // false    true 

और यहाँ एक और बग है। जब आपका अनुपात <N, D> है, यदि D शून्य है या intmax_t से अधिक संख्या है, तो आपका प्रोग्राम निश्चित रूप से अमान्य है। हालाँकि, विज़ुअल स्टूडियो 2012 ने ऐसी त्रुटियों का पता नहीं लगाया:

 typedef ratio<1, 0> r_error; cout << r_error::den << endl; //   ,   

 typedef ratio<INTMAX_MIN, 1> r_error2; cout << r_error2::num << endl; //   ,   

विज़ुअल स्टूडियो के कार्यान्वयन में, इन स्थितियों में ट्रिगर किए जाने वाले static_assert स्टेटमेंट को प्रॉस्ट्रक्टर कंस्ट्रक्टर में रखा जाता है। लेकिन निर्माणकर्ता केवल कक्षा की एक वस्तु बनाते समय काम करता है, लेकिन इसके ऊपर के उदाहरणों में ऐसा नहीं होता है।

इसी तरह, कुछ कोड संकलित करते हैं, हालांकि यह नहीं होना चाहिए:

 // ,     -     ratio_multiply<ratio<1, INTMAX_MAX>, ratio<1, 2>>::type; 

विजुअल स्टूडियो 2013 में अन्य त्रुटियां

Tuple_element सीमा से बाहर जाने के लिए जाँच नहीं करता है

tuple_element <I, array <T, N >> चेक करना चाहिए कि I <N है और नहीं है तो संकलित करें। VS2013 तक ऐसा नहीं हुआ।

Std :: फ़ंक्शन के लिए बूल में अमान्य रूपांतरण

कुछ मामलों में, रूपांतरण VS2012 में गलत परिणाम दे सकता है, क्योंकि जब सिद्धांत में ऑब्जेक्ट खाली नहीं था, तो यह होना चाहिए:

 // JetPlane   Plane function<bool(JetPlane*)> plane_ready_func = function<bool(Plane*)>(); if (plane_ready_func) //   false,   { plane_ready_func(nullptr); //    bad_function_call } 

प्रतिद्वंद्वियों के लिए असाइनमेंट

विजुअल स्टूडियो 2012 मानक के अनुसार, प्रतिद्वंद्वियों के लिए असाइनमेंट पर प्रतिबंध नहीं लगाता है:

 struct Dummy { int _x; }; Dummy get_dummy() { Dummy d = { 10 }; return d; } get_dummy()._x = 20; // ,     

संरेखित करें () गलत तरीके से मापदंडों को अपडेट करता है

फ़ंक्शन सही तरीके से रिटर्न एड्रेस की गणना करता है, लेकिन पिछले दो मापदंडों को गलत तरीके से अपडेट करता है:

 void* p = (void*)0x1; //   200     32  //      230  size_t space = 230; void* res = align(32, 200, (void*&)p, space); // res  null  31    , //     30 space = 256; //     256 res = align(32, 200, (void*&)p, space); // res  0x20 (    32) // p  0xE8 (200 + 32)    0x20 // space  25    225 

time_put wchar_t के साथ काम नहीं करता है

जब wchar_t आरंभीकृत किया जाता है तो time_put आउटपुट उत्पन्न नहीं करता है।

निष्कर्ष

Stephan Lavavej द्वारा लिखी गई इस पोस्ट में आप VS2013 (न केवल C ++ 11 में) बदलाव की पूरी सूची पढ़ सकते हैं।

नई सी ++ 11 सुविधाओं को लागू करने के अलावा, विज़ुअल स्टूडियो 2013 ने संकलक और पुस्तकालयों की मौजूदा कार्यक्षमता में कई कीड़े तय किए, गलत कंपाइलर त्रुटियों से मेमोरी लीक और खराब प्रदर्शन तक। यह निश्चित रूप से एक सकारात्मक प्रवृत्ति है।

दुर्भाग्य से, VS2013 में अभी भी VS2012 से विरासत में मिले कुछ कीड़े शामिल हैं और कुछ नए जोड़े जाते हैं। मैं इस सब के बारे में एक किताब लिख रहा हूँ, यह अभी समाप्त नहीं हुआ है, लेकिन आप अभी कुछ पढ़ सकते हैं ।