ऑपरेटर हटा सकते हैं और कास्टिंग

Question

मैं निम्नलिखित कोड की तरह ख़ाली उपयोग कर सकते हैं:

int main() 
{ 
    int* foo = new int; 
    double* bar = reinterpret_cast<double*>(foo); 
    delete bar; 
} 

यह यूबी है?

मुझे लगता है कि हमें केवल ऑपरेटर द्वारा लौटाए गए पॉइंटर्स के लिए ऑपरेटर को कॉल करने की आवश्यकता है, लेकिन इस मामले में कास्टिंग के बारे में क्या?

मुझे लगता है कि यह यूबी है क्योंकि reinterpret_cast परिणामी पॉइंटर के बारे में कोई गारंटी नहीं देता है। क्या मैं सही हू?

क्या कोई मानक से सही उद्धरण पोस्ट कर सकता है, कृपया?

Answer 1

§5.3.5/2 "पहले विकल्प में (वस्तु हटाना), का मूल्य हटाने की संकार्य एक अशक्त सूचक मूल्य, एक गैर सरणी वस्तु पिछले new- द्वारा बनाई गई करने के लिए एक सूचक हो सकता है अभिव्यक्ति, या एक उपरोक्त (1.8) के लिए एक सूचक जो किसी ऑब्जेक्ट (क्लॉज 10) की बेस क्लास का प्रतिनिधित्व करता है। यदि नहीं, तो व्यवहार अपरिभाषित है। " चूंकि bar अंक double पर इंगित करता है, यह पिछले 0 -को किसी ऑब्जेक्ट को इंगित नहीं करता है जो पिछले नई अभिव्यक्ति द्वारा बनाया गया था (जिसने int बनाया)।

Answer 2

यहाँ आप कर रहे हैं:

5.3.5 बिंदु 3: पहले विकल्प (वस्तु हटाना) में, वस्तु के स्थिर प्रकार हटाए जाने के लिए अपने गतिशील प्रकार से अलग है अगर, स्थिर प्रकार हटाए जाने वाले ऑब्जेक्ट के डायनामिक प्रकार का बेस क्लास होगा और स्थिर प्रकार में वर्चुअल विनाशक होगा या व्यवहार अपरिभाषित होगा।

क्या स्थिर और गतिशील प्रकार है के प्रश्नों के लिए के रूप में:

1.3.7 गतिशील प्रकार (glvalue) सबसे व्युत्पन्न वस्तु की
प्रकार (1.8), जो करने के लिए glvalue एक glvalue से दर्शाया जाता है अभिव्यक्ति को संदर्भित करती है [उदाहरण: यदि कोई सूचक (8.3.1) पी जिसका स्थैतिक प्रकार "कक्षा बी के सूचक" है, तो बी 0 (क्लॉज 10), अभिव्यक्ति के गतिशील प्रकार से प्राप्त कक्षा डी के किसी ऑब्जेक्ट को इंगित कर रहा है * पी "डी" संदर्भ (8.3.2) का इलाज समान रूप से किया जाता है। अंत उदाहरण]

1.3.23 स्थिर प्रकार
एक अभिव्यक्ति (3.9) निष्पादन अर्थ विज्ञान पर विचार [नोट के बिना कार्यक्रम के विश्लेषण से उत्पन्न के प्रकार: एक अभिव्यक्ति के स्थिर प्रकार केवल कार्यक्रम के रूप पर निर्भर करता है जिसमें अभिव्यक्ति प्रकट होता है, और प्रोग्राम निष्पादित होने पर नहीं बदलता है। अंत टिप्पणी]

Answer 3

5.3.5-3 से:

पहले विकल्प में (वस्तु हटाना), वस्तु के स्थिर प्रकार हटाए जाने के लिए अपनी गतिशील प्रकार से अलग है अगर, स्थिर प्रकार होने के लिए ऑब्जेक्ट के गतिशील प्रकार का मूल वर्ग होगा और स्थिर प्रकार में वर्चुअल विनाशक होगा या व्यवहार अपरिभाषित है।

reinterpret_cast का उपयोग करने में संभावित समस्याओं को छोड़कर, यह यूबी है क्योंकि प्रकार मेल नहीं खाते हैं। कुछ नॉनट्रिविअल प्रकार की कल्पना करो, फिर आप आसानी से इसे "गलत" डॉटर के रूप में देख सकते हैं।

इसके अतिरिक्त reinterpret_cast के परिणाम का उपयोग करके इसे वापस करने के अलावा किसी और चीज के लिए मानक द्वारा अनिर्दिष्ट है।