多态
静态的多态 编译阶段就确定下来 模板
动态的多态 运行时确定下来 继承 ,虚函数
c++运行时的多态性主要通过虚函数来实现的,体现在具体继承关系和子类之间,子类重新定义父类的成员函数成为覆盖或重写。
析构函数也可以写成虚函数,虚析构在一个基类指针删除派生类的对象时,派生类的析构会被调用。
#include<iostream>
using namespace std;
class Base1
{
public:
Base1()
{
cout<<"B1"<<endl;
}
virtual ~Base1()
{
cout<<"~B1"<<endl;
}
virtual void fun()
{
cout<<"fun()"<<endl;
}
};
class Base2
{
public:
Base2()
{
cout<<"B2"<<endl;
}
~Base2()
{
cout<<"~B2"<<endl;
}
};
class Derive1:public Base1
{
public:
Derive1()
{
cout<<"Derive1"<<endl;
}
~Derive1()
{
cout<<"~Derive1"<<endl;
}
void fun()
{
cout<<"fun()"<<endl;
}
};
int main()
{
Base1* B1 = new Derive1;
B1->fun();
delete B1;
return 0;
}
打印结果如下
析构没有虚函数的结果
虚函数调用过程,虚函数表,虚函数运行时放在哪块内存上
c++在编译阶段没有办法知道一个基类的指针或引用所指对象的类型,所以没有办法通过这个指针判断判断调用的虚函数是谁的,所以只能通过查找虚函数表来找到函数的入口地址。
如果一个类有虚函数·,那么编译器在编译的时候就会为它加一个虚函数表,以及指向虚函数的指针。继承这个基类的子类会给子类加一个虚函数表以及指向虚函数表的指针。这个基类的子类也会建立虚函数表。没有重载的话,这个子类的虚函数指针拷贝父类的拷贝父类该函数的地址,不然为新的函数的地址。子类中虚函数表以编译器将这些函数指针在虚函数表中按照基类中该函数的的次序排列。
每个虚函数的类都有一个虚函数的指针pv,当通过指针引用调用一个虚函数的时候,先通过pv找到虚函数表,找到虚函数表后根据这个虚函数在虚函数表中的偏移量来找到正确的函数地址,然后CALL它;
虚函数表是在类外的,一个类的大小不包括虚函数表的大小,但虚函数指针包含在类中,类的大小包含虚函数的指针。
1 无虚函数 有一个空函数(有无不影响)
#include<iostream>
#include<stddef.h>
using namespace std;
class Base1
{
public:
Base1()
{
cout<<"B1"<<endl;
}
~Base1()
{
cout<<"~B1"<<endl;
}
void fun()
{
cout<<"fun()"<<endl;
}
int a;
int b;
};
打印类的大小,参数的偏移量
cout<<sizeof(Base1)<<endl;
cout<<offsetof(Base1,a)<<endl;
cout<<offsetof(Base1,b)<<endl;
结果如下
2有一个虚函数
virtual void fun()
{
cout<<"fun()"<<endl;
}
类在有一个虚函数的时候
类的大小,参数的偏移量
3有多个虚函数
这时再加一个虚函数
virtual void fun2()
{
cout<<"fun2()"<<endl;
}
类的大小,参数的偏移量
4有一个继承
class Derive1:public Base1
{
public:
Derive1()
{
cout<<"Derive1"<<endl;
}
~Derive1()
{
cout<<"~Derive1"<<endl;
}
int der1;
int der2;
};
打印
cout<<sizeof(Derive1)<<endl;
cout<<offsetof(Derive1,der1)<<endl;
cout<<offsetof(Derive1,der2)<<endl;
类的大小,参数的偏移量
内存布局
_vfptr 4位 [0]->&Derive1::fun() [1]->&Derive1::fun2()
a 4位
b 4位
der1 4位
der2 4位
5继承存在虚函数覆盖
派生类中的fun(