上一篇就多态做了简单的介绍,但还是对多态的运行很迷,那我们就来虚函数内部是怎么操作的?
(一)单继承中的虚函数(无虚拟继承)
#include<iostream>
using namespace std;
class A
{
public:
virtual void Funtest1()
{
cout<<"A::Funtest1()"<<endl;
}
virtual void Funtest2()
{
cout<<"A::Funtest2()"<<endl;
}
int _a;
};
class B:public A
{
public:
virtual void Funtest1()//实现函数重写
{
cout<<"B::Funtest1()"<<endl;
}
virtual void FunTest3()
{
cout<<"B::FunTest3()"<<endl;
}
int _b;
};
void Fun()
{
cout<<sizeof(B)<<endl; //12
A a;
B b;
a._a=1;
b._a=2;
b._b=3;
}
int main()
{
Fun();
system("pause");
return 0;
}
分析如下:
注:单继承通常通过在每个对象内包含一个vptr指针来实现虚拟函数,vptr指针指向一个叫做vtbl的函数指针向量(称为虚拟函数表,也叫V表)。虚函数按照其声明顺序存在于虚表中。
为了验证我们上面所分析的准确无误,下面定义一个Printv函数,打印虚表所指向的函数~
typedef void (*pFunc)();//定义一个函数指针类型
其中void (*pFunc)();//是函数指针变量
typedef void (*pFunc)();
void Printv(A& a)//用来打印虚表所指向的函数
{
pFunc* c=(pFunc*)(*(int*)&a); //定义一个函数指针
while(*c)
{
(*c)();
c++;
}
}
运行结果:
说明前面的分析无误
(二)单继承中的虚函数(有虚拟继承)
using namespace std;
typedef void (*pFunc)();
class A
{
public:
virtual void Funtest1()
{
cout<<"A::Funtest1()"<<endl;
}
virtual void Funtest2()
{
cout<<"A::Funtest2()"<<endl;
}
int _a;
};
class B:virtual public A
{
public:
virtual void Funtest1()//实现函数重写
{
cout<<"B::Funtest1()"<<endl;
}
virtual void FunTest3()
{
cout<<"B::FunTest3()"<<endl;
}
int _b;
};
void Printv(B& b)
{
pFunc* c=(pFunc*)(*(int*)&b);
while(*c)
{
(*c)();
c++;
}
}
void Fun()
{
cout<<sizeof(B)<<endl;//20 为什么呢?
A a;
B b;
a._a=1;
b._a=2;
b._b=3;
Printv(b);
}
int main()
{
Fun();
system("pause");
return 0;
}
为什么只加了个虚拟继承,派生类的大小就变成了20呢?看内存观变化:
(三)多继承(无虚拟继承)
class A
{
public:
virtual void Funtest1()
{
cout<<"A::Funtest1()"<<endl;
}
virtual void Funtest2()
{
cout<<"A::Funtest2()"<<endl;
}
int _a;
};
class B
{
public:
virtual void FunTest3()
{
cout<<"B::FunTest3()"<<endl;
}
virtual void FunTest4()
{
cout<<"B::FunTest4()"<<endl;
}
int _b;
};
class C: public A, public B
{
public:
virtual void Funtest1()//实现函数重写
{
cout<<"C::Funtest1()"<<endl;
}
virtual void FunTest3()
{
cout<<"C::FunTest3()"<<endl;
}
virtual void FunTest5()
{
cout<<"C::FunTest5()"<<endl;
}
int _c;
};
void Fun()
{
cout<<sizeof(C)<<endl;
A a;
B b;
C c;
a._a=1;
b._b=2;
c._a=3;
c._b=4;
c._c=5;
}
int main()
{
Fun();
system("pause");
return 0;
}
派生类内存分布:
(四)菱形继承
using namespace std;
typedef void (*pFunc)();
class A
{
public:
virtual void Funtest1()
{
cout<<"A::Funtest1()"<<endl;
}
virtual void Funtest2()
{
cout<<"A::Funtest2()"<<endl;
}
int _a;
};
class B:virtual public A
{
public:
virtual void FunTest1()
{
cout<<"B::FunTest1()"<<endl;
}
virtual void FunTest3()
{
cout<<"B::FunTest3()"<<endl;
}
int _b;
};
class C:virtual public A
{
public:
virtual void Funtest2()//实现函数重写
{
cout<<"C::Funtest2()"<<endl;
}
virtual void FunTest4()
{
cout<<"C::FunTest4()"<<endl;
}
int _c;
};
class D: public B,public C
{
public:
virtual void Funtest1()//实现函数重写
{
cout<<"D::Funtest1()"<<endl;
}
virtual void FunTest3()
{
cout<<"D::FunTest3()"<<endl;
}
virtual void FunTest4()
{
cout<<"D::FunTest4()"<<endl;
}
virtual void FunTest5()
{
cout<<"D::FunTest5()"<<endl;
}
int _d;
};
void Fun()
{
cout<<sizeof(D)<<endl; //36 具体为什么看图解
D d;
d._a=1;
d._b=2;
d._c=3;
d._d=4;
}
int main()
{
Fun();
system("pause");
return 0;
}
D模型分析