C++学习笔记9:多态与虚函数纯虚函数

多态

当类之间存在层次结构，并且类之间是通过继承关联时，就会用到多态。
多态就是将基类类型的指针或者引用指向派生类型的对象。多态通过虚函数机制实现。

形成多态必须具备三个条件：

• 必须存在继承关系；
• 继承关系必须有同名虚函数（其中虚函数是在基类中使用关键字Virtual声明的函数，在派生类中重新定义基类中定义的虚函数时，会告诉编译器不要静态链接到该函数）；
• 存在基类类型的指针或者引用，通过该指针或引用调用虚函数；

多态：

• 程序的功能是在编译的时候就确定下来的， 我们称之为静态特性。
• 程序的功能是在运行时刻才能确定下来的， 则称之为动态特性。
• 在程序运行时多态通过继承和虚函数来体现；
• 在程序编译时多态体现在函数和运算符的重载上；

多态的作用主要是两个：
a. 代码重用：隐藏实现细节，使得代码能够模块化；扩展代码模块，实现代码重用；
b. 接口重用：为了类在继承和派生的时候，保证使用家族中任一类的实例的某一属性时的正确调用

#include <iostream> 
using namespace std;
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;
      }
};
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;
}

通过基类类型的指针或引用调用虚函数！
每个子类都有一个函数 area() 的独立实现。这就是多态的一般使用方式。
有了多态，可以有多个不同的类都带有同一个名称但具有不同实现的函数，函数的参数甚至可以是相同的。

Rectangle class area
Triangle class area

虚函数

虚函数 是在基类中使用关键字 virtual 声明的函数。
虚函数是C++中用于实现多态的机制。核心理念就是通过基类访问派生类定义的函数。
虚函数必须实现，如果不实现，编译器将报错。

虚函数是使用虚函数表实现的。虚函数有virtual关键字，有虚拟指针和虚函数表，虚拟指针就是虚拟函数的接口，而普通成员函数没有。

不能声明为虚函数的有：普通函数（非成员函数）；静态成员函数；内联成员函数；构造函数；友元函数。

函数	能否为虚函数
普通函数	不能
内联函数	不能
构造函数	不能
静态成员函数	不能
友元	不能
析构函数	可以，某些时候必须为虚函数

• 内联函数能否为虚函数?
  不可以。内联函数是编译时展开函数体，所以在此时就需要有实体。
  而虚函数是运行时才有实体，所以内联函数不可以为虚函数。

• 构造函数能否为虚函数?
  不可以。构造函数不能被继承，因而不能声明为虚函数。
  另外，虚函数是在不同类型的对象产生不同的动作，现在对象还没有产生，如何使用虚函数来完成你想完成的动作。（这不就是典型的悖论）

• 静态成员函数能否为虚函数?
  不可以。
  静态成员函数不能被继承，是属于类的，不属于任何一个类的对象，可以通过作用域以及类的对象访问，本身就是一个实体，所以不能定义为虚函数。

• 友元能否为虚函数？
  因为C++不支持友元函数的继承，对于没有继承特性的函数没有虚函数的说法。
  友元不是成员函数，只有成员函数才可以是虚拟的，因此友元不能是虚函数。
  但可以通过让友元函数调用虚拟成员函数来解决友元的虚拟问题。

• 析构函数为什么要虚拟?
  析构函数应当是虚函数。这样可以调用相应对象类型的析构函数，因此，如果指针指向的是子类对象，将调用子类的析构函数，然后自动调用基类的析构函数。析构函数虚拟是为了防止析构不彻底，造成内存的泄漏。 有动态分配堆上内存的时候，析构函数必须是虚函数，但没有必要是纯虚的。

动态链接与静态链接

在派生类中重新定义基类中定义的虚函数时，会告诉编译器不要静态链接到该函数。
在程序中任意点可以根据所调用的对象类型来选择调用的函数，这种操作被称为动态链接，或后期绑定。
对于虚函数来说，父类和子类都有各自的版本。由多态方式调用的时候动态绑定。

纯虚函数

在基类中定义虚函数，以便在派生类中重新定义该函数更好地适用于对象，但是在基类中又不能对虚函数给出有意义的实现，这个时候就会用到纯虚函数。

我们可以把基类中的虚函数 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 告诉编译器，函数没有主体，上面的虚函数是纯虚函数。