sizeof与类

问：定义一个空类型，里面没有任何成员变量和成员函数，对该类型求sizeof，得到的结果为？

答：1。

问：为什么不是0？

答：空类型的实例中不包含任何信息，本来求其sizeof应为0，但当声明该类型的实例时，它必须在内存中占有一定的空间，否则无法使用

　　这些实例。而其所占空间的大小，由编译器决定。VS中，每个空类型的实例占用1字节的空间。【linux下实践也为1】

问：如果在该类型中添加一个构造函数和析构函数，再对该类型求sizeof，得到的结果为？

答：仍为1。因为调用构造函数和析构函数只需要知道函数的地址即可，而这些函数的地址只与类型相关，而与类型的的实例无关，编译器

　　也不会因为这两个函数而在实例内添加任何额外的信息。

问：如果把析构函数标记为虚函数呢？

答：C++的编译器一旦发现一个类型中有虚函数，就会为该类型生成虚函数表，并在该类型的每一个实例中添加一个指向虚函数表的指针。

　　在32位机器上，一个指针占4字节的空间，因此求sizeof为4；同样的，64位机器上，一个指针占8个字节，求sizeof为8。　

总结：类的sizeof一般是看类的非静态、非全局成员，但涉及虚函数、虚继承就会有所不同。如果有虚函数，就应该加上一个指向虚表的指针。

具体实例：

空类　　
```
class Base
{
}；
```
sizeof(Base) = 1
简单的类
```
class Base
{
    int value;
    virtual void fun();
};
```
sizeof(Base) = sizeof(Base.a) + 4(指向虚标的指针) = 8
子类普通继承、父类中不含虚函数
```
class Base
{
    int a;
};

class Derive : public Base
{
    int b;
    virtual void fun();
};
```
sizeof(Derive) = sizeof(Base) + sizeof(Derived.b) + 4(指向虚标的指针) = 12
子类普通继承、父类含虚函数
```
class Base
{
    int a;
    virtual void fun1();
};

class Derive : public Base
{
    int b;
    virtual void fun();
};
```
sizeof(Derive) = sizeof(Base)(已包含指向虚标的指针) + sizeof(Derived.b) = 12【对于普通继承，子类和父类的虚函数放在同一个虚表中，只需保存一个虚表的指针即可】
子类虚继承、父类不含虚函数
```
class Base
{
    int a;
};

class Derive : virtual public Base
{
    int b;
    virtual void fun();
};
```
sizeof(Derive) = sizeof(Base)(对需基类的拷贝) + 4(指示父类存放空间的起始偏移地址，指向虚基类指针) + sizeof(Derived.b) + 4(指向子类的虚表指针) = 16　　　　
子类虚继承、父类含虚函数
```
class Base
{
    int a;
    virtual void fun1();
};

class Derive : virtual public Base
{
    int b;
    virtual void fun();
};
```
sizeof(Derive) = sizeof(Base)(对需基类的拷贝) + 4(指示父类存放空间的起始偏移地址，指向虚基类指针) + sizeof(Derived.b) + 4(指向子类的虚表指针) = 16

　　　　　　注意：虚继承是为解决多重继承而出现的。虚继承时，父类和子类的虚函数表分开放（正常情况下是一张表），所以，分别存储

　　　　　　　　　两个指向虚表的指针，而无需减去基类的虚表指针。

参考：《剑指offer》

　　　虚表机制

　　虚函数实现机制

　　　http://blog.sina.com.cn/s/blog_728161840100u2ib.html