C++ 极简总结 — 多态(一)

C++ 极简总结——多态

多态：指相同对象收到不同消息或者不同对象收到相同消息时产生不同的动作。
总的来说分为：

• 静态多态（早绑定）
• 动态多态（晚绑定）

静态多态（早绑定）

例如定义如下的 Rect 类，在clcArea() 中传入不同形式参数会调用不同的函数。
函数调用在程序执行前就准备好了。有时候这也被称为早绑定。

#ifndef POLYMORPHISM_RECT_H
#define POLYMORPHISM_RECT_H
class Rect
{
public:
    Rect(int width,int length);
    ~Rect();
    double clcArea(int width);
    double clcArea(int width,int length);
    int _width;
    int _length;
};
#endif //POLYMORPHISM_RECT_H

动态多态（晚绑定）

• 虚函数:
  是在基类中使用关键字 virtual 声明的函数。在派生类中重新定义基类中定义的虚函数时，会告诉编译器不要静态链接到该函数，而是在程序中可以根据所调用的对象类型来选择调用的函数，这种操作被称为动态链接，也就是所谓，晚绑定。

例如下面的三个类：

class Shape
{
public:
    Shape();
    virtual ~Shape();
    virtual double clcArea();
};
class Rect : public Shape
{
public:
    Rect(int width,int length);
    ~Rect();
    double clcArea();
private:
    int _width;
    int _length;
};
class Circle : public Shape
{
public:
    Circle(int r);
    ~Circle();
    double clcArea();

private:
    int _r;
};

//部分函数实现
double Shape::clcArea()
{
    cout<<"shape,clcArea()"<<endl;
    return 0;
}
double Rect::clcArea()
{
    cout<<"Rect::clcArea()"<<endl;
    return (double)(_width*_length);
}
double Circle::clcArea()
{
    cout<<"Circle::clcArea"<<endl;
    return _r * _r * 3.14;
}

主函数

#include <iostream>
#include "rect.h"
#include "circle.h"
using namespace std;
int main()
{
    Shape *shape_1 = new Rect(5,4);
    Shape *shape_2 = new Circle(5);
    shape_1->clcArea();
    shape_2->clcArea();
    delete shape_1;
    delete shape_2;

    shape_1 = nullptr;
    shape_2 = nullptr;
    return 0;
}

当使用父类指向子类时候，如果调用clcArea()函数时，如果，父类的clcArea() 函数不加 virtual 关键字，则会出现下面的效果：

会发现只执行了父类的成员函数，只有给父类的 clcArea() 加上virtual关键字才会执行子类的相应函数。子类相应函数可加可不加（最好加上）。

虚析构函数
上面的例子还有一个问题，就是在使用析构函数时，可以发现只调用的父类的析构函数，并没有执行子类的析构，但是却调用了子类的构造函数。这样就会出现内存泄漏的问题。例如在子类的构造函数中需要为自己的成员变量申请内存，那么在析构就会出现内存泄漏。
加上virtual 后的效果

virtual 在函数中的使用限制

1. 普通函数不能是虚函数。
2. 静态成员函数不能是虚函数。
3. 内联函数不能是虚函数。
4. 构造函数不能是虚函数。

虚函数实现原理 （To do…）

文章参考：慕课网c++远征系列。