从具有虚函数的基类继承的类的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

我不知道问题是什么,但我会做胡乱猜测和假设你的事实,混淆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领域.