思维导图
什么是多态?
多态,从字面意思上理解就是多种形态,多种形式。在C++这种面对对象的语言中,就是“一个接口,多种实现”。
多态分为静态多态和动态多态。
怎么区分静态多态和动态多态?
- 区别:在什么时候将函数实现和函数调用关联起来,是在编译时期还是运行时期,即函数地址是早绑定还是晚绑定。
- 静态多态:指在编译期间就可以确定函数的调用地址,并生产代码,这就是静态的,也就是地址是早早绑定的,静态多态也被称为静态联编。
- 动态多态:函数用的地址不能在编译器期间确定,必须需要在运行的时候才确定,这就是晚绑定,动态多态也被称为动态联编。
为什么要使用多态?
C++有封装,继承,多态等特性,封装可以使代码模块化,继承可以在原有代码基础上扩展,他们的目的都是为了代码重用。然而多态时为了接口重用。
让我们看看下面一段代码
class Base
{
public:
void fun()
{
cout << "Base::fun()" << endl;
}
};
class Derive : public Base
{
public:
void fun()
{
cout << "Derive::fun()" << endl;
}
};
void Test1()
{
Base b;
Derive d;
Base* pb = &b;
Derive* pd = &d;
pb->fun();
pd->fun();
pb = &d;//通过指针,想要调用Derive中的fun()
pb->fun();
Base& rb = b;
Derive& rd = d;
rb.fun();
rd.fun();
Base& rb2 = d;//通过引用,想要调用Derive中的fun()
rb2.fun();
}
代码实现:
在上面的代码中,我们想通过C++继承中的赋值兼容(基类指针/引用可以指向派生类)那么为什么不管是父类对象指向/引用子类对象,却只调用了基类的fun函数打印Base::fun()呢?
这就是我们上面说的静态多态在编译的时候就将函数实现和函数调用关联了起来,不管是引用还是指针在编译期间都是Base类的自然调用Base类的fun()。为了避免这种情况,我们引入了“动态多态”。
class Base
{
public:
virtual void fun()
{
cout << "Base::fun()" << endl;
}
};
class Derive : public Base
{
public:
void fun()
{
cout << "Derive::fun()" << endl;
}
};
void Test2()
{
Derive d;
Base* b = &d;
b->fun();
Base& b1 = d;
b1.fun();
}
这里的动态多态是通过继承+虚函数来实现的,只有在程序运行期间(非编译期)才能判断所引用对象的实际类型,根据其实际类型调用相应的方法。具体格式就是使用virtual关键字修饰类成员函数时,指明该函数为虚函数。
动态多态的条件:
- 1.必须是虚函数
- 2.通过基类类型的指针或者引用调用虚函数。