【C++】多态

多态是C++特性之一，多态性就是使用相同的接口实现不同的方法。多态性分为静态多态性和动态多态性。

在C++中，多态性的实现和联编（或称绑定）这一概念有关。一个源程序经过编译、链接，成为可执行文件的过程是把可执行代码联编在一起的过程。其中在编译时完成的联编称为静态联编（前期联编）；而在运行时完成的联编称为动态联编（后期联编）。

静态多态性

静态多态性又可以称为编译时多态性，在C++中，静态多态性是通过函数重载和模板实现的。
例如函数重载机制，编译器会根据调用函数时实参的使用来确定调用的是哪个函数；而模板类和模板函数也是在编译时判断typename来调用不同的函数/类。

动态多态性

动态多态性又称为运行时多态性，动态多态性是通过虚函数实现的。

虚函数

• 虚函数在C++中指被virtual关键字修饰的函数。
• 允许父类的指针调用子类的这个函数，子类当中的函数需要对父类的函数实现重写，注意重写的概念与重载不同，重写需要子类函数的函数名、参数、返回值均与父类函数相同，才可以实现重写。
• 在子类中实现父类中的虚函数时，会告诉编译器不要静态链接到该函数，而是在程序中根据调用对象的类型来选择调用的函数，称为动态联编或后期绑定，也就是说一个类的虚函数的调用不是在编译时刻确定的，而是在运行时刻确定的。
• 如果子类的函数有virtual修饰，但是父类没有，会造成函数隐藏。
• 父类的析构函数应当是虚函数，这样的话在调用析构时，会先调用到对应子类的析构函数，再调用父类的析构函数。此时子类的析构函数和父类的析构函数由于函数名不同，看似不符合上面的重写规则，可以理解为在编译的时候对析构函数做了特殊的处理，可以达到依次析构的目的。

class A  
{  
public:  
    virtual void foo()  
        cout<<"A::foo() is invoked"<<endl;  
};  
class B:public A  
{  
public:  
    void foo()  
        cout<<"B::foo() is invoked"<<endl;  
};  
int main(void)  
{  
    A *a = new B();  
    a->foo(); # 这里使用了A类的指针指向B类对象，调用的也是B类中的函数实现
    return 0;  
}

这里给虚函数表留个坑。

纯虚函数

• 在很多情况下，一个父类生成对象是不合理的，例如：动物作为父类不应该生成对象，但是作为动物的子类猫狗等可以生成对象。为了解决这个问题便引入纯虚函数。
• 编译器要求所有子类必须对纯虚函数有自己的实现方式，以实现多态性。
• 包含纯虚函数的类称为抽象类，抽象类不能生成对象。
• 定义纯虚函数的目的在于，使派生类仅仅只是继承函数的接口。
• 纯虚函数提供一个合理的缺省实现。所以类纯虚函数的声明就是在告诉子类的设计者，“你必须提供一个纯虚函数的实现，但我不知道你会怎样实现它”。
• 定义一个函数为虚函数不代表它没有实现，定义为纯虚函数才代表没有实现。

class A
{
public:
    virtual void foo() = 0;
}

抽象类

• 带有纯虚函数的类称为抽象类，抽象类不能生成对象。
• 抽象类的主要作用是提供接口，这个接口是其所有子类的公共根，用来规范子类的函数定义，函数的具体实现将在每个子类中分别进行。