虚函数是很多编程语言中一个特性，比如c#,java，当然在c++语言中也有。这三种语言都是面向对象的语言。我们都知道面向对象语言有三个最基本的特征就是：继承，多态，封装。在c++语言中，这种多态的特征就是通过虚函数（virtual）来实现的。这种实现方法在其它语言中(比如c#)中也是如此。
我要说的就是虚函数到底是怎么实现的。还是以例子来说明。我引用了上一篇随笔中的代码。
class
ClassA
{
public
:
void
fun1();
void
fun2();
virtual
void
fun3();
};
void
ClassA::fun1()
{
cout
<<
"
ClassA.fun1
"
<<
endl;
};
void
ClassA::fun2()
{
cout
<<
"
ClassA.fun2
"
<<
endl;
};
void
ClassA::fun3()
{
cout
<<
"
ClassA.fun3
"
<<
endl;
};
class
ClassB :
public
ClassA
{
public
:
void
fun1();
void
fun2();
virtual
void
fun3();
};
void
ClassB::fun3()
{
cout
<<
"
ClassB.fun3
"
<<
endl;
};
class
ClassC :
public
ClassB
{
public
:
void
fun1();
void
fun2();
virtual
void
fun3();
};
void
ClassC::fun3()
{
cout
<<
"
ClassC.fun3
"
<<
endl;
};
void
main()
{
ClassA
*
a[
3
];
ClassA a1;
ClassB b1;
ClassC c1;
a1.fun3();
b1.fun3();
c1.fun3();
a[
0
]
=
&
a1;
a[
1
]
=
&
b1;
a[
2
]
=
&
c1;
cout
<<
"
virtual function array test
"
<<
endl;
for
(
int
i
=
0
;i
<
3
;i
++
)
{
a[i]
->
fun3();
}
cout
<<
"
((ClassA)&b1).fun3():
"
;
((ClassA
*
)
&
b1)
->
fun3();
//
object slicing
cout
<<
"
object slicing
"
<<
endl;
cout
<<
"
((ClassA)b1).fun3():
"
;
((ClassA)b1).fun3();
}
类继承结构图如下：
其中fun3是虚拟函数，对ClassB,ClassC子类中分别进行了重写。
下面我解释一下虚函数的背后是怎么实现的：
我们都知道，虚函数可以做到动态绑定，为了实现动态绑定，编译器是通过一个表格（虚拟函数表），在运行时间接的调用实际上绑定的函数来达到动态绑定，其中这个我刚所说的表格其实现就是一个“虚拟函数表”。这张表对我们程序来说是透明的。是编译器为我们的代码自动加上去的（更准确的讲，并不是为所有的代码都添加一张虚拟函数表，而是只针对那些包括虚函数的代码才加上这张表的）。
既然有了这么一张虚拟函数表，自然而然我们就会想到，这个虚拟函数表里到底是存放一些什么东西呢？很简单，即然叫做虚拟函数表，当然是存放虚拟函数了，呵呵，在c++中，该表每一行的元素应该就是我们代码中虚拟函数地址了，也就是一个指针。有了这个地址，我们可以调用实际代码中的虚拟函数了。
编译器既然为我们的代码加了一张虚拟函数表，那这张虚拟函数表怎么与我们的代码关联起来呢？ 要实现动态绑定，我们应该利用这张虚拟函数表来调用虚拟函数，为了达到目的，编译器又会为我们的代码增加一个成员变量，这个成员变量就是一个指向该虚拟函数表的指针，该成员变量通常被命名为：vptr。
说到了这里，上面代码中的ClassA中的在内存中应该如下图所示：
有一点要说明一下，当子类在改写了父类中的虚拟函数时，同时子类的vptr成员也会作修改，此时，子类的vptr成员指向的虚拟函数表中的存放的虚拟函数指针不再是父类的虚拟函数地址了，而是子类所改写父类的虚拟函数地址。理解这一点就很容易想到了：原来多态体现在这里！
有了上面的说明，接下来ClassB,ClassC类的内存占据空间应该如下图所示：
同理，ClassC也一样。（这些图画得真是丑啊！）
于是一个指向ClassA的对象的实例，调用 fun3就是ClassA::fun3()，一个指向ClassB的对象的实例，调用 fun3就是ClassB::fun3()，一个指向ClassC的对象的实例，调用 fun3就是ClassC::fun3()，这些调用通过都是通过虚拟函数表来进行的。
最后，上面代码中main函数的示例的执行结果也就是恍然大悟了，答案就在上一篇随笔的回复里面。已经有人帮我回复了，就此谢过了！ 欢迎大家一起探讨！
