多态及虚函数

  在面向对象方法中，所谓的多态性就是不同对象在收到相同消息时，产生不同的行为。

在C++中，要做到“一个接口，多种方法”。

  我们把在运行之前就完成的联编（是指一个计算机程序自身彼此关联的过程）称为静态联编；在运行时才完成的联编称为动态联编。静态联编支持的多态性称为编译时多态性，通过重载实现，而动态联编所支持的多态性称为运行时多态性，是通过虚函数来实现的。

  在某基类中声明为virtual 并在一个或多个派生类中被重新定义的成员函数，用法格式为:virtual 函数返回类型 函数名(参数表) {函数体};

  我们来看一段代码：

  classA

{

public:

       virtualvoid show()

       {

              cout<< "A::a" << endl;

       }

protected:

       inta;

};

class B : virtual public A

{

public:

       voidshow()

       {

              cout<< "B::b" << endl;

       }

protected:

       intb;

};

void main()

{

       Aaa;

       Bbb;

       A*p;

       p= &aa;

       p->show();

       p= &bb;

       p->show();

}

这就是我们通过虚函数来实现的多态性——基类指针指向子类对象（前提是基类和派生类有一个同名函数）。

构成多态的四个条件（缺一不可）：

1.不在同一作用域（分别在父类和子类）

2.函数名相等/参数相等/返回值相同/（协变除外）

3.基类函数必须有virtual关键字

4.访问修饰符可以不同

*在C++中，只要原来的返回类型是指向类的指针或引用，新的返回类型是指向派生类的指针或引用，称为协变。

我们再来区别几个概念：重载，重定义（隐藏），重写。

重载：函数名相同，参数和返回值可以不同。

重定义：在不同的作用域，函数名不同，基类和派生类中国只要不构成重写就是重定义。

重写：就是上面我们说的构成多态的条件。

我们通过一张图来看一下重写的含义：

借一下我学长的代码，我们来看一下虚函数和普通成员函数的区别：

#include<iostream>   

#include<Windows.h>   

using namespacestd;

class A

{

public:

       void foo()

       {

              printf("1\n");

       }

       virtual void fun()

       {

              printf("2\n");

       }

};

class B :public A

{

public:

       void foo()

       {

              printf("3\n");

       }

       void fun()

       {

              printf("4\n");

       }

};

int main(void)

{

       A a;

       B b;

       A *p = &a;

       p->foo();

       p->fun();

       p = &b;

       p->foo();

       p->fun();

       system("pause");

       return 0;

}

由结果我们可以看出因为foo函数不是虚函数，所以不能通过父类的指针指向子类的函数，而fun函数是虚函数，可以通过父类的指针指向子类的函数。体现了虚函数对于多态性的重要性。

*继承中把基类和派生类的析构函数定义为虚函数（因为“切片”的关系，父类的指针不能访问子类的函数）。