c++中多态分为静态多态和动态多态:
(1)静态多态:模板和重载
(2)动态多态:继承和虚函数
静态多态就是在程序编译时就确定了所调用的函数,而动态多态是运行时才确定调用的函数。动态多态靠虚函数实现。
虚函数:
虚函数就是在继承中,基类提供一个接口,派生类继承基类,并且也在自己的类中实现了基类的方法,这样就会对基类的方法进行覆盖或者叫重写。当用基类指针指向派生类的对象的时候,实际调用的是派生类的方法。
例如:
class base
{
public:
virtual void fun(){}
};
class A:public base
{
public:
void fun(){}
};
如果:
base *p=new A;
p->fun();
此时,调用的是A类中的fun()方法。
虚函数和纯虚函数:
纯虚函数是一种特殊的虚函数,他的格式为:
class 类名
{
public:
virtul 类型 函数名(){}=0;
};
纯虚函数用来定义没有意义的实现,用于抽象类中需要交给派生类具体实现的方法。意思是,基类中只有纯虚函数的声明没有定义,必须要在派生类中对他进行实现。
哪些方法不能被写成虚函数:
1.构造函数不能写成虚函数。因为虚函数的调用必须是虚函数指针,虚函数指针放在对象的前4个字节,而在构造函数还未完成时,对象并没有产生,更没有虚函数指针来调用虚函数。
2.内联函数不能定义为虚函数。内联函数要求在编译时进行在代码出展开,然而虚函数是要在运行时动态绑定,显然不符合常理。
3.静态方法。静态方法是在编译时确定调用关系的,不是在运行时进行动态绑定的,不支持多态。
4.友元函数不是类的成员方法,不能继承,自然没有虚函数的说法。
类的虚函数表
含有虚函数的类都会有一张虚函数表来存放虚函数的地址,虚函数指针指向这个表,并且在运行时,通过虚函数指针调用虚函数,这就是多态的实现。
举个栗子:
class base
{
public:
virtual void fun(){}
private:
int base=10;
};
在·vs2013中他的内存布局如下:
可以看出,基类base前4个字节是一个vfptr指针,这就是虚函数指针。vftable是虚函数表,表里放的是指针偏移,和虚函数fun的地址。
虚继承
虚继承主要解决菱形继承问题。
举个栗子:
class base
{
public:
virtual void fun()
{
cout << "base" << endl;
}
void fun2(){}
private:
int ba_se=10;
};
class A : public base
{
public:
virtual void fun()
{
cout << "class A" << endl;
}
private:
int a;
};
class B : public base
{
public:
virtual void fun()
{
cout << "class B" << endl;
}
private:
int b;
};
class D :public A,B
{
public:
virtual void fun()
{
cout << "class D" << endl;
}
private:
int d;
};
菱形继承:
就是两个派生类A和B同时继承base,派生类又继承了A和B,此时,就会出现D中base构造两次,出现两份的情况:
可以清楚的看见存在两个base。
此时,就需要用虚继承来解决这个问题。
A和B继承base时,采用虚继承的方式。
如:class A:virtual public base
采用虚继承后D的内存布局如下:
此时,在D中只存在基类base的一份。
需要知道的时,D中会生成一张虚基表。在vs2013中,表中存放的是,虚函数表相对于自己作用域的偏移和基类相对于对象的偏移。
虚析构
虽然,继承中构造函数不能写成虚函数,但是可以将析构函数写成虚函数。当用基类指针指向基类的析构,他会先调用派生类的析构,然后再自动执行基类的析构。