व्युत्पन्न वर्ग वर्चुअल फ़ंक्शन को ओवरराइड नहीं करते समय Vptr क्यों आवश्यक है?

Question

class base { 
public: 
    void virtual fn(int i) { 
     cout << "base" << endl; 
    } 
}; 

class der : public base{ 
    public: 
    void fn(char i) { 
     cout << "der" << endl; 
    } 
}; 

int main() { 

    base* p = new der; 
    char i = 5; 
    p->fn(i); 
    cout << sizeof(base); 
    return 0; 
} 

यहाँ समारोह fn base वर्ग में परिभाषित के हस्ताक्षर समारोह fn()der वर्ग में परिभाषित किया गया है, हालांकि समारोह नाम एक ही है के हस्ताक्षर से अलग है। इसलिए, समारोह der वर्ग में परिभाषित खाल base वर्ग समारोह fn()। इसलिए der एफएन के संस्करण को p->fn(i) कॉल द्वारा कॉल नहीं किया जा सकता है; बस ठीक है।

मेरे बिंदु तो यही कारण है कि sizeof वर्ग base या der4 है अगर वहाँ vtable सूचक का कोई उपयोग नहीं है? VTABLE सूचक की आवश्यकता क्या है?

Answer 1

नोट इस अत्यधिक कार्यान्वयन निर्भर & प्रत्येक संकलक के लिए भिन्न हो सकता है है।

vtable की उपस्थिति की आवश्यकता यह है कि बेस क्लास विरासत और विस्तार के लिए है, और इससे प्राप्त होने वाली कक्षा विधि को ओवरराइड कर सकती है।

दो वर्गों बेस और विभिन्न अनुवाद यूनिट और संकलक में रहते हैं हो सकता है, जबकि बेस वर्ग संकलन वास्तव में पता नहीं होगा यदि विधि या overidden किया जाएगा नहीं व्युत्पन्न। इसलिए, यदि यह कीवर्ड virtual पाता है तो यह vtable उत्पन्न करता है।

Answer 2

विरासत एक is-a रिश्ता है। der is-a base है। base आकार 4 है, der कम से कम आकार 4 होगा। vftableptrbase का एक सदस्य है, यह der के एक सदस्य के लिए किया जाएगा।

base, एक आभासी विधि है तो यह आभासी मेज पर एक सूचक है, चाहे आप इसका इस्तेमाल करते हैं या नहीं होगा।

Answer 3

vtable आमतौर पर वर्चुअल फ़ंक्शंस के लिए उपयोग नहीं किया जाता है, लेकिन जब आप कुछ dynamic_cast करते हैं या कक्षा के लिए type_info तक पहुंचते हैं तो कक्षा वर्ग की पहचान करने के लिए भी इसका उपयोग किया जाता है।

यदि कंपाइलर का पता चलता है कि कोई वर्चुअल फ़ंक्शंस कभी ओवरराइड नहीं होता है और अन्य सुविधाओं में से कोई भी उपयोग नहीं किया जाता है, तो यह ऑप्टिमाइज़ेशन के रूप में vtable पॉइंटर को हटा सकता है।

स्पष्ट रूप से संकलक लेखक को ऐसा करने में परेशानी नहीं मिली है। शायद क्योंकि इसका उपयोग अक्सर नहीं किया जाएगा, और क्योंकि आप बेस क्लास से virtual को हटाकर इसे स्वयं कर सकते हैं।

Answer 4

संकलक 'आधार' कक्षा से बाहर vtable सदस्य चर बाहर अनुकूलित नहीं कर सकते, क्योंकि वहाँ एक ही है या किसी अन्य परियोजना के भीतर एक और स्रोत फ़ाइल जो निम्नलिखित शामिल हैं हो सकता है:

struct ived : base { 
    ived() : p(new char[BIG_DATA_SIZE]) {} 
    virtual ~ived(); 
    virtual void fn(int); 
private: 
    char* p; 
}; 

नाशक और fn सकता है कहीं और लागू किया:

0:

ived::~ived() { delete[] p; } 

void ived::fn(int) { 
    cout << "ived" << endl; 
} 

और एक और जगह में कहीं इस तरह कोड हो सकता है

तो, दो समस्याएं होंगी: वर्चुअल फ़ंक्शन ived::fn नहीं कहा जाता है, आभासी विनाशक नहीं कहा जाता है, इसलिए BIG_DATA_SIZE हटाया नहीं गया है। अन्यथा, sizeof(base) यहां अलग होगा। यही कारण है कि संकलक हमेशा वर्चुअल सदस्य फ़ंक्शन या वर्चुअल बेस क्लास वाले किसी भी वर्ग के लिए vtable उत्पन्न करते हैं।

व्युत्पन्न कक्षाओं में विनाशकों को बुलाए जाने के संबंध में, इसे जरूरी माना जाना चाहिए: यदि आपके पास किसी भी वर्चुअल फ़ंक्शन के साथ कोई वर्ग है, तो वह वर्ग आभासी विनाशक घोषित करेगा।