किसी सदस्य फ़ंक्शन के अंत में किसी कॉन्स्ट का अर्थ क्या है?

Question

सी ++ में const कीवर्ड वास्तव में क्या होता है जब यह किसी सदस्य फ़ंक्शन के अंत में लिखा जाता है (तर्क सूची के बाद)?

Answer 1

इसका मतलब है कि *thisconst उस सदस्य फ़ंक्शन के अंदर है, यानी यह ऑब्जेक्ट को परिवर्तित नहीं करता है।

कीवर्ड this एक प्रचलित अभिव्यक्ति है जिसका मूल्य उस वस्तु का पता है जिसके लिए फ़ंक्शन कहा जाता है। एक वर्ग X के एक सदस्य समारोह में this के प्रकार है। यदि सदस्य फ़ंक्शन const घोषित किया गया है, तो this का प्रकार const X* है। [धारा 9.3.2 §1]

const सदस्य फ़ंक्शन में, जिस ऑब्जेक्ट के लिए फ़ंक्शन कहा जाता है उसे const एक्सेस पथ के माध्यम से एक्सेस किया जाता है; इसलिए, const सदस्य फ़ंक्शन ऑब्जेक्ट और उसके गैर-स्थैतिक डेटा सदस्यों को संशोधित नहीं करेगा। [खंड 9.3.2 §2]

इसका मतलब यह है कि एक const सदस्य समारोह वर्ग के एक const उदाहरण पर कहा जा सकता है। एक गैर-const सदस्य फ़ंक्शन को ^[1]const ऑब्जेक्ट पर नहीं कहा जा सकता है, क्योंकि यह संभावित रूप से इसे संशोधित करने का प्रयास कर सकता है।

^{[1] नोट: एक अस्थायी एक const वस्तु जब तक यह const प्रकार का है नहीं है।}

Answer 2

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

आप अपनी घोषणा में mutable का उपयोग करके इस प्रतिबंध से कक्षा में व्यक्तिगत फ़ील्ड को छूट दे सकते हैं। यह उदाहरण के लिए उपयोगी है जब आपके पास एक वर्ग है जो अपने लॉक_गार्ड को समाहित करता है, जो const सदस्य कार्यों के भीतर भी थ्रेड सुरक्षा को लागू करने के लिए अपना मान बदलना चाहिए।

Answer 3

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

जब आप const ऑब्जेक्ट बनाते हैं तो आप संकलक से यह सुनिश्चित करने के लिए कह रहे हैं कि वह ऑब्जेक्ट प्रारंभिक से परे नहीं बदलता है। बदले में इसका मतलब है कि संकलक आपको जांच करेगा कि आप सीधे अपने सदस्य डेटा को नहीं बदलते हैं और आप किसी भी फ़ंक्शन को कॉल नहीं करते हैं जो गारंटी नहीं देता है कि यह ऑब्जेक्ट को नहीं बदलेगा।

यह कॉन्स शुद्धता दर्शन का सभी हिस्सा है। संक्षेप में इसका मतलब है कि अगर चीजें अभी काम करती हैं और वे नहीं बदलेगी तो वे कभी नहीं तोड़ेंगे। दूसरे शब्दों में, निरंतर चीजों को विश्वसनीय रूप से काम करना आसान होता है। फ़ंक्शन हस्ताक्षर के अंत में यह const चीज आपके लिए चीजों को तोड़ने से रोकने के लिए एक उपकरण है।बदले में इसका मतलब है कि आपको const हर जगह संभवतः आप कर सकते हैं।