1、什么叫做多态?
调用同一个父类,实现子类相应动作。
2、基本概念
基类-父类
派生类-子类
赋值兼容:在基类和公有派生类之间存在赋值兼容原则,也就是说所有需要基类类型的地方,都可以用派生类去替代
函数隐藏:派生类中重新定义基类中含有的函数,则称之为函数隐藏,调用派生类函数,会把基类函数隐藏。在派生类中去调用这个被隐藏的函数,必须加上作用域,基类::函数名();
函数重写:在派生类、基类中函数名称相同,则称为函数重写,不仅需要函数名相同,而且函数类型和参数列表都要相同。
虚函数: (1) 用关键字virtual说的函数,称为虚函数; (2) 如果基类中的某些函数被说明为虚函数,那么也意味着 允许它的派生类去重新定义这个函数。
函数重载:同名函数(但参数个数类型顺序个数不同)
虚函数表——vtable
虚函数指针——vptr
虚函数表会出现在一个带有虚函数的类中,是属于类的。虚函数表相当于一个数组,其中存放的只有虚函数,可以是继承而来的,也可以是自己本身的。
3、静态连编与动态连编
静态连编时,系统用实参与形参进行匹配,对于同名的重载函数变根据参数上的差异进行区分,然后进行连编,从而实现编译时的多态。
动态连编是运行阶段完成的连编。即当程序调用到某一函数的时候,系统会根据当前的对象类型去寻找和连接其程序的代码,对面向对象的程序而言,就是当对象收到某一消息的时候,才去寻找和连接相应的方法。(函数的选择是基于基类指针指向的对象的类型)。虚函数重写可以实现。
4、动态多态条件
有继承关系、子类重写父类中的虚函数、父类的指针或者引用指向对象。
5、动态多态底层
基类未加虚函数
#include<iostream>
#include<string.h>
using namespace std;
class Animal
{
public:
void speak()
{
cout << "动物在说话" << endl;
}
};
class Cat :public Animal
{
public:
void speak()
{
cout << "小猫在说话" << endl;
}
};
class Dog :public Animal
{
public:
void speak()
{
cout << "小狗在说话" << endl;
}
};
//执行说话的函数
void DoSpeak(Animal& animal)
{
animal.speak();
}
void test01()
{
Cat cat;
Dog dog;
DoSpeak(cat);
DoSpeak(dog);
}
int main()
{
test01();
system("pause");
return 0;
}
输出:
/
基类加虚函数
#include<iostream>
#include<string.h>
using namespace std;
//动物类
class Animal
{
public:
virtual void speak()
{
cout << "动物在说话" << endl;
}
};
class Cat :public Animal
{
public:
void speak()
{
cout << "小猫在说话" << endl;
}
};
class Dog :public Animal
{
public:
void speak()
{
cout << "小狗在说话" << endl;
}
};
//执行说话的函数
void DoSpeak(Animal& animal)
{
animal.speak();
}
void test01()
{
Cat cat;
Dog dog;
DoSpeak(cat);
DoSpeak(dog);
}
int main()
{
test01();
system("pause");
return 0;
}
输出:
如果没有利用关键字virtual,speak函数在编译阶段已经确定,所以运行阶段结果都是基类函数内容。采用关键字virtual,Animal类中的函数变为虚函数指针,如果调用基函数,则运行基函数;如果调用派生类函数,则虚函数指针指向的虚函数表,虚函数表中函数重写,指向派生类函数。