1.引出
我们先来看个例子:
//空类
class A{};
//int成员变量
class B{
int value;
};
//普通成员方法
class C{
void f(){};
};
//虚函数
class D{
virtual void g(){};
};
//两个虚函数
class E{
virtual void g(){};
virtual void h();
};
//int成员方法+普通方法+两个虚函数
class F{
int value;
void f(){};
virtual void g(){};
virtual void h(){};
};
int _tmain(int argc, _TCHAR* argv[])
{
cout<<sizeof(A)<<endl;//大小为1
cout<<sizeof(B)<<endl;//大小为4
cout<<sizeof(C)<<endl;//大小为1
cout<<sizeof(D)<<endl;//大小为4
cout<<sizeof(E)<<endl;//大小为4
cout<<sizeof(F)<<endl;//大小为8
return 0;
}
由此我们可以得出这么几个结论:
(1)空类所占大小为1(和编译器有关),而不是0。
(2)不管有几个虚函数,它共同占有4个指节大小,也就是一个指针(32位下),多重继承会有多个虚函数表。
(3)普通成员方法不占空间。普通成员变量占相应类型大小的空间。
(4)类的大小=是否有虚函数*4+成员变量大小。
这里主要讨论,虚函数占有的指针是什么?其实这个指针保存了一个虚函数表的地址
2.虚函数表
顾名思义,它保存了一系列虚函数的入口地址,以供实例调用,而虚函数表本身的地址保存在实例的开头位置,其余位置放置成员变量。如下:
class Base{
virtual void f(){cout<<"Base::f()";}
virtual void g(){cout<<"Base::g()";}
virtual void h(){cout<<"Base::h()";}
};
内存模型
虚函数表的结尾会有一个结束标志位,跟编译器有关。
3.一般继承,无虚函数覆盖
class Base{
virtual void f(){cout<<"Base::f()";}
virtual void g(){cout<<"Base::g()";}
virtual void h(){cout<<"Base::h()";}
};
class Derive : public Base{
public:
void f1(){}
void g1(){}
void h1(){}
};
类继承关系与内存模型
4.一般继承,有虚函数覆盖
class Base{
virtual void f(){cout<<"Base::f()";}
virtual void g(){cout<<"Base::g()";}
virtual void h(){cout<<"Base::h()";}
};
class Derive : public Base{
public:
void f(){}
void g1(){}
void h1(){}
};
类继承关系与内存模型
5.多重继承,无虚函数覆盖
class Base1{
public:
virtual void f(){cout<<"Base1::f()";}
virtual void g(){cout<<"Base1::g()";}
virtual void h(){cout<<"Base1::h()";}
};
class Base2{
public:
virtual void f(){cout<<"Base2::f()";}
virtual void g(){cout<<"Base2::g()";}
virtual void h(){cout<<"Base2::h()";}
};
class Base3{
public:
virtual void f(){cout<<"Base3::f()";}
virtual void g(){cout<<"Base3::g()";}
virtual void h(){cout<<"Base3::h()";}
};
class Derive : public Base1, public Base2, public Base3{
public:
void f1(){}
void g1(){}
void h1(){}
};
类继承关系与内存模型
6.多重继承,有虚函数覆盖
class Base1{
public:
virtual void f(){cout<<"Base1::f()";}
virtual void g(){cout<<"Base1::g()";}
virtual void h(){cout<<"Base1::h()";}
};
class Base2{
public:
virtual void f(){cout<<"Base2::f()";}
virtual void g(){cout<<"Base2::g()";}
virtual void h(){cout<<"Base2::h()";}
};
class Base3{
public:
virtual void f(){cout<<"Base3::f()";}
virtual void g(){cout<<"Base3::g()";}
virtual void h(){cout<<"Base3::h()";}
};
class Derive : public Base1, public Base2, public Base3{
public:
void f(){}
void g1(){}
void h1(){}
};
类继承关系和内存模型