C++ wirtualny układ tabeli MI (wielokrotne dziedziczenie)

Question

spojrzeć na następujące C++ kod

class Base1 { 
public: 
    Base1(); 
    virtual ~Base1(); 
    virtual void speakClearly(); 
    virtual Base1 *clone() const; 
protected: 
    float data_Base1; 
}; 

class Base2 { 
public: 
    Base2(); 
    virtual ~Base2(); 
    virtual void mumble(); 
    virtual Base2 *clone() const; 
protected: 
    float data_Base2; 
}; 

class Derived : public Base1, public Base2 { 
public: 
    Derived(); 
    virtual ~Derived(); 
    virtual Derived *clone() const; 
protected: 
    float data_Derived; 
}; 

"wnętrze C++ Object Model" 4,2 mówi, że wirtualny układ tabeli klasy Bazowa1, Base2 i pochodny jest jak to:

Moje pytanie brzmi:

wirtualna tabeli SubObject Base1 klasy Derived zawiera Base2::mumble. Dlaczego? Wiem, że wiem, że klasa Derived udostępniła ten wirtualny stół z Base1, więc myślę, że funkcja Base2 nie powinna się tutaj pojawiać. Czy ktoś mógłby mi powiedzieć, dlaczego? Dzięki.

Answer 1

Po pierwsze, wszystkim przypomnę, że projekt rozwiązania polegający na wdrożeniu polimorfizmu jest decyzją ABI poza standardem. Na przykład MSVC i Itanium ABI (a następnie gcc, clang, icc, ...) mają różne sposoby realizacji tego.

Wychodząc z tego, myślę, że jest to optymalizacja pod kątem wyszukiwania.

Ilekroć masz Derived obiekt (lub jeden z jego potomka) i odnośnika elementu mumble, nie trzeba się rzeczywiście dowiedzieć się Base2 podobiekt ale może bezpośrednio działać z Base1 podobiektu (którego adres pokrywa się z Derived podobiektu, więc nie ma udziału w arytmetyce).

Answer 2

W czasie wykonywania, gdy pojawi się:

Base2 b2; 
    Base1* b1_ptr = (Base1*)&b2; 
    b1_ptr->mumble(); // will call Base2::mumble(), this is the reason. 

wtedy Base2 :: Mambo() musi być wywołana! Należy zwrócić uwagę, że mumble() jest TYLKO wirtualną metodą, która została nadpisana w hierarchii. (Nawet, możesz pomyśleć, że clone() jest overriden zbyt, ale który zwraca inny typ wśród klas, to jest inny podpis).