多态

多态有个关键之处就是一切用指向基类的指针或引用来操作对象

#include<iostream>
usingnamespacestd;
classA
{
public:
voidprint()
{
cout<<"ThisisA"<<endl;
}
};
 
classB:publicA
{
public:
voidprint()
{
cout<<"ThisisB"<<endl;
}
};
 
intmain()
{
//为了在以后便于区分，我这段main()代码叫做main1
Aa;
Bb;
a.print();
b.print();
return0;
}
最普通的多态


用引用的多态
<div class="container"><div class="line number1 index0 alt2"><code class="cpp plain">intmain()</code></div><div class="line number2 index1 alt1"><code class="cpp plain">{</code></div><div class="line number3 index2 alt2"><code class="cpp comments">//main2</code></div><div class="line number4 index3 alt1"><code class="cpp plain">Aa;</code></div><div class="line number5 index4 alt2"><code class="cpp plain">Bb;</code></div><div class="line number6 index5 alt1"><code class="cpp plain">A*p1=&a;</code></div><div class="line number7 index6 alt2"><code class="cpp plain">A*p2=&b;</code></div><div class="line number8 index7 alt1"><code class="cpp plain">p1->print();</code></div><div class="line number9 index8 alt2"><code class="cpp plain">p2->print();</code></div><div class="line number10 index9 alt1"><code class="cpp plain">return0;</code></div><div class="line number11 index10 alt2"><code class="cpp plain">}</code></div></div>结果却是两个This is A明显错误！


虚函数改正：
<div class="container"><div class="line number1 index0 alt2"><code class="cpp plain">classA</code></div><div class="line number2 index1 alt1"><code class="cpp plain">{</code></div><div class="line number3 index2 alt2"><code class="cpp keyword bold">public</code><code class="cpp plain">:</code></div><div class="line number4 index3 alt1"><code class="cpp plain">virtualvoidprint(){cout<<</code><code class="cpp string">"ThisisA"</code><code class="cpp plain"><<endl;}</code></div><div class="line number5 index4 alt2"><code class="cpp plain">};</code></div><div class="line number6 index5 alt1"> </div><div class="line number7 index6 alt2"><code class="cpp plain">classB:publicA</code></div><div class="line number8 index7 alt1"><code class="cpp plain">{</code></div><div class="line number9 index8 alt2"><code class="cpp keyword bold">public</code><code class="cpp plain">:</code></div><div class="line number10 index9 alt1"><code class="cpp plain">voidprint(){cout<<</code><code class="cpp string">"ThisisB"</code><code class="cpp plain"><<endl;}</code></div><div class="line number11 index10 alt2"><code class="cpp plain">};</code></div></div>

指向<a target=_blank target="_blank" href="http://baike.baidu.com/view/535539.htm">基类</a>的<a target=_blank target="_blank" href="http://baike.baidu.com/view/159417.htm">指针</a>在操作它的<a target=_blank target="_blank" href="http://baike.baidu.com/view/126521.htm">多态</a>类对象时，会根据不同的类对象，调用其相应的函数，这个函数就是虚函数。

深剖虚函数的实现

虚函数是如何做到因对象的不同而调用其相应的函数的呢？现在我们就来剖析虚函数。我们先定义两个类

1 2 3 4 5 6 7 8 9 10

classA{//虚函数示例代码 public: virtualvoidfun(){cout<<1<<endl;} virtualvoidfun2(){cout<<2<<endl;} }; classB:publicA{ public: voidfun(){cout<<3<<endl;} voidfun2(){cout<<4<<endl;} };

由于这两个类中有虚函数存在，所以编译器就会为他们两个分别插入一段你不知道的数据，并为他们分别创建一个表。那段数据叫做vptr指针，指向那个表。那个表叫做vtbl，每个类都有自己的vtbl，vtbl的作用就是保存自己类中虚函数的地址，我们可以把vtbl形象地看成一个数组，这个数组的每个元素存放的就是虚函数的地址，请看图

通过左图，可以看到这两个vtbl分别为class A和class B服务。现在有了这个模型之后，我们来分析下面的代码

A *p=new A;

p->fun();

毫无疑问，调用了A::fun（），但是A::fun（）是如何被调用的呢？它像普通函数那样直接跳转到函数的代码处吗？No，其实是这样的，首先是取出vptr的值，这个值就是vtbl的地址，再根据这个值来到vtbl这里，由于调用的函数A::fun（）是第一个虚函数，所以取出vtbl第一个slot里的值，这个值就是A::fun（）的地址了，最后调用这个函数。现在我们可以看出来了，只要vptr不同，指向的vtbl就不同，而不同的vtbl里装着对应类的虚函数地址，所以这样虚函数就可以完成它的任务。

而对于class A和class B来说，他们的vptr指针存放在何处呢？其实这个指针就放在他们各自的实例对象里。由于class A和class B都没有数据成员，所以他们的实例对象里就只有一个vptr指针。

定义虚函数的限制：

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

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

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

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

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

纯虚函数

纯虚函数是一种特殊的虚函数，在许多情况下，在基类中不能对虚函数给出有意义的实现，而把它声明为纯虚函数，它的实现留给该基类的派生类去做。这就是纯虚函数的作用。

<span style="font-size:14px;">纯虚函数是一种特殊的虚函数，它的一般格式如下：
class <类名>
{
virtual <类型><函数名>(<参数表>)=0;
…
};</span>