C++类对象大小的计算(三)含有虚函数、虚继承类大小计算

在前一篇文章《C++类对象大小的计算(二)含有虚函数类大小计算》的基础上，我们来讨论如果包含虚函数时，对类对象大小的影响。

以下内存测试环境为Win7+VS2012，操作系统为32位

六、当类中含有虚继承情况时

    1. 派生类对象中会添加一个指针，该指针指向虚继承的基类，称为虚类指针(cPtr)。每一个指针只指向其中一个虚继承的类，也就是说，虚继承了几个类，就会有几个cPtr。

    2. 父类当中的成员变量、虚函数指针(vPtr)、虚类指针(cPtr)仍然会被复制到派生类当中。但在不同继承模式下，vPtr和cPtr的效果是不同的。

        vPtr：普通继承时，子类当中如果有虚函数，会直接在父类的虚函数表中添加或者替换相应的选项；虚继承时，vPtr指向的基类虚表不可以再增加了；如果在派生类添加虚函数，分为三种情况：

          情况一：虚函数名称与父类当中的某个虚函数名相同，且派生类含有构造函数，会在结构体中产生一个和虚基类有关的vtordisp指针，该指针作用暂未知。

          情况二：虚函数名称与父类当中的某个虚函数名相同，且派生类不含构造函数，会直接修改基类虚函数表，类大小不变。

          情况三：虚函数名称与父类当中的任何一个虚函数都不同，需要重新添加一个vPtr，重新产生一个虚函数表，大小就会增加。

        cPtr：假设子类D同时继承了父类B和父类C，两个父类都虚继承了类A（A是无任何虚继承的类），根据子类D对B、C继承方式的不同，其cPtr的个数也是不同的

          (1). 父类B、C都是普通继承。这种情况下有两个cPtr，分别是从父类B和父类C中继承过来的，且指向虚继承的A。

          (2). 父类C是虚继承，B是普通继承时(或相反情况)。普通继承父类B时已经继承过A(有了一个cPtr)，因此在虚继承父类C时，父类C虚继承的类A就不会再次继承，因此不会有第二个cPtr指向A。虚继承父类C也会产生一个cPtr。因此，此种情况下有两个cPtr。

          (3). 父类B、C都是虚继承。此时指向类A的cPtr仍然只有一个，另外有两个cPtr指向父类B、C，所以一共有三个cPtr。

        下面以几个例子来理解一下上面所说内容：

         情况一：类B虚继承类A，类C虚继承类A，类D普通继承类B、C，各类中均不包含虚函数

#include <iostream>
using namespace std;

class A {
public:
	A(int x=0) {
		cout<<"A"<<x<<endl;
	}
};
class B : virtual public A {
public:
	B(int x=0) {
		cout<<"B"<<x<<endl;
	}
};

class C : virtual public A {
public:
	C() {
		cout<<"C"<<endl;
	}

};
class D : public B, public C {
public:
	D() {
		cout<<"D"<<endl;
	}

};
int main() {
	A a;
	B b;
	C c;
	D d;
	cout<<"size of a:"<<sizeof(a)<<endl;
	cout<<"size of b:"<<sizeof(b)<<endl;
	cout<<"size of c:"<<sizeof(c)<<endl;
	cout<<"size of d:"<<sizeof(d)<<endl;
	return 0;
}

VS类结构图：

运行结果为：

类B、C虚继承了类A，因此都拥有一个cPtr(类图中用vbptr表示)，因此大小为4。类D普通继承了B、C，因此复制了两者的cPtr(都指向类A)，大小为8。

         情况二：类B虚继承类A，类C普通继承类A，类A、B、C中都包含有虚函数

#include <iostream>
using namespace std;

class A {
public:
	A(int x=0) {
		cout<<"A"<<x<<endl;
	}
	virtual void printA() {
		cout<<"Hello A"<<endl;
	}
};
class B :virtual  public A {
public:
	B(int x=0) {
		cout<<"B"<<x<<endl;
	}
	virtual void printA() {
		cout<<"Hello A"<<endl;
	}
};

class C : public A {
public:
	C() {
		cout<<"C"<<endl;
	}
	virtual void printA() {
		cout<<"Hello A"<<endl;
	}
};

int main() {
	A a;
	B b;
	C c;
	cout<<"size of a:"<<sizeof(a)<<endl;
	cout<<"size of b:"<<sizeof(b)<<endl;
	cout<<"size of c:"<<sizeof(c)<<endl;
	return 0;
}

VS类结构图：

运行结果为：

类A当中因为有虚函数，存在一个vPtr，因此结果为4。类B复制了类A的vPtr和虚函数表，产生了指向类A的cPtr；因为是类B是虚继承了类A，且类B当中又有与类A中同名的虚函数，因此根据vPtr情况一所示，也就有了一个新的vtordisp指针；共三个指针，因此大小为12。类C是普通继承类A，复制了类A的虚函数表和vPtr，它的虚函数也就添加在了这个虚函数表中，因此也只有一个指针，大小为4。

        情况三：类A为空类；类B、C都虚继承了类A；类D普通继承了类B、C；类E普通继承了类B，虚继承了类C；类F虚继承了类B、C，所有类均没有虚函数

#include <iostream>
using namespace std;

class A {
public:
	A(int x=0) {
		cout<<"A"<<x<<endl;
	}
};
class B :virtual  public A {
public:
	B(int x=0) {
		cout<<"B"<<x<<endl;
	}
};

class C :virtual public A {
public:
	C() {
		cout<<"C"<<endl;
	}
};

class D : public C,  public B {
public:
	D() {
		cout<<"D"<<endl;
	}

};
class E :virtual public C,  public B {
public:
	E() {
		cout<<"E"<<endl;
	}
};
class F :virtual public C, virtual public B {
public:
	F() {
		cout<<"F"<<endl;
	}
};
int main() {
	A a;
	B b;
	C c;
	D d;
	E e;
	F f;
	cout<<"size of a:"<<sizeof(a)<<endl;
	cout<<"size of b:"<<sizeof(b)<<endl;
	cout<<"size of c:"<<sizeof(c)<<endl;
	cout<<"size of d:"<<sizeof(d)<<endl;
	cout<<"size of e:"<<sizeof(e)<<endl;
	cout<<"size of f:"<<sizeof(f)<<endl;
	return 0;
}

VS类结构图：

运行结果为：

类A、B、C的大小不做过多讨论；类D直接复制了类B和C当中指向类A的cPtr，因此是两个指针，大小为8；类E中复制了类B当中指向类A的cPtr，继承类C时因为虚继承关系不会再一次继承类A，只会产生一个指向类C的cPtr，因此只有两个指针， 大小为8；类F除了类E中的两个指针外，又产生了指向类B的cPtr，一共三个指针，大小为12。

        情况四：情况三包含虚函数时

#include <iostream>
using namespace std;

class A {
public:
	A(int x=0) {
		cout<<"A"<<x<<endl;
	}
	virtual void printA() {
		cout<<"Hello A"<<endl;
	}
};
class B :virtual  public A {
public:
	B(int x=0) {
		cout<<"B"<<x<<endl;
	}
	virtual void printB() {
		cout<<"Hello B"<<endl;
	}
};

class C :virtual public A {
public:
	C() {
		cout<<"C"<<endl;
	}
	virtual void printC() {
		cout<<"Hello C"<<endl;
	}
};

class D : public C,  public B {
public:
	D() {
		cout<<"D"<<endl;
	}
	virtual void printD() {
		cout<<"Hello D"<<endl;
	}
};

class E :virtual public C,  public B {
public:
	E() {
		cout<<"E"<<endl;
	}
	virtual void printE() {
		cout<<"Hello E"<<endl;
	}
};
class F :virtual public C, virtual public B {
public:
	F() {
		cout<<"F"<<endl;
	}
	virtual void printF() {
		cout<<"Hello F"<<endl;
	}
};
int main() {
	A a;
	B b;
	C c;
	D d;
	E e;
	F f;
	cout<<"size of a:"<<sizeof(a)<<endl;
	cout<<"size of b:"<<sizeof(b)<<endl;
	cout<<"size of c:"<<sizeof(c)<<endl;
	cout<<"size of d:"<<sizeof(d)<<endl;
	cout<<"size of e:"<<sizeof(e)<<endl;
	cout<<"size of f:"<<sizeof(f)<<endl;
	return 0;
}

VS类结构图：

运行结果为：

类B、C都复制了类A的vPtr，但由于都是虚继承类A且他们当中的虚函数与类A中虚函数不同名，因此需要重新产生新的vPtr和虚函数表，加上各自的cPtr，都有三个指针，大小为12。类D和类E当中都有普通继承，因此不需要产生新的vPtr。按照前面分析，类D中包含两个指向类A的cPtr，三个vPtr(分别指向类A、类B、类C的，类D虚函数放在了类B或类C的vPtr指向的虚函数表中)；类E中包含cPtr，分别指向类A、类C，三个vPtr(分别为类A、类B、类C的，类E的虚函数放在了类B的vPtr指向的虚函数表中)；类F中包括三个cPtr(分别指向类A，类B，类C)，四个vPtr(分别为类A，类B，类C，还有因为类F中虚函数而新创建的)，共七个指针，大小为28。

至此，所有关于windows下C++类大小的分析已经全部写完，需要特别注意的是，以上所有结果都是在用微软的C++编译器得到的，经实际测试，相同代码在Linux系统下用g++编译过后会得到完全不同的结果。因此，微软C++编译器对类的处理并不是完全按照C++标准来的。

由于C++是一门很复杂的语言，其中的规则很多，细节也很多。这三篇博客中写的内容定有不妥之处，欢迎各位指正。