http://blog.sina.com.cn/s/blog_413189410100bgbw.html
虚函数:可由子类继承并重写的函数,后期绑定
抽像函数:规定其非虚子类必须实现的函数,必须被重写。
接口:必须重写
要想实现多态的方法之一就是使用到虚函数。抽象出一个高内聚、低偶合,易于维护和扩展的模型。
但是在抽象过程中我们会发现很多事物的特征不清楚,或者很容易发生变动,怎么办呢?比如飞禽都有飞这个动作,但是对于不同的鸟类它的飞的动作方式是不同的,有的是滑行,有的要颤抖翅膀,虽然都是飞的行为,但具体实现却是千差万别,在我们抽象的模型中不可能把一个个飞的动作都考虑到,那么怎样为以后留下好的扩展,怎样来处理各个具体飞禽类千差万别的飞行动作呢?比如我现在又要实现一个类“鹤”,它也有飞禽的特征(比如飞这个行为),如何使我可以只用简单地继承“飞禽”,而不去修改“飞禽”这个抽象模型现有的代码,从而达到方便地扩展系统呢?
因此面向对象的概念中引入了虚函数来解决这类问题。
使用虚函数就是在父类中把子类中共有的但却易于变化或者不清楚的特征抽取出来,作为子类需要去重新实现的操作(override)。而虚函数也是OOP中实现多态的关键之一。
下面引举一个例子:(用C#描述)
class 飞禽
{
}
class 麻雀 : 飞禽
{
}
class 鹤 : 飞禽
{
…… // 定义鹤自己的特有的属性和行为
}
这样我们只需要在抽象模型“飞禽”里定义Fly()这个行为,表示所有由此“飞禽”派生出去的子类都会有Fly()这个行为,而至于Fly()到底具体是怎么实现的,那么就由具体的子类去实现就好了,不会再影响“飞禽”这个抽象模型了。
比如现在我们要做一个飞禽射击训练的系统,我们就可以这样来使用上面定义的类:
// 如何来使用虚函数,这里同时也是一个多态的例子.
// 定义一个射击飞禽的方法
// 注意这里声明传入一个“飞禽”类作为参数,而不是某个具体的“鸟类”。好处就是以后不管再出现多少
// 种鸟类,只要是从飞禽继承下来的,都照打不误:)(多态的方式)
void ShootBird(飞禽 bird)
{
}
static void main()
{
}
虚函数从C#的程序编译的角度来看,它和其它一般的函数有什么区别呢?一般函数在编译时采用先期绑定编译到了执行文件中,其相对地址在程序运行期间是不发生变化的。而虚函数在编译期间采用的是后期绑定,它的相对地址是不确定的,它会根据运行时期对象实例来动态判断要调用的函数,其中那个声明时定义的类叫声明类,那个执行时实例化的类叫实例类。
(
那么飞禽就是声明类,麻雀是实例类。
具体的检查的流程如下:
(1)当调用一个对象的函数时,系统会直接去检查这个对象声明定义的类,即声明类,看所调用的函数是否为虚函数;
(2)如果不是虚函数,那么它就直接执行该函数。而如果有virtual关键字,也就是一个虚函数,那么这个时候它就不会立刻执行该函数了,而是转去检查对象的实例类。
(3)在这个实例类里,他会检查这个实例类的定义中是否重新实现了该虚函数(通过override关键字),如果是,则执行该实例类中的这个重新实现的函数。而如果没有的话,系统就会不停地往上找实例类的父类,并对父类重复刚才在实例类里的检查,直到找到第一个重写了该虚函数的父类为止,然后执行该父类里重写后的函数。
知道这点,就可以理解下面代码的运行结果了:
class A
{
}
class B : A
{
}
class C : B
{
}
class D : A
{
}
static void main()
{
}