कांस्ट्रेक्स फ़ंक्शंस में एक कास्ट स्पेसियर नहीं है

बस आपको चेतावनी देना चाहता था: constexpr कार्यों के एक पहलू में सी ++ 14 सी ++ 11 के साथ पीछे नहीं होगा।

C ++ 11 में, यदि आप एक constexpr सदस्य फ़ंक्शन को परिभाषित करते हैं, तो यह स्पष्ट रूप से constexpr निर्दिष्ट करेगा:

 // C++11 struct NonNegative { int i; constexpr int const& get() /*const*/ { return i; } int& get() { return i; } }; 

get फ़ंक्शन की पहली घोषणा const को प्राप्त होगी, भले ही हम इसे स्पष्ट रूप से निर्दिष्ट न करें। इसलिए, इन दो कार्यों को अतिभारित किया गया है: const और नॉन- const संस्करण।

C ++ 14 में, यह अब ऐसा नहीं होगा: दोनों घोषणाएं अलग-अलग रिटर्न मानों के साथ सदस्य फ़ंक्शन के समान, नॉन- const संस्करण का निर्धारण करेंगी - इससे संकलन त्रुटि हो जाएगी। यदि आपने पहले से ही constexpr फ़ंक्शंस का उपयोग करना शुरू कर दिया है और एक अंतर्निहित constexpr लिए उम्मीद कर रहे हैं, तो मैं आपको सलाह देता हूं कि इसे स्पष्ट रूप से जोड़ना शुरू करें ताकि आपका कोड संकलित करना जारी रखें यदि आप C ++ 14 कंपाइलरों पर स्विच करने का निर्णय लेते हैं।

निहित const साथ क्या गलत है?

यदि आप हमारे प्रकार का उपयोग करने की कोशिश करेंगे तो समस्याएं शुरू हो जाएंगी:

 // C++11 constexpr int i = NonNegative{2}.get(); // ERROR 

(कुछ असामान्य) सी ++ नियमों के अनुसार, जब एक अस्थायी ऑब्जेक्ट के लिए सदस्य फ़ंक्शन का चयन किया जाता है, तो एक गैर- const संस्करण एक const संस्करण के लिए बेहतर होता है। हमारा नॉन- constexpr मेंबर फंक्शन get , constexpr नहीं है, इसलिए इसका इस्तेमाल constexpr वेरिएबल को इनिशियलाइज़ करने के लिए नहीं किया जा सकता है और हमें constexpr स्टेज पर एरर मिलेगा। हम इस फ़ंक्शन को constexpr नहीं कर सकते, क्योंकि यह स्वचालित रूप से constexpr को जोड़ देगा ...

मैंने कहा कि सर्वश्रेष्ठ फ़ंक्शन का चयन करने के नियम असामान्य हैं, क्योंकि वे थोड़े विपरीत हैं कि हम अस्थायी वस्तुओं के लिए सबसे अच्छा गैर-सदस्य फ़ंक्शन कैसे चुनते हैं। इस मामले में, हम नॉन- const संस्करण के लिए लिंक के कॉन्स्टल लैवल्यू को प्राथमिकता देते हैं:

 // C++11 constexpr int const& get(NonNegative const& n) { return ni; } constexpr int& get(NonNegative& n) { return ni; } NonNegative N = readValue(); constexpr int * P = &get(N); int main() { *P = 1; } 

देखें कि क्या होता है: वैश्विक चर N एक स्थिर नहीं है। इसलिए, सूचक P प्रारंभ पर बुलाया जाने वाला दूसरा, गैर- const अतिभारित फ़ंक्शन चुना जाता है P लेकिन नॉन- constexpr फंक्शन में अभी भी constexpr ! और सभी क्योंकि नियम " constexpr मतलब है constexpr " केवल एक गैर-स्थैतिक सदस्य फ़ंक्शन के this तर्क को निहित करने के लिए लागू होता है। constexpr फ़ंक्शन एक गैर- constexpr ऑब्जेक्ट का संदर्भ प्राप्त कर सकता है और एक गैर- constexpr लिंक को वापस कर सकता है। यहां कोई समस्या नहीं है: वैश्विक वस्तु का पता स्थिर है और संकलन समय पर जाना जाता है। हालाँकि, पता P पर मान स्थिर नहीं है और बाद में बदला जा सकता है।

यदि पिछला उदाहरण कुछ दूर तक दिखता है, तो निम्नलिखित पर विचार करें, अधिक यथार्थवादी उदाहरण:

 // C++11 constexpr NonNegative* address(NonNegative& n) { return &n; } NonNegative n{0}; // non-const constexpr NonNegative* p = address(n); 

यहां सब कुछ ठीक काम करता है, लेकिन यदि आप किसी सदस्य को address करने की कोशिश करते हैं, तो यह काम करना बंद कर देगा:

 // C++11 struct NonNegative { // ... constexpr NonNegative* maddress() { return this; } // ERROR }; NonNegative n{0}; // non-const constexpr NonNegative* p = n.maddress(); 

ऐसा इसलिए है क्योंकि maddress स्पष्ट रूप से maddress साथ परिभाषित किया गया है, this NonNegative const* का प्रकार है और इसे NonNegative* परिवर्तित नहीं किया जा सकता है।

यह ध्यान दिया जाना चाहिए कि यह सदस्य फ़ंक्शन स्वयं const , लेकिन फ़ंक्शन का एक अंतर्निहित ( this ) तर्क है। एक सदस्य समारोह घोषणा को छद्म कोड में फिर से लिखा जा सकता है:

 // PSEUDO CODE struct NonNegative { // ... constexpr NonNegative* maddress(NonNegative const& (*this)); }; 

और यह फ़ंक्शन फ़ंक्शन तर्क, अन्य फ़ंक्शन तर्क के विपरीत, (कभी-कभी अवांछनीय) const क्वालिफायर प्राप्त करता है।

यह असममितता C ++ 14 में हटा दी जाएगी। यदि आप निहित तर्क ( this ) के लिए const निर्दिष्ट करना चाहते हैं, तो आपको इसे स्वयं जोड़ना चाहिए। निम्नलिखित कोड C ++ 14 में मान्य होगा:

 // C++14 struct NonNegative { int i; constexpr int const& get() const { return i; } constexpr int& get() { return i; } };