सी ++ प्रकार कास्टिंग। Static_cast सफल कब होगा और reinterpret_cast एक समस्या का कारण बन जाएगा?

Question

मैं समझता हूं कि static_cast एक प्रकार से दूसरे में एक कास्ट है (सहजता से) एक ऐसी कलाकार है जो कुछ परिस्थितियों में सफल हो सकती है और खतरनाक कलाकारों की अनुपस्थिति में सार्थक हो सकती है। इस बीच, reinterpret_cast एक कलाकार है जो एक असुरक्षित रूपांतरण का प्रतिनिधित्व करता है जो एक मूल्य के बिट्स को किसी अन्य मूल्य के बिट्स के रूप में दोबारा परिभाषित कर सकता है।

क्या किसी व्यक्ति परिदृश्य का वर्णन कर सकता है जब कोड संकलित, कास्ट और static_cast कोई समस्या नहीं होगी, लेकिन reinterpret_cast के साथ कोई समस्या होगी?

Answer 1

यह यह करना होगा:

#include <iostream> 
using namespace std; 

struct C{int n;}; 
struct A{int n;}; 
struct B : A, C{}; 

int main() 
{ 
    B b; 
    B* pb = &b; 
    cout << static_cast<C*>(pb) << "\n"; 
    cout << reinterpret_cast<C*>(pb); 
} 

नोट दो पते में मतभेद।

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

देखें https://ideone.com/QLvBku

Answer 2

ऐसे मामलों में से एक एकाधिक विरासत है - static_cast पते का समायोजन करता है (इसलिए कच्चे ऑब्जेक्ट पॉइंटर का पता व्युत्पन्न ऑब्जेक्ट पते से अलग हो सकता है, सही बेस क्लास आइटम्स को इंगित करने के लिए)।

reinterpret_cast कोई पता समायोजन नहीं करता है, इसलिए बेस क्लास में कास्ट गलत पता का उपयोग कर सकता है (यानी हमेशा व्युत्पन्न वस्तु का पता अपरिवर्तित होता है)।

Answer 3

सरलतम इस तरह के मामले reinterpret_cast<void*>(NULL) है, जो एक गैर-शून्य सूचक उपज सकता है।

इसके विपरीत, static_cast<void*>(NULL) सुरक्षित है क्योंकि इसे एक शून्य सूचक उत्पन्न करने की आवश्यकता है।

क्यों? NULL एक पूर्णांक स्थिर 0 के बराबर है। static_cast की आवश्यकता है कि 0 को उचित शून्य सूचक में परिवर्तित किया जाए, लेकिन reinterpret_cast में यह वही आवश्यकता नहीं है। यदि एक शून्य सूचक का आंतरिक प्रतिनिधित्व पूर्णांक शून्य के समान नहीं है, तो परिणाम अलग होंगे। खंडित पते के साथ आर्किटेक्चर पर इस प्रकार का ब्रेकेज सबसे अधिक संभावना होगी।