एक vtable में डुप्लिकेट फ़ंक्शन क्यों नहीं हो सकते हैं?

Question

एक परियोजना है, जिसमें तरह एक इंटरफ़ेस वर्ग है कल्पना कीजिए निम्नलिखित:

struct Interface 
{ 
    virtual void f()=0; 
    virtual void g()=0; 
    virtual void h()=0; 
}; 

मान लीजिए कि कहीं और, किसी एक वर्ग इस इंटरफेस को लागू है, जिसके लिए f, g, h सभी एक ही काम करते हैं बनाने के लिए चाहता है ।

struct S : Interface 
{ 
    virtual void f() {} 
    virtual void g() {f();} 
    virtual void h() {f();} 
}; 

तो यह S जिसकी प्रविष्टियों S::f करने के लिए सभी संकेत दिए गए हैं के लिए एक vtable उत्पन्न करने के लिए, इस प्रकार रैपिंग कार्यों g और h के लिए एक कॉल की बचत एक वैध अनुकूलन होगा।

vtable की सामग्री मुद्रण, हालांकि, पता चलता है कि इस अनुकूलन नहीं किया जाता है:

S s; 
void **vtable = *(void***)(&s); /* I'm sorry. */ 
for (int i = 0; i < 3; i++) 
    std::cout << vtable[i] << '\n'; 

0x400940
0x400950
0x400970

साथ -O3 या -Os नहीं है संकलन प्रभाव, जैसा कि क्लैंग और जीसीसी के बीच स्विचिंग करता है।

यह अनुकूलन अवसर क्यों चूक गया है?

फिलहाल, इन अनुमान है कि मैं पर विचार किया है (और अस्वीकार कर दिया) कर रहे हैं:

1. vtable मुद्रण कोड वास्तव में कचरा प्रिंट करता है।
2. प्रदर्शन सुधार बेकार माना जाता है।
3. एबीआई इसे प्रतिबंधित करता है। क्योंकि ...

   // somewhere-in-another-galaxy.hpp 
   struct X : S { 
       virtual void f(); 
   }; 
   
   // somewhere-in-another-galaxy.cpp 
   include <iostream> 
   void X::f() { 
       std::cout << "Hi from a galaxy far, far away! "; 
   } 
   

   एक संकलक आपका अनुकूलन लागू करता है यदि यह कोड काम नहीं होगा

Answer 1

इस तरह के अनुकूलन मान्य नहीं है।

Interface* object = new X; 
object->g(); 

मेरे अनुवाद इकाई का एक संकलक अपनी कक्षा आंतरिक कार्यान्वयन के बारे में पता नहीं है तो ग्राम() और ज() यह सिर्फ VFT 'अपने वर्ग के संबंधित प्रविष्टियों के लिए आभासी कार्यों तालिका संदर्भ' मेरी कक्षा में डालता है के लिए ।