आभासी सदस्य कार्यों के लिए पॉइंटर्स। यह कैसे काम करता है?

Question

निम्नलिखित सी ++ कोड पर विचार करें:

class A 
{ 
public: 
     virtual void f()=0; 
}; 


int main() 
{ 
    void (A::*f)()=&A::f; 
} 

मुझे लगता है कि करने के लिए है चाहते हैं, तो मैं कहता हूँ चाहते हैं कि & एक :: इस संदर्भ में च मतलब होगा "च के एक के कार्यान्वयन का पता()", चूंकि नियमित सदस्य कार्यों और आभासी सदस्य कार्यों के लिए पॉइंटर्स के बीच कोई स्पष्ट पृथक्करण नहीं होता है। और चूंकि ए f() को लागू नहीं करता है, यह एक संकलित त्रुटि होगी। हालांकि, यह नहीं है।

और न केवल वह। निम्नलिखित कोड:

void (A::*f)()=&A::f; 
A *a=new B;   // B is a subclass of A, which implements f() 
(a->*f)(); 

वास्तव में बी :: एफ कॉल करेगा।

यह कैसे होता है?

Answer 1

यहां सदस्य फ़ंक्शन पॉइंटर्स के बारे में बहुत अधिक जानकारी है। "द वेल-बेहेवड कंपाइलर्स" के तहत वर्चुअल फ़ंक्शंस के बारे में कुछ चीजें हैं, हालांकि आईआईआरसी जब मैंने लेख पढ़ा था तो मैं उस हिस्से को छोड़ रहा था, क्योंकि लेख वास्तव में सी ++ में प्रतिनिधियों को लागू करने के बारे में है।

http://www.codeproject.com/KB/cpp/FastDelegate.aspx

संक्षिप्त उत्तर है कि यह संकलक पर निर्भर करता है, लेकिन एक संभावना है कि सदस्य समारोह सूचक एक struct एक "thunk" समारोह जो आभासी कॉल करता है के लिए सूचक युक्त के रूप में कार्यान्वित किया जाता है है।

Answer 2

यह काम करता है क्योंकि मानक कहता है कि यह कैसे होना चाहिए। मैंने जीसीसी के साथ कुछ परीक्षण किए, और यह वर्चुअल फ़ंक्शंस के लिए निकला, जीसीसी बाइट्स में प्रश्न के वर्चुअल टेबल ऑफसेट को प्रश्न में संग्रहीत करता है।

struct A { virtual void f() { } virtual void g() { } }; 
int main() { 
    union insp { 
    void (A::*pf)(); 
    ptrdiff_t pd[2]; 
    }; 
    insp p[] = { { &A::f }, { &A::g } }; 
    std::cout << p[0].pd[0] << " " 
      << p[1].pd[0] << std::endl; 
} 

कि कार्यक्रम आउटपुट 1 5 - उन दो कार्यों की आभासी तालिका प्रविष्टियों की बाइट ऑफसेट। यह इटेनियम सी ++ एबीआई, which specifies that का पालन करता है।

Answer 3

मैं पूरी तरह से निश्चित नहीं हूं, लेकिन मुझे लगता है कि यह केवल नियमित बहुलक व्यवहार है। मुझे लगता है कि &A::f वास्तव में वर्ग के vtable में फ़ंक्शन पॉइंटर का पता है, और यही कारण है कि आपको संकलक त्रुटि नहीं मिल रही है। Vtable में स्थान अभी भी आवंटित किया गया है, और यह वह स्थान है जहां आप वास्तव में वापस आ रहे हैं।

यह समझ में आता है क्योंकि व्युत्पन्न कक्षाएं इन मानों को पॉइंटर्स के साथ अपने कार्यों में अनिवार्य रूप से ओवरराइट करती हैं। यही कारण है कि (a->*f)() आपके दूसरे उदाहरण में काम करता है - f व्युत्पन्न वर्ग में लागू किए गए vtable का संदर्भ दे रहा है।