C++ RTTI Inheritance приводит к увеличению размера класса

Question

В C++ проблема проста.

У меня есть 2 класса, один содержит другой как часть его реализации.

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

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

Теперь проблема заключается в том, что структура В один байт больше, если А является частью B, когда я делать SizeOf (B) и объект типа B. А 100% только будет включать в себя только невиртуальном членов (нет необходимости в виртуальной таблице), и нет необходимости в проверке типа. Есть ли способ (например, директива компилятора) полностью удалить ненужный байт из B, но все же получить доступ к функции члена A через B?

Я могу только предположить, что дополнительный байт - это компилятор, добавленный char * к имени A «A», но любые другие идеи могут быть полезны.

Answer 1

Вы, к сожалению, не упомянули компиляторы.

В любом случае, в коде, который вы публикуете, класс A является кандидатом на «Оптимизацию пустого базового класса». Что является частью стандарта C++, в котором говорится, что базовый класс без переменных-членов можно оптимизировать, чтобы не принимать никаких байтов.

B должен по стандарту C++ занимать пространство, так как он содержит хотя бы один элемент (а именно obj_A).

Вы можете получить доступ к функции-члену A непосредственно изнутри B, вызвав do_something(). Магии не требуется.

Answer 2

SizeOf (A) не может быть 0, потому что каждая часть объекта должна быть «adressable» (то есть должен иметь другой адрес, когда мы используем оператор &)

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" 
}