【c++】多态

男娘i 2022-07-11 13:13 242阅读 0赞

# 多态 #

多态按字面的意思就是多种形态。当类之间存在层次结构，并且类之间是通过继承关联时，就会用到多态。  
C++ 多态意味着调用成员函数时，会根据调用函数的对象的类型来执行不同的函数。  
下面的实例中，基类 Shape 被派生为两个类，如下所示：

#include <iostream> 
    using namespace std;
    
    class Shape {
       protected:
          int width, height;
       public:
          Shape( int a=0, int b=0)
          {
             width = a;
             height = b;
          }
          int area()
          {
             cout << "Parent class area :" <<endl;
             return 0;
          }
    };
    class Rectangle: public Shape{
       public:
          Rectangle( int a=0, int b=0):Shape(a, b) { }
          int area ()
          { 
             cout << "Rectangle class area :" <<endl;
             return (width * height); 
          }
    };
    class Triangle: public Shape{
       public:
          Triangle( int a=0, int b=0):Shape(a, b) { }
          int area ()
          { 
             cout << "Triangle class area :" <<endl;
             return (width * height / 2); 
          }
    };
    // 程序的主函数
    int main( )
    {
       Shape *shape;
       Rectangle rec(10,7);
       Triangle  tri(10,5);
    
       // 存储矩形的地址
       shape = &rec;
       // 调用矩形的求面积函数 area
       shape->area();
    
       // 存储三角形的地址
       shape = &tri;
       // 调用三角形的求面积函数 area
       shape->area();
    
       return 0;
    }

当上面的代码被编译和执行时，它会产生下列结果：

Parent class area
    Parent class area

导致错误输出的原因是，调用函数 area() 被编译器设置为基类中的版本，这就是所谓的**静态多态**，或**静态链接** \- 函数调用在程序执行前就准备好了。有时候这也被称为早绑定，因为 area() 函数在程序编译期间就已经设置好了。  
但现在，让我们对程序稍作修改，在 Shape 类中，area() 的声明前放置关键字 virtual，如下所示：

class Shape {
       protected:
          int width, height;
       public:
          Shape( int a=0, int b=0)
          {
             width = a;
             height = b;
          }
          virtual int area()
          {
             cout << "Parent class area :" <<endl;
             return 0;
          }
    };

修改后，当编译和执行前面的实例代码时，它会产生以下结果：

Rectangle class area
    Triangle class area

此时，编译器看的是指针的内容，而不是它的类型。因此，由于 tri 和 rec 类的对象的地址存储在 \*shape 中，所以会调用各自的 area() 函数。  
正如您所看到的，每个子类都有一个函数 area() 的独立实现。这就是多态的一般使用方式。有了多态，您可以有多个不同的类，都带有同一个名称但具有不同实现的函数，函数的参数甚至可以是相同的。

# 虚函数 #

**虚函数** 是在基类中使用关键字 virtual 声明的函数。在派生类中重新定义基类中定义的虚函数时，会告诉编译器不要静态链接到该函数。  
我们想要的是在程序中任意点可以根据所调用的对象类型来选择调用的函数，这种操作被称为**动态链接**，或后期绑定。

虚函数是通过一个指向函数地址数组的指针，它叫**虚函数表**，当基类中定义了虚函数，这指针就会成为这个对象的一部分（隐藏的成员）。它里面存储着基类所有虚函数的地址。而派生类也有一个独立的指针指向着基类**虚函数表**的副本（不是同一个），当派生类中出现了基类虚函数的新定义时，派生类的就会吧原先的地址给更改了

介于效率和内存问题，所以虚函数的使用用有时候也要斟酌  
**Note：**  
如果基类和派生类定义了差不多的方法

Father::f();
    Son::f(int);

而我们如果使用son.f()是不允许的，因为**重新定义不是重载，它会隐藏函数名相同的函数。不管参数特质如何**

**虚析构函数**

Father *p=new Son();
    
    delete p;

如果时静态链接将调用Father 的析构函数，而动态链接的将调用Son（）的析构函数

**Tips:**  
动态连接时针是通过指针和引用类型调用的函数的。不同函数会根据引用类型或指针类型来调用函数，而virtual关键字使调用函数按照引用和指针指向的类型调用。

# 纯虚函数 #

您可能想要在基类中定义虚函数，以便在派生类中重新定义该函数更好地适用于对象，但是您在基类中又不能对虚函数给出有意义的实现，这个时候就会用到纯虚函数。  
我们可以把基类中的虚函数 area() 改写如下：

class Shape {
       protected:
          int width, height;
       public:
          Shape( int a=0, int b=0)
          {
             width = a;
             height = b;
          }
          // pure virtual function
          virtual int area() = 0;
    };

= 0 告诉编译器，函数没有主体，上面的虚函数是纯虚函数。

**Note:**  
纯虚函数因为没有实体，所以它不能实例对象的。