virtual关键字详讲

virtual 关键字用于修改方法或属性的声明，在这种情况下，方法或属性被称作虚拟成员。虚拟成员的实现可由派生类中的重写成员更改。

调用虚方法时，将为重写成员检查该对象的运行时类型。将调用大部分派生类中的该重写成员，如果没有派生类重写该成员，则它可能是原始成员。（有关运行时类型和大部分派生实现的更多信息，请参见 10.5.3 虚拟方法。）

默认情况下，方法是非虚拟的。不能重写非虚方法。

不能将 virtual 修饰符与以下修饰符一起使用：

static   abstract   override

除了声明和调用语法不同外，虚拟属性的行为与抽象方法一样。

• 在静态属性上使用 virtual 修饰符是错误的。
• 通过包括使用 override 修饰符的属性声明，可在派生类中重写虚拟继承属性。

有关虚方法的更多信息，请参见 10.5.3 虚拟方法。

示例

在该示例中，Dimensions 类包含 x 和 y 两个坐标和 Area() 虚方法。不同的形状类，如 Circle、Cylinder 和 Sphere 继承 Dimensions 类，并为每个图形计算表面积。每个派生类都有各自的 Area() 重写实现。根据与此方法关联的对象，通过调用正确的 Area() 实现，该程序为每个图形计算并显示正确的面积。
 

// cs_virtual_keyword.cs
// Virtual and override
using System;
class TestClass 
{
   public class Dimensions 
   {
      public const double pi = Math.PI;
      protected double x, y;
      public Dimensions() 
      {
      }
      public Dimensions (double x, double y) 
      {
         this.x = x;
         this.y = y;
      }

      public virtual double Area() 
      {
         return x*y;
      }
   }

   public class Circle: Dimensions 
   {
      public Circle(double r): base(r, 0) 
      {
      }

      public override double Area() 
      { 
         return pi * x * x; 
      }
   }

   class Sphere: Dimensions 
   {
      public Sphere(double r): base(r, 0) 
      {
      }

      public override double Area()
      {
         return 4 * pi * x * x; 
      }
   }

   class Cylinder: Dimensions 
   {
      public Cylinder(double r, double h): base(r, h) 
      {
      }

      public override double Area() 
      {
         return 2*pi*x*x + 2*pi*x*y; 
      }
   }

   public static void Main()  
   {
      double r = 3.0, h = 5.0;
      Dimensions c = new Circle(r);
      Dimensions s = new Sphere(r);
      Dimensions l = new Cylinder(r, h);
      // Display results:
      Console.WriteLine("Area of Circle   = {0:F2}", c.Area());
      Console.WriteLine("Area of Sphere   = {0:F2}", s.Area());
      Console.WriteLine("Area of Cylinder = {0:F2}", l.Area());
   }
}

输出

Area of Circle   = 28.27
Area of Sphere   = 113.10
Area of Cylinder = 150.80

在前面的示例中，注意继承的类 Circle、Sphere 和 Cylinder 都使用了初始化基类的构造函数，例如：

public Cylinder(double r, double h): base(r, h) {}

这类似于 C++ 的初始化列表。