sizeof для класса, наследующего базовый класс с виртуальной функцией

Question

Для следующего фрагмента кода.

/*This program demonstartes how a virtual table pointer 
* adds to a size of a class*/ 

class A{ 

}; 

class X{ 
    public: 
     void doNothing(){} 
    private: 
     char a; 

}; 

class Z:public X { 

    public: 
     void doNothing(){} 
    private: 
     char z; 

}; 

class Y{ 
    public: 
     virtual void doNothing(){} 
    private: 
     char a; 

}; 

class P:public Y { 

    public: 
     void doNothing(){} 
    private: 
     char pp[4]; 

}; 

int main(){ 
    A a; 
    X x; 
    Y y; 
    Z z; 
    P p; 
    std::cout << "Size of A:" << sizeof(a) << std::endl;// Prints out 1 
    std::cout << "Size of X:" << sizeof(x) << std::endl;//Prints out 1 
    std::cout << "Size of Y:" << sizeof(y) << std::endl;//Prints 8 
    std::cout << "Size of Z:" << sizeof(z) << std::endl; 
//Prints 8 or 12 depending upon wether 4 bytes worth of storrage is used by Z data member. 
    std::cout << "Size of P:" << sizeof(p) << std::endl; 
    std::cout << "Size of int:" << sizeof(int) << std::endl; 
    std::cout << "Size of int*:" << sizeof(int*) << std::endl; 
    std::cout << "Size of long*:" << sizeof(long*) << std::endl; 
    std::cout << "Size of long:" << sizeof(long) << std::endl; 
    return 0; 

} 

поведение мне кажется, нужно заметить, что всякий раз, когда пустой класс инстанциируется или пустой класс наследуется от границы байта не считаются (то есть: объект размером 1 байт разрешено), в любом другом случае размер объекта, по-видимому, определяется границами байтов.

В чем причина этого? Я спрашиваю, с этого момента я догадываюсь.

Answer 1

Здесь explanation: почему размер пустого класса не может быть равен нулю. Что касается того, почему это 1 байт, в отличие от того, что соответствует границам выравнивания, я предполагаю, что это зависит от компилятора.

Answer 2

Я не уверен, что речь идет о, но я сделаю дикое предположение и предположим, что вы смущены тем, что sizeof(A)==1, X производный от A добавив char поле, и в то же время (sizeof(X)==1 вы ожидаете, что он будет 2 - один для A, один для char в X).

Это называется «пустая оптимизация базового класса». В C/C++ объект должен иметь ненулевой размер (ISO C++ 1.8 [intro.object]/5) - это косвенно подразумевает, что каждый объект имеет отдельный адрес, независимо от объединения, поэтому даже для пустого класса он все еще должен быть не менее 1 байт. Однако, когда объектом является подобъект базового класса другого объекта, это ограничение снимается. Таким образом, экземпляр A должен быть не менее 1 байта сам по себе, но когда A является базовым классом другого класса, для этого больше нет требования, и компилятор полностью избавится от этого фиктивного заполнения; поэтому размер X происходит только от его поля char.