स्थिरांक वस्तु

Question

सी ++ 11 §12.1/14 का निर्माण:

एक स्थिरांक वस्तु के निर्माण के दौरान, अगर वस्तु या उसके subobjects के किसी भी मूल्य एक lvalue के माध्यम से पहुँचा है कि नहीं कन्स्ट्रक्टर के पॉइंटर से सीधे, अप्रत्यक्ष रूप से प्राप्त किया गया, इस प्रकार प्राप्त वस्तु या उपरोक्त का मूल्य निर्दिष्ट नहीं है। [उदाहरण:

struct C; 
void no_opt(C*); 

struct C { 
    int c; 
    C() : c(0) { no_opt(this); } 
}; 

const C cobj; 

void no_opt(C* cptr) { 
    // value of cobj.c is unspecified 
    int i = cobj.c * 100; 
    cptr->c = 1; 
    // value of cobj.c is unspecified 
    cout << cobj.c * 100 << '\n'; 
} 

ऊपर के उदाहरण संकलन 100 आउटपुट। मेरा सवाल यह है कि cobj.c का मान निर्दिष्ट क्यों किया जाना चाहिए जब प्रारंभिक सूची इसे कन्स्ट्रक्टर में प्रवेश करने से पहले 0 पर सेट करे? यदि गैर-कॉन्स्ट ऑब्जेक्ट का उपयोग किया जाता है तो यह व्यवहार अलग-अलग कैसे होता है?

Answer 1

वास्तव में const ऑब्जेक्ट्स को संकलक द्वारा वैध स्थिरांक के रूप में माना जा सकता है। यह मान सकता है कि उनके मूल्य कभी भी नहीं बदलते हैं या उन्हें const मेमोरी में भी स्टोर करते हैं, उदा। रॉम या फ्लैश। इसलिए, जब तक ऑब्जेक्ट वास्तव में स्थिर नहीं है, तब तक आपको this द्वारा प्रदत्त गैर-कॉन्स्ट एक्सेस पथ का उपयोग करने की आवश्यकता है। यह स्थिति केवल वस्तु निर्माण और विनाश के दौरान मौजूद है।

बेतकल्लुफ़, मुझे लगता है, क्योंकि वस्तु जीवन भर पहले से ही समाप्त हो गया है और cobj.c दुर्गम है जैसे ही cobj के लिए नाशक शुरू होता है वहाँ विनाशकर्ता के लिए एक इसी आवश्यकता होने की जरूरत नहीं है।

मैथ्यूयू का उल्लेख है, यह निर्माण या विनाश के दौरान this के माध्यम से किसी ऑब्जेक्ट तक पहुंचने के लिए एक मजबूत "कोड गंध" है। सी ++ 11 §3.8 [basic.life] ¶1 और 6 की समीक्षा, यह प्रतीत होता है कि cobj.c कन्स्ट्रक्टर के अंदर यूबी है क्योंकि यह विनाशक के अंदर है, चाहे वस्तु const या §12.1/14 हो, क्योंकि इसका जीवनकाल शुरू नहीं होता है जब तक कि प्रारंभिकता पूर्ण नहीं होती है (कन्स्ट्रक्टर रिटर्न)।

यह काम करने की संभावना हो सकती है, लेकिन यह अच्छे सी ++ प्रोग्रामर के लिए अलार्म रिंग करेगा, और पुस्तक द्वारा यह अवैध है।

Answer 2

उद्धृत नियम का कारण संकलक को ऑब्जेक्ट की कॉन्स्ट-नेस के आधार पर अनुकूलन बनाने की अनुमति देना है। उदाहरण के लिए, अनुकूलन के आधार पर, आपका कंपाइलर i के साथ no_opt में दूसरे cobj.c * 100 को प्रतिस्थापित कर सकता है। अधिक संभावना है, इस विशेष मामले में, अनुकूलक i और इसके प्रारंभिक को पूरी तरह दबाएगा, इसलिए कोड काम पर दिखाई देगा। लेकिन यह केस नहीं हो सकता है यदि आप cptr->c को बदलने से पहले i आउटपुट भी करते हैं; यह सभी पर निर्भर करता है कि संकलक अनुकूलन को कैसे उत्तेजित करता है। लेकिन संकलक करने की अनुमति है मान लेते हैं कि *cptrcobj के लिए उपनाम नहीं है, क्योंकि cobj एक स्थिरांक वस्तु है, जहां आप *cptr के माध्यम से संशोधित रूप है, इसलिए यह अपरिभाषित व्यवहार के बिना एक स्थिरांक वस्तु को इंगित नहीं कर सकते।

यदि ऑब्जेक्ट नहीं है, तो मुद्दा यह नहीं होता है; कंपाइलर को हमेशा *cptr और cobj के बीच एक संभावित अलियासिंग को ध्यान में रखना चाहिए।