C++虚函数及多态

今天查阅资料时，突然看见百度百科的虚函数就点进去看了下，发现讲的通熟易懂。

下面是对C++的虚函数的理解。

定义

简单地说，那些被virtual关键字修饰的 成员函数，就是虚函数。虚函数的作用，用专业术语来解释就是实现 多态性（Polymorphism），多态性是将接口与实现进行分离；用形象的语言来解释就是实现以共同的方法，但因个体差异而采用不同的策略。下面来看一段简单的代码

#include<iostream>
usingnamespace std;
classA
{
public:
void print() {cout<<"ThisisA"<<endl;}
};
 
classB:public A
{
public:
void print(){cout<<"ThisisB"<<endl;}
};
 
int main()
{
//为了在以后便于区分，我这段main()代码叫做main1
A a;
B b;
a.print();
b.print();
}

输出结果分别是“ThisisA”、“ThisisB”。通过class A和class B的print（）这个接口，可以看出这两个class因个体的差异而采用了不同的策略，但这是否真正做到了 多态性呢？No，多态还有个关键之处就是一切用指向 基类的 指针或引用来操作对象。那现在就把main（）处的代码改一改。

<div style="text-align: left;"><span style="text-indent: 2em;"><span style="font-family:SimSun;">int main(){//main2</span></span></div><div style="text-align: left;"><span style="text-indent: 2em;"><span style="font-family:SimSun;">A a;</span></span></div><span style="font-family:SimSun;">B b;
A* p1=&a;
A* p2=&b;
p1->print();
p2->print();
}</span>

运行一下看看结果，哟呵，蓦然回首，结果却是两个This is A。问题来了，p2明明指向的是class B的对象但却是调用的class A的print（）函数，这不是我们所期望的结果，那么解决这个问题就需要用到虚函数

classA
{
public:
virtual void print(){cout<<"ThisisA"<<endl;}
};
 
classB:publicA
{
public:
void print(){cout<<"ThisisB"<<endl;}
};

毫无疑问，class A的 成员函数 print（）已经成了虚函数，那么class B的print（）成了虚函数了吗？回答是Yes，我们只需在把基 类的成员函数 设为virtual，其 派生类 的相应的函数也会自动变为虚函数。所以，class B的print()也成了虚函数。那么对于在 派生类 的相应函数前是否需要用virtual关键字修饰，那就是你自己的问题了。

现在重新运行main2的代码，这样输出的结果就是This is A和This is B了。

现在来消化一下，我作个简单的总结，指向 基类的 指针在操作它的 多态类对象时，会根据不同的类对象，调用其相应的函数，这个函数就是虚函数。

其他信息

定义虚函数的限制：（1）非 类的成员函数 不能定义为虚函数，类的成员函数中 静态成员 函数和 构造函数 也不能定义为虚函数，但可以将 析构函数 定义为虚函数。实际上，优秀的程序员常常把 基类 的 析构函数 定义为虚函数。因为，将 基类 的 析构函数 定义为虚函数后，当利用delete删除一个指向 派生类 定义的 对象指针 时，系统会调用相应的类的析构函数。而不将 析构函数 定义为虚函数时，只调用 基类 的析构函数。

（2）只需要在声明函数的类体中使用 关键字“virtual”将函数声明为虚函数，而定义函数时不需要使用关键字“virtual”。

（3）当将 基类中的某一 成员函数声明为虚函数后， 派生类中的同名函数自动成为虚函数。

（4）如果声明了某个 成员函数为虚函数，则在该类中不能出现和这个成员函数同名并且返回值、参数个数、类型都相同的非虚函数。在以该类为 基类的 派生类中，也不能出现这种同名函数。

虚函数联系到 多态，多态联系到继承。所以本文中都是在继承层次上做文章。没了继承，什么都没得谈。