virtual（C# 参考）

项目
09/22/2022

virtual 关键字用于修改方法、属性、索引器或事件声明，并使它们可以在派生类中被重写。例如，此方法可被任何继承它的类替代：

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

虚拟成员的实现可由派生类中的替代成员更改。有关如何使用 virtual 关键字的详细信息，请参阅使用 Override 和 New 关键字进行版本控制和了解何时使用 Override 和 New 关键字。

备注

调用虚拟方法时，将为替代的成员检查该对象的运行时类型。将调用大部分派生类中的该替代成员，如果没有派生类替代该成员，则它可能是原始成员。

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

virtual 修饰符不能与 static、abstractprivate 或 override 修饰符一起使用。以下示例显示了虚拟属性：

class MyBaseClass
{
    // virtual auto-implemented property. Overrides can only
    // provide specialized behavior if they implement get and set accessors.
    public virtual string Name { get; set; }

    // ordinary virtual property with backing field
    private int _num;
    public virtual int Number
    {
        get { return _num; }
        set { _num = value; }
    }
}

class MyDerivedClass : MyBaseClass
{
    private string _name;

    // Override auto-implemented property with ordinary property
    // to provide specialized accessor behavior.
    public override string Name
    {
        get
        {
            return _name;
        }
        set
        {
            if (!string.IsNullOrEmpty(value))
            {
                _name = value;
            }
            else
            {
                _name = "Unknown";
            }
        }
    }
}

除声明和调用语法不同外，虚拟属性的行为与虚拟方法相似。

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

示例

在该示例中，Shape 类包含 x、y 两个坐标和 Area() 虚拟方法。不同的形状类（如 Circle、Cylinder 和 Sphere）继承 Shape 类，并为每个图形计算表面积。每个派生类都有各自的 Area() 替代实现。

请注意，继承的类 CircleSphere 和 Cylinder 均使用初始化基类的构造函数，如下面的声明中所示。

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

根据与方法关联的对象，下面的程序通过调用 Area() 方法的相应实现来计算并显示每个对象的相应区域。

class TestClass
{
    public class Shape
    {
        public const double PI = Math.PI;
        protected double _x, _y;

        public Shape()
        {
        }

        public Shape(double x, double y)
        {
            _x = x;
            _y = y;
        }

        public virtual double Area()
        {
            return _x * _y;
        }
    }

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

        public override double Area()
        {
            return PI * _x * _x;
        }
    }

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

        public override double Area()
        {
            return 4 * PI * _x * _x;
        }
    }

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

        public override double Area()
        {
            return 2 * PI * _x * _x + 2 * PI * _x * _y;
        }
    }

    static void Main()
    {
        double r = 3.0, h = 5.0;
        Shape c = new Circle(r);
        Shape s = new Sphere(r);
        Shape 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());
    }
}
/*
Output:
Area of Circle   = 28.27
Area of Sphere   = 113.10
Area of Cylinder = 150.80
*/

C# 语言规范

有关详细信息，请参阅 C# 语言规范。该语言规范是 C# 语法和用法的权威资料。