सी ++ में, एक फ़ंक्शन स्वचालित रूप से आभासी है यदि यह वर्चुअल फ़ंक्शन को ओवरराइड करता है?

Question

मुझे उम्मीद है कि foo कक्षा D में घोषित किया गया है, लेकिन वर्चुअल चिह्नित नहीं है, तो निम्न कोड fooD में कार्यान्वित करने के लिए कॉल करेगा (चाहे d के गतिशील प्रकार के बावजूद)।

D& d = ...; 
d.foo(); 

हालांकि, निम्नलिखित कार्यक्रम में, ऐसा नहीं है। क्या कोई इसे समझा सकता है? क्या यह विधि स्वचालित रूप से आभासी है यदि यह वर्चुअल फ़ंक्शन को ओवरराइड करता है?

#include <iostream> 

using namespace std; 

class C { 
public: 
     virtual void foo() { cout << "C" << endl; } 
}; 

class D : public C { 
public: 
     void foo() { cout << "D" << endl; } 
}; 

class E : public D { 
public: 
     void foo() { cout << "E" << endl; } 
}; 

int main(int argc, char **argv) 
{ 
     E& e = *new E; 
     D& d = *static_cast<D*>(&e); 
     d.foo(); 
     return 0; 
} 

उपरोक्त कार्यक्रम के उत्पादन में है:

E 

Answer 1

स्टैंडर्ड 10.3.2 (class.virtual) का कहना है:

एक आभासी सदस्य समारोह VF, एक वर्ग बेस में और एक वर्ग के व्युत्पन्न में घोषित किया जाता है, तो बेस, एक सदस्य समारोह VF से प्रत्यक्ष या परोक्ष रूप व्युत्पन्न बेस :: वीएफ घोषित होने के समान नाम और समान पैरामीटर सूची के साथ, व्युत्पन्न :: vf भी वर्चुअल है (चाहे वह घोषित किया गया हो या नहीं) और यह ओवरराइड करता है *

[फुटनोट: एक ही नाम वाला फ़ंक्शन लेकिन वर्चुअल फ़ंक्शन के रूप में एक अलग पैरामीटर सूची (क्लॉज ओवर) आवश्यक रूप से वर्चुअल नहीं है और ओवरराइड नहीं करता है। ओवरराइडिंग फ़ंक्शन की घोषणा में आभासी विनिर्देशक का उपयोग कानूनी है लेकिन अनावश्यक (खाली अर्थशास्त्र है)। ओवरराइडिंग निर्धारित करने में एक्सेस कंट्रोल (क्लॉज क्लास.एसीसी) पर विचार नहीं किया जाता है। --- अंत foonote]

Answer 2

त्वरित जवाब नहीं हो सकता है लेकिन सही जवाब है हाँ

सी ++ समारोह छिपने के बारे में पता नहीं है, इसलिए अधिभावी आभासी कीवर्ड वर्चुअल कीवर्ड अंक के बिना वर्चुअल फ़ंक्शन वर्चुअल फ़ंक्शन।

Answer 3

आप ई की वस्तु की कोई प्रति नहीं बना रहे हैं और इसे डी में डाल रहे हैं। तो d.foo() सामान्य बहुलक व्यवहार का पालन करता है और व्युत्पन्न वर्ग विधि को कॉल करता है। बेस क्लास में वर्चुअल के रूप में घोषित एक विधि व्युत्पन्न कक्षा में स्वचालित रूप से आभासी हो जाती है।

Answer 4

आउटपुट ("ई") बिल्कुल व्यवहार करता है जैसा कि किसी से व्यवहार करने की अपेक्षा करता है।

कारण: उस संदर्भ का गतिशील (यानी रनटाइम) प्रकार ई है। आप डी को स्थिर अपस्टास्टिंग कर रहे हैं, लेकिन यह पाठ्यक्रम के वास्तविक प्रकार को वास्तविक रूप से नहीं बदलता है।

वर्चुअल विधियों और गतिशील प्रेषणों के पीछे यह बहुत ही विचार है: आप इस प्रकार के मामले में तत्काल, जिस प्रकार आप ई थे, का व्यवहार देखते हैं।