深入剖析C#的多态二

三、虚方法

　　当类中的方法声明前加上了virtual 修饰符，我们称之为虚方法，反之为非虚。使用了virtual 修饰符后，不允许再有static, abstract, 或override 修饰符。

示例1：带有虚方法的类

using System ;

public class DrawingBase

{

public virtual void Draw( )

{ Console.WriteLine("这是一个虚方法！") ; }

}

　　说明：这里定义了DrawingBase类。这是个可以让其他对象继承的基类。该类有一个名为Draw( )的方法。Draw( )方法带有一个virtual修饰符，该修饰符表明：该基类的派生类可以重载该方法。DrawingBase类的 Draw( )方法完成如下事情：输出语句"这是一个虚方法！"到控制台。

示例2：带有重载方法的派生类

using System ;

public class Line : DrawingBase

{

public override void Draw( )

{ Console.WriteLine("画线.") ; }

}

public class Circle : DrawingBase

{

public override void Draw( )

{ Console.WriteLine("画圆.") ; }

}

public class Square : DrawingBase

{

public override void Draw( )

{ Console.WriteLine("画正方形.") ; }

}

　　说明：上面程序定义了三个类。这三个类都派生自DrawingBase类。每个类都有一个同名Draw( )方法，这些Draw( )方法中的每一个都有一个重载修饰符。重载修饰符可让该方法在运行时重载其基类的虚方法，实现这个功能的条件是：通过基类类型的指针变量来引用该类。

　　对于非虚的方法，无论被其所在类的实例调用，还是被这个类的派生类的实例调用，方法的执行方式不变。而对于虚方法，它的执行方式可以被派生类改变，这种改变是通过方法的重载来实现的。

　　下面的例子说明了虚方法与非虚方法的区别。

 using System ;

class A

{

public void F( ) { Console.WriteLine("A.F") ; }

public virtual void G( ) { Console.WriteLine("A.G") ; }

}

class B: A

{

new public void F( ) { Console.WriteLine("B.F") ; }

public override void G( ) { Console.WriteLine("B.G") ; }

}

class Test

{

static void Main( )

{

B b = new B( ) ;

A a = b;

a.F( ) ;

b.F( ) ;

a.G( ) ;

b.G( ) ;

}

}

　　例子中，A 类提供了两个方法：非虚的F 和虚方法G 。类B 则提供了一个新的非虚的方法F， 从而覆盖了继承的F; 类B 同时还重载了继承的方法G 。那么输出应该是：A.F B.F B.G B.G

　　注意到本例中，方法a.G( ) 实际调用了B.G，而不是A.G，这是因为编译时值为A，但运行时值为B ，所以B 完成了对方法的实际调用。