文章目录
- 多态
- 概念
- 定义及实现
- 构成条件
- 虚函数
- 虚函数的重写
- override 和 final
- 重载、覆盖、隐藏
- 抽象类
- 纯虚函数
- 接口继承与实现继承
- 多态的原理
- 虚函数表
- 原理
- 动态绑定与静态绑定
- 多继承的虚函数表
- 多继承中的虚函数表
多态
概念
多态是面向对象三大特性中相对复杂的一个，他从直观上理解就是，不同的人（对象）做同一件事情（调用函数），会产生不同的结果（状态）
多态又分为静态多态和动态多态，静态多态其实就是函数重载，在本篇文章中主要介绍动态多态，在讲到多态的原理时，我们会细讲其中的区别
定义及实现
多态是在不同的为继承关系的类对象，调用同一个函数（同名函数），产生的不同的行为
例如，Student是Person的子类，同样的买票动作下，Person是全价，而Student是全价
构成条件
构成多态必须有两个条件
- 必须通过父类的指针或引用调用虚函数
- 被调用的函数必须是虚函数，子类必须重写父类的虚函数
例如
#include<iostream>
using namespace std;
class Person
{
public:
virtual void Buyticket()
{
cout << "Person:全价" << endl;
}
};
class Student : public Person
{
public:
virtual void Buyticket()
{
cout << "Student:半价" << endl;
}
};
void func(Person & people)
{
people.Buyticket();
}
int main()
{
Person P;
Student S;
func(P);
func(S);
P.Buyticket();
S.Buyticket();
}
简单说就是，谁调用就用谁的同名函数，要注意这两个条件缺一不可
虚函数
被virtual修饰的成员函数称为虚函数，刚刚我们也用到了
class Person
{
public:
virtual void Buyticket()
{
cout << "Person:全价" << endl;
}
};
虚函数的重写
虚函数的重写也叫做覆盖，要和函数重载，继承中的隐藏相区分
重写是子类和父类中有一个完全相同的虚函数（返回值、函数名、参数列表），称之为子类虚函数重写父类的虚函数
在实际中，子类不加virtual关键字时仍然可以构成多态，是因为继承的基类虚函数在子类中依然保持虚函数属性，但是不建议省略
虚函数重写中有两个例外
-
协变
基类与派生类的虚函数返回值类型不同，这里的不同指的是，基类虚函数返回基类指针或引用，派生类虚函数返回派生类指针或引用，构成协变，依然属于重写class A{}; class B : public A {}; class C { public: virtual A* f() { return new A; } } class D : public C { public: virtual B* f() { return new B; } } -
析构函数重写
父类的析构函数为虚函数，只要子类的析构函数定义，由于继承了父类的虚函数特性，无论是否加virtual关键字，都构成重写，因为编译器对析构函数的名称统一处理为destructor，也满足多态的条件
override 和 final
这两个关键字是C++11提供的，用于确保重写
final修饰虚函数，表示该函数不能被重写
class A
{
public:
virtual void func() final {};
};
override会检查该函数是否重写了某个虚函数，如果没有重写则编译器报错
重载、覆盖、隐藏
函数重载的条件
- 两个函数处于相同作用域
- 函数名相同
- 参数列表不相同
重写（覆盖）的条件
- 两个函数分别在父类和子类
- 函数名，参数，返回值必须相同（除协变）
- 必须是两个虚函数
重定义（隐藏）的条件
- 两个函数分别在父类和子类
- 函数名相同
这里我们发现，重写比隐藏的条件要苛刻，实际上在父类和子类的派生类，只要函数名相同，不是重写就是隐藏
抽象类
纯虚函数
在虚函数的后面写上 = 0 就是纯虚函数
包含纯虚函数的类叫做抽象类，也叫做接口类
抽象类不能实例化出对象，派生类继承后也不能实例化，抽非重写纯虚函数，才能实例化
纯虚函数更体现了接口继承的特性
例如
class Base
{
public:
virtual void Func() = 0;
};
class A : public Base
{
public:
virtual void Func()
{
cout << "A::Func()" << endl;
}
};
class B : public Base
{
public:
virtual void Func()
{
cout << "B::Func()" << endl;
}
};
void test()
{
Base* pA = new A;
Base* pB = new B;
pA->Func();
pB->Func();
}
接口继承与实现继承
普通函数的继承是一种实现继承，派生类继承基类的函数，可以使用函数，继承的是函数的实现，或者说函数体
虚函数的继承是一种接口继承，派生类继承基类虚函数的接口，是为了重写，实现多态，继承的是接口，因此只需要在实现多态的时候定义虚函数
多态的原理
虚函数表
有这样一个类
class Base
{
public:
virtual void Func1()
{
cout << "Base::Func1" << endl;
}
protected:
int _base;
};
当我们输出sizeof Base时会发现，他的大小是8，查看监视窗口
我们发现还有一个_vfptr的指针（x86，32位平台）
这个指针我们叫做虚函数表指针，一个包含虚函数的类中都至少有一个虚函数表指针，因为虚函数的地址都要放到虚函数表中
我们对Base类继承，如下
class Base
{
public:
virtual void Func1()
{
cout << "Base::Func1" << endl;
}
virtual void Func2()
{
cout << "Base::Func2" << endl; // 添加虚函数Func2
}
void Func3()
{
cout << "Base::Func3" << endl; // 添加普通函数Func3
}
protected:
int _base;
};
class Derive : public Base
{
public:
virtual void Func1()
{
cout << "Derive::Func1" << endl; // 重写虚函数Func1
}
protected:
int _derive;
};
int main()
{
Base b;
b._base = 1;
Derive d;
d._derive = 1;
d._base = 2;
return 0;
}
这里因为VS2022的限制，由监视窗口就不能看出来具体的构造了，需要通过内存分析
我们先看Base类的
通过这里我们可以发现，首先虚函数表实际上是一个函数指针数组，其次不论有无被重写，都会存在于虚函数表中，普通函数不会存在虚表之中
然后再看Derive类的
这里我们发现，虚表地址不同，说明在继承之后虚表是重新创建了一份，重写函数地址不同，虚表的第一行是重写的Func()地址不同，也就是被覆盖，因此重写也称为覆盖
其次未重写的虚函数，由于继承，也在虚表中出现
最后，虚表的最后一项为空指针，经过验证，Linux g++没有这个空指针
因为虚表实际上是一个函数指针数组，我们可以通过指针分别打印出他们的地址，并判断出他是存在于内存的哪个区域
经过验证，虚函数和虚函数表是存在于代码段的，虚函数表中存的是虚函数指针，对象中存的是虚函数表指针
原理
通过上面的虚函数表分析，我们可以大致可以了解原理应该是这样的
当调用函数时，编译器直接访问第一个虚函数表指针，找到虚表，在调用对应的虚函数即可，这样就实现了多态的功能
动态绑定与静态绑定
静态绑定又称为前期绑定、早绑定，程序在编译时就确定了程序的行为，也称为静态多态
动态绑定又称为后期绑定、晚绑定，在程序运行期间，需要根据类型确定程序的行为和具体调用的函数，称为动态多态
我们可以通过对应的汇编代码来观察这一过程
多继承的虚函数表
单继承的虚函数表我们已经在上面的虚函数表原理中介绍过了，这里不再赘述
多继承中的虚函数表
class Base1
{
public:
virtual void func1()
{
cout<<"Bas1::func1"<<endl;
}
virtual void func2()
{
cout<<"Base1::func2"<<endl;
}
int b1;
};
class Base2
{
public:
virtual void func1()
{
cout<<"Base2::func1"<<endl;
}
virtual void func3()
{
cout<<"Base2::func2"<<endl;
}
int b2;
};
class Derive : public Base1, public Base2
{
public:
virtual void func1()
{
cout<<"Derive::func1"<<endl;
}
virtual void func3()
{
cout<<"Derive::func3"<<endl;
}
int d1;
};
int main()
{
Derive d;
return 0;
}
这里的内存分布就类似于之前的了，只是子类的虚函数和第一个父类公用一张虚函数表
