C++ RTTI Vererbung bewirkt, dass die Klassengröße zunimmt

Question

In C++ ist das Problem einfach.

Ich habe 2 Klassen eine das andere im Rahmen ihrer Umsetzung enthält.

struct A 
{ 
    void do_something() 
    { 
    }; 
}; 

struct B 
{ 
    A obj_A; 
    void hello_world() 
    { 
    }; 
}; 

Das Problem ist jetzt, dass Struktur B ein Byte größer ist, wenn ein Teil von B ist, wenn ein I sizeof (B) und Objekt vom Typ B. A tun, ist 100% nur einzige nicht-virtuelle gehen schließen Mitglieder (keine virtuelle Tabelle erforderlich) und es ist keine Typid-Prüfung erforderlich. Gibt es eine Möglichkeit (wie eine Compiler-Direktive), das nicht benötigte Byte vollständig aus B zu entfernen, aber trotzdem die Mitgliedsfunktion von A durch B zu erreichen?

Ich kann nur davon ausgehen, das zusätzliche Byte ist ein Compiler char * zu A den Namen "A" hinzugefügt, aber alle anderen Ideen können hilfreich sein.

Answer 1

Sie erwähnen Compiler leider nicht.

Wie auch immer, in dem Code, den Sie posten, ist die Klasse A ein Kandidat für die "Empty Base Class Optimization". Dies ist ein Teil des C++ - Standards, der besagt, dass eine Basisklasse ohne Membervariablen so optimiert werden kann, dass sie keine Bytes aufnimmt.

B muss nach dem C++ - Standard Platz einnehmen, da es mindestens ein Member (nämlich obj_A) enthält.

Sie können die Mitgliedsfunktion von A direkt von B aus aufrufen, indem Sie do_something() aufrufen. Keine Magie ist nötig.

Answer 2

sizeof (A) kann nicht 0 sein, weil jeder Teil eines Objekts sein sollte „adressierbar“ (das ist eine andere Adresse haben sollte, wenn wir Operator &)

struct A 
{ 
}; 

struct B 
{ 
    A m_a1; 
    A m_a2; 
}; 

void test() 
{ 
    B b; 
    A* pa1 = &b.m_a1; 
    A* pa2 = &b.m_a2; 

    // "pa1" need to be different from "pa2" 
}