constexpr कॉन्स बनाम constexpr चर?

Question

यह स्पष्ट है कि constexpr स्थिरांक का तात्पर्य लगता है और इस तरह यह देखने के लिए आम बात है:

constexpr int foo = 42; // no const here 

लेकिन यदि आप लिखना:

constexpr char *const str = "foo"; 

तो जीसीसी "चेतावनी अंडे देगा: स्ट्रिंग निरंतर से करने के लिए पदावनत रूपांतरण ' char * '"if -Wwrite-string ध्वज पास हो गया है।

लेखन:

constexpr const char *const str = "foo"; 

मुद्दे को हल करती है।

तो constexpr स्थिरांक और constexpr वास्तव में एक ही कर रहे हैं?

Answer 1

मुद्दा यह है कि एक चर घोषणा में, constexpr हमेशा वस्तु को const -नेस लागू होता है की घोषणा की; दूसरी ओर const प्लेसमेंट के आधार पर एक अलग प्रकार पर लागू हो सकता है।

इस प्रकार

constexpr const int i = 3; 
constexpr int i = 3; 

बराबर हैं;

constexpr char* p = nullptr; 
constexpr char* const p = nullptr; 

समकक्ष हैं; दोनों pconst पॉइंटर char पर बनाते हैं।

constexpr const char* p = nullptr; 
constexpr const char* const p = nullptr; 

समकक्ष हैं। constexprpconst सूचक बनाता है। constconst char *pconst char पर इंगित करता है।

Answer 2

आप देख रहे हैं त्रुटि संदेश constexpr कीवर्ड से प्रति के साथ कोई संबंध नहीं है।

की तरह "foo" शाब्दिक एक स्ट्रिंग, के रूप में:

somefunction("foo"); 

इस स्ट्रिंग शाब्दिक के प्रकार const char * है। निम्न कथन:

char *const str = "foo"; 

यह एक char * मूल्य के लिए एक const char * मान देना कोशिश करता है। परिणामी char * मान गैर-परिवर्तनीय, निरंतर है, लेकिन उस समय तक त्रुटि पहले ही हुई है: const char * को char * में बदलने का प्रयास।

आपके उदाहरण में constexpr कीवर्ड केवल एक व्याकुलता है, और त्रुटि पर कोई असर नहीं पड़ता है।

Answer 3

नहीं। यह कहना कि वे कर रहे हैं एक ही मतलब है कि कोई समय है कि स्थिरांक का उपयोग नहीं कर एक स्थिरांक संस्करण के लिए कार्यात्मक रूप से समान कोड के उत्पादन के बिना वैध होगा यह है कि।

मुझे सुरक्षित सिंगलेट्स के निर्माण में यह उपयोगी लगता है। मैंने इसे पूरी तरह से एक्सप्लोर नहीं किया है, और उम्मीद करेगा कि गैर-कॉन्स कॉन्टेक्सप्र के लिए अन्य वैध उपयोग हैं।

एक उदाहरण के रूप में, यहाँ कोड है कि गैर स्थिरांक constexpr की आवश्यकता है: एक चर के एक वैश्विक परिभाषा के साथ

प्रारंभ:

int global_int_; 

और अब हम एक constexpr समारोह है कि रिटर्न बना सकते हैं यह करने के लिए एक संदर्भ:

0:

constexpr int& get_global() 
{ 
    return global_int_; 
} 

अब हम उस संदर्भ कहीं और उपयोग कर सकते हैं

int main() 
{ 
    constexpr int& i{ get_global() }; 
    // do stuff with i 
    return 0; 
} 

अब हम गैर-कॉन्स int के रूप में i का उपयोग कर सकते हैं। यदि कॉन्स का निहित किया गया था, तो यह संभव नहीं होगा।

चूंकि गैर-कॉन्स्टेक्सप्रैफ़ वैध है, यदि आप कॉन्स्टेक्स का उपयोग कर रहे हैं, तो आपको इसे स्पष्ट रूप से घोषित करने की आवश्यकता होगी।