सी ++ पॉइंटर बहु-विरासत मज़े

Question

मैं मूलभूत रेफ-गिनती पॉइंटर क्लास से विरासत को शामिल करने वाला कुछ कोड लिख रहा हूं; और सी ++ की कुछ जटिलताओं को पॉप अप किया गया। इस प्रकार मैं इसे कम किया है:

मान लीजिए मैं:

class A{}; 
class B{}; 
class C: public A, public B {}; 

C c; 
C* pc = &c; 
B* pb = &c; 
A* pa = &c; 

// does pa point to a valid A object? 
// does pb point to a valid B object? 

// does pa == pb ? 

इसके अलावा, करता है:

// pc == (C*) pa ? 
// pc == (C*) pb ? 

धन्यवाद!

Answer 1

• क्या एक वैध ऑब्जेक्ट को इंगित करता है?
• एक वैध बी वस्तु के लिए पीबी बिंदु करता है?

हाँ, C* ताकि परिवर्तित हो जाता है pa और सही पते पर pb बिंदु।

• pa == pb करता है?

नहीं है, आम तौर पर नहीं। एक ही पते पर A ऑब्जेक्ट और B ऑब्जेक्ट नहीं हो सकता है।

इसके अलावा,

• पीसी == (सी *) पा करता है?
• पीसी == (सी *) पीबी?

डाली संकेत वापस C वस्तु का पता करने के लिए धर्मान्तरित, इसलिए दोनों समानताओं सही हैं।

Answer 2

pc == pa; 
pc == pb; 

परिभाषित नहीं किया गया है, वर्ग संरचना पर निर्भर करता है।

pc == (C*) pa; 
pc == (C*) pb; 

ठीक है।

pa == pb; 

सं

वे वैध वस्तुओं को इंगित करते हैं?

Yes 

Answer 3

C एक A और एक B एम्बेड करता है।

class C: public A, public B {}; 

बहुत सी कोड

struct C { 
    A self_a; 
    B self_b; 
}; 

और (B*) &c;static_cast< B* >(&c) के बराबर है के समान है &c.self_b के लिए इसी तरह अगर आप सीधे सी उपयोग कर रहे थे है

सामान्य रूप से, आप अलग-अलग प्रकारों को विनिमय करने योग्य या तुलनीय होने पर पॉइंटर्स पर भरोसा नहीं कर सकते हैं।

Answer 4

आपको क्या मिलेगा स्मृति में कुछ इस तरह है

---------- 
| A data | 
---------- 
| B data | 
---------- 
| C data | 
---------- 

तो तुम पूरे सी वस्तु आप स्मृति की शुरुआत करने के लिए एक सूचक मिल जाएगा चाहते हैं। यदि आप केवल ए "भाग" चाहते हैं, तो आपको वही पता मिलता है, जहां से डेटा सदस्य स्थित हैं। यदि आप बी "भाग" चाहते हैं तो आपको शुरुआत + आकार (ए) + आकार (जो भी कंपाइलर vtable के लिए जोड़ता है) प्राप्त करें। इस प्रकार, उदाहरण में, पीसी! = पीबी (पीसी हो सकता है! = पीए) लेकिन पी पीबी के बराबर कभी नहीं है।

Answer 5

C++ Common Knowledge: Essential Intermediate Programming में Item 28 Meaning of Pointer Comparison) सी में वस्तु सूचक के प्रमुख बताते हैं ++:

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

कोड पर एक नज़र डालें:

class A{}; 
class B{}; 
class C: public A, public B {}; 

C c; 
C* pc = &c; 
B* pb = &c; 
A* pa = &c; 

class Cclass A और class B दोनों से निकला है, इसलिए class Cclass A और class B दोनों है। ऑब्जेक्ट C c में 3 मान्य पते हैं: class A, class B और class C के लिए पता। कार्यान्वयन संकलक पर निर्भर करता है, तो आप class C की स्मृति लेआउट कल्पना नहीं कर सकते हैं, और यह इस तरह हो सकता है:

---------- <- pc (0x7ffe7d10e1e0) 
|  | 
---------- <- pa (0x7ffe7d10e1e4) 
| A data | 
---------- <- pb (0x7ffe7d10e1e8) 
| B data | 
---------- 
| C data | 
---------- 

उपरोक्त मामले में, हालांकि pc, pa और pb का पता मूल्य ही नहीं हैं, वे सभी एक ही ऑब्जेक्ट (c) का संदर्भ लेते हैं, इसलिए संकलक को यह सुनिश्चित करना चाहिए कि pcpa और pb, यानी pc == pa और pc == pb दोनों के बराबर तुलना करता है। कंपाइलर उचित ऑफसेट की तुलना में पॉइंटर्स में से किसी एक के मूल्य को समायोजित करके इस तुलना को पूरा करता है। जैसे,

pc == pa 

लिए अनुवाद किया है: A के बाद से

pc ? ((uintptr_t)pc + 4 == (uintptr_t)pa) : (pa == 0) 

अन्य बातों के अलावा, और B कोई विरासत रिश्ता है, हम pa और pb सीधे तुलना नहीं कर सकते।

अपने प्रश्नों के लिए:

(1) does pa point to a valid A object? 
(2) does pb point to a valid B object? 
Yes, refer the above diagram. 

(3) pc == (C*) pa ? 
(4) pc == (C*) pb ? 
Yes, No need to add (C*). 

(5) does pa == pb ? 
No. We can't compare them.