C++中的多态问题

多态：即多种形态。

 我们把具有继承关系的多个类型称为多态类型。 
 引用或指针的静态类型与动态类型不同这一事实正是c++语言支持多态性的根本所在。

对象类型分为静态类型和动态类型。

静态类型：对象编译阶段确定类型（又叫早绑定、静态绑定）
动态类型：在程序执行阶段确定对象的类型（又叫晚绑定、动态绑定）

静态多态：编译器在编译期间完成的，编译器根据函数实参的类型(可能会进行隐式类型转换)，可推 断出要调用那个函数，如果有对应的函数就调用该函数，否则出现编译错误。

动态绑定：在程序执行期间(非编译期)判断所引用对象的实际类型，根据其实际类型调用相应的方 法。
使用virtual关键字修饰类的成员函数时，指明该函数为虚函数，派生类需要重新实现，编译器将实 现动态绑定。

动态多态绑定的条件：

1.必须是虚函数 （在基类中是虚函数->接着在派生类中重写该虚函数）
 2.通过基类类型的引用或者指针调用虚函数

也就是说： 通过基类的指针或引用调用虚函数时，调用基类还是派生类的虚函数，要在运行时根据指针（引用）指向（引用）的类型确定，当调用非虚函数时，无论指向的是哪种类型，一定调用的是基类的函数。

#define _CRT_SECURE_NO_WARNINGS 1

#include<iostream>
using namespace std;

class Base
{
public:
     /*virtual*/ void Test()
     {
          cout << "Base.Test()" << endl;
     }
private:
     int _b;
};

class Derived :public Base
{
public:
     /*virtual*/ void Test()
     {
          cout << "Derived.Test()" << endl;
     }
private:
     int _d;
};

void test(Base& b)
{
     b.Test();
}

int main()
{
     Base b;
     Derived d;
     test(b);
     test(d);
     return 0;
}

可以看出，由于Test不是虚函数，所以两次输出的结果都是Base.Test()。
当把Test改为虚函数后：

在进行重写时，在派生类中重写的函数必须满足函数原形相同（包括函数返回值、函数名、函数参数列表），协变除外。
【协变： 基类中的虚函数返回值类型为基类类型的指针或引用，并且派生类中重写的虚函数返回值类型为派生类类型的指针或引用。】
接下来举例验证协变：

#define _CRT_SECURE_NO_WARNINGS 1

#include<iostream>
using namespace std;

class Base
{
public:
     virtual void Test()
     {
          cout << "Base.Test()" << endl;
     }

     virtual Base& Test1()
     {
          cout << "Base.Test1()" << endl;
          return *this;
     }
private:
     int _b;
};

class Derived :public Base
{
public:
     virtual void Test()
     {
          cout << "Derived.Test()" << endl;
     }

     virtual Derived& Test1()
     {
          cout << "Derived.Test1()" << endl;
          return *this;
     }
private:
     int _d;
};

void test(Base& b)
{
     b.Test();
     b.Test1();
}

int main()
{
     Base b;
     Derived d;
     test(b);
     test(d);