मैंने मानक C ++ 11 पुस्तकालय को कैसे लिखा है या बूस्ट इतना डरावना क्यों है। अध्याय 2

पिछले भागों का सारांश

सी ++ 11 संकलक का उपयोग करने की क्षमता पर प्रतिबंध के कारण, और वैकल्पिकता की कमी से, बूस्टर ने संकलक के साथ आपूर्ति की गई C ++ 98 / C ++ 03 पुस्तकालय के शीर्ष पर मानक C ++ 11 पुस्तकालय के अपने कार्यान्वयन को लिखना चाहता था।

मानक हेडर फ़ाइलों के अलावा type_traits , thread , mutex , chrono , nullptr.h को जोड़ा गया था कि इम्प्लीमेंट्स std :: nullptr_t और core.h जहां मैक्रो कंपाइलर- निर्भर कार्यक्षमता से संबंधित था, साथ ही साथ मानक लाइब्रेरी का विस्तार किया गया था।

बेसब्री और गैर-पाठकों के लिए आज के परिणाम के साथ GitHub को लिंक करें:

कमिट और रचनात्मक आलोचना का स्वागत है

सामग्री की तालिका

परिचय
अध्याय 1. वीआईएम पर्यवेक्षक वडेंस
अध्याय 2. #ifndef __CPP11_SUPPORT__ #define __COMPILER_SPECIFIC_BUILT_IN_AND_MACRO_HELL__ #endif
अध्याय 3. सही nullptr कार्यान्वयन ढूँढना
अध्याय 4. सी ++ टेम्पलेट मैजिक
.... ४.१ हम छोटे से शुरू करते हैं
.... ४.२ हमारे बारे में कितनी चमत्कारी त्रुटियों का संकलन करता है
.... ४.३ पॉइंटर्स और ऑल-ऑल-ऑल
.... 4.4 टेम्प्लेट लाइब्रेरी के लिए और क्या आवश्यक है
अध्याय 5
...

अध्याय 2. #ifndef __CPP11_SUPPORT__ #define __COMPILER_SPECIFIC_BUILT_IN_AND_MACRO_HELL__ #endif

सभी कोड को थोड़ा कंघी करने के बाद और "मानक" हेडर द्वारा एक अलग नामस्थान stdex में विभाजित किया गया था , मैं type_traits , nullptr.h और एक ही core.h के साथ आबाद करने के लिए आगे बढ़ा , जिसमें मैक्रोज़ थे जो कंपाइलर द्वारा उपयोग किए गए मानक के संस्करण को निर्धारित करने और इसे समर्थन देने के लिए थे। देशी nullptr , char16_t , char32_t और static_assert ।

सिद्धांत रूप में, सब कुछ सरल है - सी ++ मानक (खंड 14.8) के अनुसार, __cplusplus मैक्रो को संकलक द्वारा परिभाषित किया जाना चाहिए और समर्थित मानक के संस्करण के अनुरूप होना चाहिए:

C++ pre-C++98: #define __cplusplus 1 C++98: #define __cplusplus 199711L C++98 + TR1: #define __cplusplus 199711L // ??? C++11: #define __cplusplus 201103L C++14: #define __cplusplus 201402L C++17: #define __cplusplus 201703L 

तदनुसार, समर्थन की उपलब्धता निर्धारित करने के लिए कोड तुच्छ है:

 #if (__cplusplus >= 201103L) //  C++ 11   #define _STDEX_NATIVE_CPP11_SUPPORT //   11  (nullptr, static_assert) #define _STDEX_NATIVE_CPP11_TYPES_SUPPORT //    char16_t, char32_t #endif 

वास्तव में, सब कुछ इतना सरल नहीं है और अब एक रेक के साथ दिलचस्प बैसाखी शुरू होती है।

सबसे पहले, सभी, या बल्कि कोई भी नहीं, संकलक अगले मानक को पूरी तरह से और तुरंत लागू नहीं करते हैं। उदाहरण के लिए, विजुअल स्टूडियो 2013 में कॉन्स्टैक्स बहुत लंबे समय तक अनुपस्थित था , जबकि यह दावा किया गया था कि यह C ++ 11 का समर्थन करता है - कैविटी के साथ कि कार्यान्वयन पूर्ण नहीं है। वह है, ऑटो - कृपया, static_assert - बस के रूप में आसान है (यहां तक ​​कि पहले से एमएस वीएस), लेकिन constexpr नहीं है । दूसरे, सभी कंपाइलर (और यह और भी आश्चर्यजनक है) इस परिभाषित को सही ढंग से उजागर करते हैं और इसे समय पर अद्यतन करते हैं। अचानक, एक ही संकलक में, विजुअल स्टूडियो ने संकलक के पहले संस्करणों से __cplusplus परिभाषा के संस्करण को नहीं बदला , हालांकि C ++ 11 के लिए पूर्ण समर्थन की घोषणा लंबे समय से की गई है (जो सच भी नहीं है, जिसके लिए असंतोष की अलग-अलग किरणें हैं - जैसे ही वार्तालाप की विशिष्ट कार्यक्षमता के लिए "नया" आता है) "11 मानक डेवलपर्स तुरंत कहते हैं कि कोई C99 प्रीप्रोसेसर नहीं है, कोई अन्य" सुविधाएँ "नहीं हैं)। और स्थिति इस तथ्य से बढ़ जाती है कि मानक संकलक द्वारा इस मान को उपरोक्त मूल्यों से अलग निर्धारित करने की अनुमति दी जाती है, यदि वे घोषित मानकों का पूरी तरह से पालन नहीं करते हैं। उदाहरण के लिए, यह तर्कसंगत होगा कि किसी दिए गए मैक्रो के लिए डिफाइन का ऐसा विकास (नई कार्यक्षमता की शुरूआत के साथ, इस परिभाषित के पीछे छिपी संख्या में वृद्धि):

 standart C++98: #define __cplusplus 199711L // C++98 standart C++98 + TR1: #define __cplusplus 200311L // C++03 nonstandart C++11: #define __cplusplus 200411L // C++03 + auto and dectype nonstandart C++11: #define __cplusplus 200511L // C++03 + auto, dectype and constexpr(partly) ... standart C++11: #define __cplusplus 201103L // C++11 

लेकिन एक ही समय में, इस सुविधा के साथ कोई भी मुख्य लोकप्रिय संकलक "खराब नहीं हुआ" है।

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

 #ifndef __has_feature #define __has_feature(x) 0 // Compatibility with non-clang compilers. #endif // Any compiler claiming C++11 supports, Visual C++ 2015 and Clang version supporting constexpr #if ((__cplusplus >= 201103L) || (_MSC_VER >= 1900) || (__has_feature(cxx_constexpr))) // C++ 11 implementation #define _STDEX_NATIVE_CPP11_SUPPORT #define _STDEX_NATIVE_CPP11_TYPES_SUPPORT #endif 

अधिक संकलक तक पहुँचना चाहते हैं? हम कोडगियर सी ++ बिल्डर के लिए चेक जोड़ते हैं, जो बोरलैंड का उत्तराधिकारी है (अपनी सबसे खराब अभिव्यक्तियों में, लेकिन बाद में और अधिक):

 #ifndef __has_feature #define __has_feature(x) 0 // Compatibility with non-clang compilers. #endif // Any compiler claiming C++11 supports, Visual C++ 2015 and Clang version supporting constexpr #if ((__cplusplus >= 201103L) || (_MSC_VER >= 1900) || (__has_feature(cxx_constexpr))) // C++ 11 implementation #define _STDEX_NATIVE_CPP11_SUPPORT #define _STDEX_NATIVE_CPP11_TYPES_SUPPORT #endif #if !defined(_STDEX_NATIVE_CPP11_TYPES_SUPPORT) #if ((__cplusplus > 199711L) || defined(__CODEGEARC__)) #define _STDEX_NATIVE_CPP11_TYPES_SUPPORT #endif #endif 

यह भी ध्यान देने योग्य है कि चूंकि विजुअल स्टूडियो ने पहले से ही _MSC_VER 1600 संकलक संस्करण से nullptr समर्थन को लागू किया है, साथ ही अंतर्निहित प्रकार char16_t और char32_t , हमें इसे सही ढंग से संभालने की आवश्यकता है। कुछ और चेक जोड़े गए:

 #ifndef __has_feature #define __has_feature(x) 0 // Compatibility with non-clang compilers. #endif // Any compiler claiming C++11 supports, Visual C++ 2015 and Clang version supporting constexpr #if ((__cplusplus >= 201103L) || (_MSC_VER >= 1900) || (__has_feature(cxx_constexpr))) // C++ 11 implementation #define _STDEX_NATIVE_CPP11_SUPPORT #define _STDEX_NATIVE_CPP11_TYPES_SUPPORT #endif #if !defined(_STDEX_NATIVE_CPP11_TYPES_SUPPORT) #if ((__cplusplus > 199711L) || defined(__CODEGEARC__)) #define _STDEX_NATIVE_CPP11_TYPES_SUPPORT #endif #endif #if ((!defined(_MSC_VER) || _MSC_VER < 1600) && !defined(_STDEX_NATIVE_CPP11_SUPPORT)) #define _STDEX_IMPLEMENTS_NULLPTR_SUPPORT #else #define _STDEX_NATIVE_NULLPTR_SUPPORT #endif #if (_MSC_VER >= 1600) #ifndef _STDEX_NATIVE_CPP11_TYPES_SUPPORT #define _STDEX_NATIVE_CPP11_TYPES_SUPPORT #endif #endif 

उसी समय, हम C ++ 98 समर्थन की जांच करेंगे, क्योंकि कंपाइलरों के लिए इसके बिना मानक लाइब्रेरी की कुछ हेडर फाइलें नहीं होंगी, और हम कंपाइलर का उपयोग करके उनकी अनुपस्थिति को सत्यापित नहीं कर सकते।


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

बढ़ावा देने की तुलना में एक बड़ी उपलब्धि, मेरा मानना ​​है कि कोड भर में कंपाइलर-निर्भर मैक्रोज़ का प्रसार संभव था, जो कोड क्लीनर और समझने में आसान बनाता है, और प्रत्येक ओएस के लिए और प्रत्येक कंपाइलर के लिए दर्जनों कॉन्फ़िगरेशन फ़ाइलों का ढेर भी नहीं है। हम इस दृष्टिकोण के नुकसान के बारे में थोड़ी देर बाद बात करेंगे।

इस स्तर पर, हम पहले से ही मानक 11 की याद आ रही कार्यक्षमता, और पहली बात यह है कि हम इस static_assert परिचय कनेक्ट करने के लिए शुरू कर सकते हैं।

static_assert

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

 namespace stdex { namespace detail { template <bool> struct StaticAssertion; template <> struct StaticAssertion<true> { }; // StaticAssertion<true> template<int i> struct StaticAssertionTest { }; // StaticAssertionTest<int> } } 

और आगे मैक्रो जादू

 #ifdef _STDEX_NATIVE_CPP11_SUPPORT #define STATIC_ASSERT(expression, message) static_assert((expression), #message) #else // no C++11 support #define CONCATENATE(arg1, arg2) CONCATENATE1(arg1, arg2) #define CONCATENATE1(arg1, arg2) CONCATENATE2(arg1, arg2) #define CONCATENATE2(arg1, arg2) arg1##arg2 #define STATIC_ASSERT(expression, message)\ struct CONCATENATE(__static_assertion_at_line_, __LINE__)\ {\ stdex::detail::StaticAssertion<static_cast<bool>((expression))> CONCATENATE(CONCATENATE(CONCATENATE(STATIC_ASSERTION_FAILED_AT_LINE_, __LINE__), _WITH__), message);\ };\ typedef stdex::detail::StaticAssertionTest<sizeof(CONCATENATE(__static_assertion_at_line_, __LINE__))> CONCATENATE(__static_assertion_test_at_line_, __LINE__) #ifndef _STDEX_NATIVE_NULLPTR_SUPPORT #define static_assert(expression, message) STATIC_ASSERT(expression, ERROR_MESSAGE_STRING) #endif #endif 

का उपयोग करें:

 STATIC_ASSERT(sizeof(void*) == 4, non_x32_platform_is_unsupported); 

मेरे कार्यान्वयन और मानक एक के बीच एक महत्वपूर्ण अंतर यह है कि उपयोगकर्ता को बताए बिना इस कीवर्ड का कोई अधिभार नहीं है। यह इस तथ्य के कारण है कि सी ++ में विभिन्न प्रकार के तर्कों के साथ कई परिभाषित करना असंभव है, लेकिन एक नाम, और एक संदेश के बिना कार्यान्वयन चयनित विकल्प की तुलना में बहुत कम उपयोगी है। यह सुविधा इस तथ्य की ओर ले जाती है कि मेरे कार्यान्वयन में संक्षेप में STATIC_ASSERT संस्करण है जो C ++ 11 में पहले से ही जोड़ा गया है।

आइए एक नजर डालते हैं कि क्या हुआ। __Cplusplus और गैर-मानक संकलक मैक्रोज़ के संस्करणों की जाँच के परिणामस्वरूप, हमारे पास C ++ 11 समर्थन (और इसलिए static_assert ) के बारे में पर्याप्त जानकारी है, जो _STDEX_NATIVE_CPP11_SOSPORT द्वारा परिभाषित है । इसलिए, यदि यह मैक्रो परिभाषित किया गया है, तो हम बस मानक static_assert का उपयोग कर सकते हैं:

 #ifdef _STDEX_NATIVE_CPP11_SUPPORT #define STATIC_ASSERT(expression, message) static_assert((expression), #message) 

कृपया ध्यान दें कि STATIC_ASSERT मैक्रो का दूसरा पैरामीटर स्ट्रिंग स्ट्रिंग शाब्दिक नहीं है , और इसलिए प्रीप्रोसेसर ऑपरेटर # का उपयोग करके हम संदेश पैरामीटर को मानक static_assert में संचरण के लिए एक स्ट्रिंग में बदल देंगे ।

यदि हमारे पास संकलक का समर्थन नहीं है, तो हम अपने कार्यान्वयन के लिए आगे बढ़ते हैं। इसके साथ शुरू करने के लिए, हम "ग्लूइंग" स्ट्रिंग्स के लिए सहायक मैक्रों की घोषणा करेंगे (प्रीप्रोसेसर ऑपरेटर ## इसके लिए बस जिम्मेदार है)।

 #define CONCATENATE(arg1, arg2) CONCATENATE1(arg1, arg2) #define CONCATENATE1(arg1, arg2) CONCATENATE2(arg1, arg2) #define CONCATENATE2(arg1, arg2) arg1##arg2 

मैंने विशेष रूप से #define CONCATENATE ( arg1 , arg2 ) arg1 ## arg2 का उपयोग नहीं किया, ताकि arg1 और arg2 के तर्क के रूप में एक ही CONCATENATE मैक्रो के परिणाम को पारित करने में सक्षम हो।

सुंदर नाम __static_assertion_at_line_ {स्ट्रिंग №} (__LINE__ मैक्रो अच्छी तरह से मानक के रूप में परिभाषित और लाइन नंबर है जिस पर वह बुलाया गया है को बताया जाना चाहिए), और इस संरचना के भीतर हमारे क्षेत्र प्रकार STATIC_ASSERTION_FAILED_AT_LINE_ नामित StaticAssertion जोड़ने {№ पंक्तियों} _WITH __ {पाठ के साथ यह भी घोषणा संरचना कॉलिंग मैक्रो से त्रुटि संदेश}।

 #define STATIC_ASSERT(expression, message)\ struct CONCATENATE(__static_assertion_at_line_, __LINE__)\ {\ stdex::detail::StaticAssertion<static_cast<bool>((expression))> CONCATENATE(CONCATENATE(CONCATENATE(STATIC_ASSERTION_FAILED_AT_LINE_, __LINE__), _WITH__), message);\ };\ typedef stdex::detail::StaticAssertionTest<sizeof(CONCATENATE(__static_assertion_at_line_, __LINE__))> CONCATENATE(__static_assertion_test_at_line_, __LINE__) 

StaticAssertion में टेम्प्लेट पैरामीटर के साथ, हम एक अभिव्यक्ति पास करते हैं जो STATIC_ASSERT में जाँच की जाती है , जो इसे बूल तक ले जाती है । अंत में, स्थानीय चर बनाने और उपयोगकर्ता की स्थिति की जाँच करने के लिए शून्य-ओवरहेड से बचने के लिए, aticstory_serertion_test_at_line_ {लाइन नंबर} नाम के साथ StaticAssertionTest <sizeof (ऊपर घोषित संरचना का नाम ) के प्रकार के लिए एक उपनाम घोषित किया जाता है।

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


दूसरा "ट्रिक" जो मैं चाहता था, जबकि मानक से गायब होना उलटी गिनती है - सरणी में तत्वों की संख्या गिनना। साइज़र्स इस मैक्रो को साइज़ोफ़ (अरे) / साइज़ोफ़ (अरेस्ट [0]) के माध्यम से घोषित करने के बहुत शौकीन हैं, लेकिन हम आगे बढ़ेंगे।

countof

 #ifdef _STDEX_NATIVE_CPP11_SUPPORT #include <cstddef> namespace stdex { namespace detail { template <class T, std::size_t N> constexpr std::size_t _my_countof(T const (&)[N]) noexcept { return N; } } // namespace detail } #define countof(arr) stdex::detail::_my_countof(arr) #else //no C++11 support #ifdef _STDEX_NATIVE_MICROSOFT_COMPILER_EXTENSIONS_SUPPORT // Visual C++ fallback #include <stdlib.h> #define countof(arr) _countof(arr) #elif defined(_STDEX_NATIVE_CPP_98_SUPPORT)// C++ 98 trick #include <cstddef> template <typename T, std::size_t N> char(&COUNTOF_REQUIRES_ARRAY_ARGUMENT(T(&)[N]))[N]; #define countof(x) sizeof(COUNTOF_REQUIRES_ARRAY_ARGUMENT(x)) #else #define countof(arr) sizeof(arr) / sizeof(arr[0]) #endif 

कॉन्स्ट्रेप सपोर्ट वाले कंपाइलरों के लिए, हम इस टेम्प्लेट का एक कॉन्टेक्स वर्जन घोषित करेंगे (जो बिल्कुल जरूरी नहीं है, सभी मानकों के लिए, COUNTOF_REQUIRES_ARRAY_ARGUMENT टेम्प्लेट के माध्यम से कार्यान्वयन पर्याप्त है ), बाकी के लिए हम टेम्प्लेट फ़ंक्शन COUNTOF_REQUIRES_ARRAY_UMGUMY_UMGUMY_UMGUMY के माध्यम से संस्करण पेश करते हैं। दृश्य स्टूडियो यहाँ फिर से stdlib.h हैडर फ़ाइल में _countof के अपने स्वयं के कार्यान्वयन की उपस्थिति से प्रतिष्ठित है।

COUNTOF_REQUIRES_ARRAY_ARGUMENT फ़ंक्शन डरपोक लगता है और पता लगाता है कि यह बहुत मुश्किल है। यदि आप बारीकी से देखते हैं, तो आप समझ सकते हैं कि यह केवल तर्क के रूप में टेम्पलेट प्रकार टी और आकार एन के तत्वों की एक सरणी लेता है - इस प्रकार, अन्य प्रकार के तत्वों (नहीं सरणियों) को स्थानांतरित करने के मामले में, हमें एक संकलन त्रुटि मिलती है, जो निस्संदेह प्रसन्न करती है। करीब से देखने पर, आप पता लगा सकते हैं (कठिनाई के साथ) कि यह आकार एन के चार तत्वों की एक सरणी देता है । सवाल यह है कि हमें यह सब क्यों चाहिए? यहाँ sizeof ऑपरेटर और संकलन समय पर काम करने के लिए अपने अद्वितीय क्षमता में आता है। आकारऑफ़ कॉल ( COUNTOF_REQUIRES_ARRAY_ARGUMENT ) फ़ंक्शन द्वारा लौटाए गए चार तत्वों के सरणी का आकार निर्धारित करता है, और चूंकि मानक sizeof (char) == 1, यह मूल सरणी में एन तत्वों की संख्या है। सुंदर, सुंदर और पूरी तरह से मुक्त।

सदैव

एक और छोटा सहायक मैक्रो जो मैं उपयोग करता हूं जहां भी अनंत लूप की आवश्यकता होती है वह हमेशा के लिए होता है । इसे निम्नानुसार परिभाषित किया गया है:

 #if !defined(forever) #define forever for(;;) #else #define STRINGIZE_HELPER(x) #x #define STRINGIZE(x) STRINGIZE_HELPER(x) #define WARNING(desc) message(__FILE__ "(" STRINGIZE(__LINE__) ") : warning: " desc) #pragma WARNING("stdex library - macro 'forever' was previously defined by user; ignoring stdex macro definition") #undef STRINGIZE_HELPER #undef STRINGIZE #undef WARNING #endif 

एक स्पष्ट अनंत लूप को परिभाषित करने के लिए उदाहरण वाक्य रचना:

  unsigned int i = 0; forever { ++i; } 

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

stdex_assert

रनटाइम में जोर लगाने के लिए , मैक्रो stdex_assert निम्न के रूप में प्रस्तुत किया गया है:

 #if defined(assert) #ifndef NDEBUG #include <iostream> #define stdex_assert(condition, message) \ do { \ if (! (condition)) { \ std::cerr << "Assertion `" #condition "` failed in " << __FILE__ \ << " line " << __LINE__ << ": " << message << std::endl; \ std::terminate(); \ } \ } while (false) #else #define stdex_assert(condition, message) ((void)0) #endif #endif 

मैं यह नहीं कहूंगा कि मुझे इस कार्यान्वयन पर बहुत गर्व है (इसे भविष्य में बदल दिया जाएगा), लेकिन यहां एक दिलचस्प तकनीक का उपयोग किया गया है जिसे मैं ध्यान आकर्षित करना चाहूंगा। एप्लिकेशन कोड के दायरे से चेक को छुपाने के लिए, {{ जबकि (गलत) निर्माण का उपयोग किया जाता है, जिसे निष्पादित किया जाएगा, जो एक बार में स्पष्ट है और एक ही समय में सामान्य एप्लिकेशन कोड में "सेवा" कोड को लागू नहीं करेगा। यह तकनीक काफी उपयोगी है और लाइब्रेरी में कई अन्य स्थानों पर इसका उपयोग किया जाता है।

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

noexcept

अपवादों को न फेंकने वाले कार्यों के लिए, नोएसेप्ट कीवर्ड को नए मानक में पेश किया गया है। मैक्रो के माध्यम से लागू करना भी काफी सरल और दर्द रहित है:

 #ifdef _STDEX_NATIVE_CPP11_SUPPORT #define stdex_noexcept noexcept #else #define stdex_noexcept throw() #endif 

लेकिन यह समझा जाना चाहिए कि noexcept मानक एक bool मूल्य के साथ-साथ ले जा सकते हैं इस्तेमाल किया जा संकलन समय है कि वह अभिव्यक्ति पारित कर दिया अपवाद फेंक नहीं है पर निर्धारित करने के लिए। इस कार्यक्षमता को कंपाइलर समर्थन के बिना लागू नहीं किया जा सकता है, और इसलिए लाइब्रेरी में केवल " स्ट्रिप्ड डाउन" stdex_noexcept है।

दूसरे अध्याय का अंत। तीसरा अध्याय nullptr कार्यान्वयन की पेचीदगियों के बारे में बात करेगा, कि यह अलग-अलग संकलक के लिए अलग-अलग क्यों है, साथ ही साथ type_traits के विकास, और संकलक में अन्य कीड़े क्या हैं जो मैं इसके विकास के दौरान आया था।

आपका ध्यान के लिए धन्यवाद।