浅谈C++多态

什么是多态？

C++编程语言是一款应用广泛，支持多种程序设计的计算机编程语言。我们今天就会为大家详细介绍其中C++多态性的一些基本知识，以方便大家在学习过程中对此能够有一个充分的掌握。
多态性可以简单地概括为“一个接口，多种方法”，程序在运行时才决定调用的函数，它是面向对象编程领域的核心概念。多态(polymorphism)，字面意思多种形状。
　　C++多态性是通过虚函数来实现的，虚函数允许子类重新定义成员函数，而子类重新定义父类的做法称为覆盖(override)，或者称为重写。
　　多态可分为静态多态和动态多态，具体的分类情况如下：

静态多态和动态多态的区别其实只是在什么时候将函数实现和函数调用关联起来，是在编译时期还是运行时期，即函数地址是早绑定还是晚绑定的？
静态多态是指在编译期间就可以确定函数的调用地址，并生产代码，这就是静态的，也就是说地址是早早绑定的，静态多态也往往被叫做静态联编。
动态多态则是指函数调用的地址不能在编译器期间确定，必须需要在运行时才确定，这就属于晚绑定，动态多态也往往被叫做动态联编。

静态的函数重载重载：

//两个函数构成重载
int add(int a, int b)
{
    return a + b;
}
double add(double a, double b)
{
    return a + b;
}

静态的函数模板：

//函数模板（泛型编程）
template <typename T>
//template <class T>
T add(T a, T b)
{
    return a + b;
}

动态的多态看下面的代码理解：

class Base
{
public:
virtual void func(){}
void func2{}
private:
int ma;
int mb;
};
class Derive : public Base
{
public:
virtual void func(){}
private:
int mc;
};
int main()
{
Derive d;
Base *p = &d;
p->func2();
p->func();
return 0;
}

p->func2()就是静态的多态，调用的是 Base 类中的 func2 函数。
p->func()是动态多态，调用的是 Derive 类中的 func 函数。

• 所谓的动态多态是通过继承+虚函数来实现的，只有在程序运行期间(非编译期)才能判断所引用对象的实际类型，根据其实际类型调用相应的方法。具体格式就是使用virtual关键字修饰类的成员函数时，指明该函数为虚函数，并且派生类需要重新实现该成员函数，编译器将实现动态绑定。

需要注意的是：【动态绑定条件】？
1、必须是虚函数 ；
2、通过基类类型的引用或者指针调用虚函数 ；
缺一不可！！！

重载，重写（覆盖），以及重定义（同名隐藏）的区别？

• 重载是指在同一作用域中允许有多个同名函数，而这些函数的参数列表不同，包括参数个数不同，类型不同，次序不同，需要注意的是返回值相同与否并不影响是否重载。比如int fun()和void fun()不构成重载，连编译都不过去，给出的提示是无法重载仅按返回类型区分的函数。

• 重写（覆盖）和重定义（同名隐藏）则有点像，区别就是在写重写的函数是否是虚函数，只有重写了虚函数的才能算作是体现了C++多态性，否则即为重定义，在之前的代码中，我们看到子类继承了基类的fun()函数，若是子类没有fun函数，依旧会调用基类的fun函数，若是子类已重定义，则调用自己的fun函数，这就叫做同名隐藏，当然此时如果还想调用基类的fun函数，只需在调用fun函数前加基类和作用域限定符即可。综上他们的关系和区别如下图表明：

纯虚函数

• 在成员函数的形参后面写上=0，则成员函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。纯虚函数必须在派生类中重新定义以后，派生类才能实例化出对象。

class Person
{
public:
    virtual void Display() = 0; // 纯虚函数
private:
    string _name; // 姓名
};
class Student : public Person
{
    void Display()
    {
        cout << "Student" << endl;
    }
};
int main()
{
    //Person p;不能用抽象类实例化
    Student stu;

• 抽象类往往用于这样的情况，它可以方便我们使用多态特性，且在很多情况下，基类本身生成对象是不合情理的，我们知道所有的对象都是通过类来描绘的，但是反过来却不是这样。并不是所有的类都是用来描绘对象的，如果一个类中没有包含足够的信息来描绘一个具体的对象，这样的类就要使用抽象类，就像一个水果类可以派生出橘子香蕉苹果等等，但是水果类本身定义对象并不合理也没有必要。

要点：
1、派生类重写基类的虚函数实现多态，要求函数名、参数列表、返回值完全相同。(协变除外)
2、基类中定义了虚函数，在派生类中该函数始终保持虚函数的特性。
3、只有类的非静态成员函数才能定义为虚函数，静态成员函数和友元函数不能定义为虚函数。
4、如果在类外定义虚函数，只能在声明函数时加virtual关键字，定义时不用加。
5、构造函数不能定义为虚函数，虽然可以将operator=定义为虚函数，但最好不要这么做，使用时容 易混淆。
6、不要在构造函数和析构函数中调用虚函数，在构造函数和析构函数中，对象是不完整的，可能会 出现未定义的行为。
7、最好将基类的析构函数声明为虚函数。(析构函数比较特殊，因为派生类的析构函数跟基类的析构函数名称不一样，但是构成覆盖，这里编译器做了特殊处理)。
8、虚表是所有类对象实例共用的。

class A
{
public:
    virtual void Display(){}
};
class B
{
public:
    void Display(){}
};
int main()
{
	cout << sizeof(A) << endl;//4
	cout << sizeof(B) << endl;//1
	getchar();
}      

我们知道一个空类占一个字节，那为什么加了virtual关键字就变成了4？
这是因为每个有虚函数的类或者虚继承的子类，编译器都会为它生成一个虚拟函数表（简称：虚表），表中的每一个元素都指向一个虚函数的地址。（注意：虚表是从属于类的）