C++基础之——多态

多态

        多态按字面的意思就是多种形态。当类之间存在层次结构，并且类之间是通过继承关联时，就会用到多态。C++多态意味着调用成员函数时，会根据调用函数对象的类型来执行不同的函数。

• 静态多态：函数重载(运算符重载)，模版属于静态多态，在编译期间就能确定的多态。
• 动态多态：父类的指针或引用指向子类对象，通过指针或引用调用子类重写的虚函数，在运行期间才能确定具体调用哪个函数，是动态多态。

启动动态多态的条件：有继承关系，子类重写父类虚函数并且父类指针调用子类重写的虚函数。

#include<iostream>
using namespace std;
/*
重写：子类和父类中，同名且同形参的虚函数能够发生重写，子类重写父类的虚函数(virtual)
*/
class A{
public:
int a;
int b;
int c;
const int d = 1;

virtual void work(){
cout << "A work()" <<endl;
}

void fun(){
cout << "A fun()" << endl;
}

};

class B:public A{
public:

virtual void work(){
cout << "B重写A" <<endl;
}

void fun(){
cout << "B fun()" <<endl;
}
};

class C:public B{
public:

virtual void work(){
cout << "C重写B" <<endl;
}

void fun(){
cout << "C fun()" <<endl;
}
};


int main(){
//多态 父类指针指向子类对象

//父类指针指向子类对象，去调用虚函数的时候会调用被重写的虚函数

A *a = new C();
a->fun();
a->work();
}

最终输出：A fun()
         C重写B

多态的实现

        为了实现C++的多态，C++使用了一种动态绑定的技术。这个技术核心就是虚函数表。下面介绍虚函数表是如何实现动态绑定的。

类的虚函数表

• 每个包含了虚函数的类都包含一个虚表(存放虚函数指针的数组)
• 当一个类(B)继承一个类(A)时，类B会继承类A的函数的调用权。所以如果一个基类包含了虚函数，那么其继承类也可调用这些虚函数，换句话说，一个类继承了包含虚函数的基类，那么这类也拥有自己的虚表
• 下列代码中。类A包含虚函数vfunc1，vfunc2，由于类A包含虚函数，故类A拥有一个虚表

class A{
public:
virtual void vfun1();
virtual void vfun2();
void func1();
void func2();

private:
int m_data1,m_data2;

};
class B : public A{};//此时类B也有自己的虚表

class A{
public:
virtual void vfun1();
virtual void vfun2();
void func1();
void func2();

private:
int m_data1,m_data2;

};
class B : public A{
public:
virtual void vfun1();
void func1();
private:
int m_data3;
};//此时类B也有自己的虚表

class C : public B{
public:
virtual void vfun2();
void func2();
private:
int m_data1,m_data4;
};//此时类C也有自己的虚表