लॉजिकल और भौतिक कॉन्स्टेस के बीच अंतर

Question

इन दो शर्तों के बीच क्या अंतर है, और मुझे mutable क्यों चाहिए?

Answer 1

स्कॉट Meyers, Effective C++, आइटम 3:

उपयोग const जब भी संभव हो

इस विषय पर एक उत्कृष्ट चर्चा (उदाहरण के साथ) है। स्कॉट से बेहतर लिखना मुश्किल है!

ध्यान दें कि भौतिक-स्थिरता को bitwise-constness के रूप में भी जाना जाता है।

Answer 2

आप mutable जरूरत है जब वहाँ एक वस्तु में फ़ील्ड "आंतरिक" माना जा सकता है, यानि कि वर्ग के किसी भी बाहरी उपयोगकर्ता इन क्षेत्रों का मूल्य निर्धारित नहीं कर सकते हैं। कक्षा को इन क्षेत्रों में लिखने की आवश्यकता हो सकती है भले ही इंस्टेंस निरंतर माना जाता है, यानी नहीं बदल रहा है।

हार्ड ड्राइव पर विचार करें; इसका कैश ऐसे राज्य का एक उदाहरण है। कैश लिखा जब डेटा वास्तविक डिस्क से पढ़ा गया है।

संबंधित सदस्यों को mutable के बिना सी ++ में स्पष्ट रूप से व्यक्त करना संभव नहीं है, ताकि उन्हें const चिह्नित विधियों में भी बदला जा सके। जैसा कि एक टिप्पणी में बताया गया है, आप हमेशा हथौड़ा तक पहुंच सकते हैं और const -ness को हटाने के लिए const_cast<> का उपयोग कर सकते हैं, लेकिन यह निश्चित रूप से धोखाधड़ी है। :)

Answer 3

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

"तार्किक" स्थिरता संदर्भ या सूचक const घोषित करने से आता है, और संकलक द्वारा लागू किया जाता है। ऑब्जेक्ट स्वयं "भौतिक रूप से" हो सकता है या नहीं हो सकता है, लेकिन संदर्भ का उपयोग बिना किसी कलाकार के संशोधित करने के लिए किया जा सकता है। यदि ऑब्जेक्ट "भौतिक रूप से" नहीं है, तो C++ आपको सुरक्षा को रोकने के लिए const_cast का उपयोग करके इसे संशोधित करने की अनुमति देता है।

एक mutable वर्ग के सदस्य संशोधित किया जा सकता है, भले ही वर्ग वस्तु ही (या संदर्भ या सूचक इसे उपयोग करने में प्रयोग किया जाता) const है। इसके अच्छे उपयोग के उदाहरण एक म्यूटेक्स हैं जिन्हें पढ़ने के दौरान लॉक किया जाना चाहिए, और एक कैश एक महंगे पठन ऑपरेशन के परिणाम को स्टोर करने के लिए। दोनों मामलों में, ऑपरेशन स्वयं const फ़ंक्शन होना चाहिए (क्योंकि यह ऑब्जेक्ट की दृश्य स्थिति को प्रभावित नहीं करता है), लेकिन इसे म्यूटेक्स या कैश को संशोधित करने की आवश्यकता है, इसलिए इन्हें mutable होना चाहिए। जब तर्कसंगत रूप से यह नहीं होना चाहिए, तो ऑब्जेक्ट को स्पष्ट रूप से बदलने के लिए इसका दुरुपयोग किया जा सकता है, इसलिए इसे देखभाल के साथ उपयोग करें; केवल सदस्यों को mutable घोषित करें यदि वे बाहरी रूप से दिखाई देने वाले राज्य का हिस्सा नहीं बनते हैं।