C#关键字 abstract、virtual

abstract

abstract 修饰符可用于类、方法、属性、索引和事件。

抽象类具有以下功能：

• 抽象类仅用作派生类的基类，而不能实例化。
• 无法使用 sealed 修饰符来修改抽象类，因为两个修饰符的含义相反。 sealed 修饰符阻止类被继承，而 abstract修饰符要求类被继承。
• 派生自抽象类的非抽象类，必须包含全部已继承的抽象方法和访问器的实际实现。

抽象方法具有以下功能：

• 抽象方法是隐式的虚拟方法。
• 只有抽象类中才允许抽象方法声明。
• 由于抽象方法声明不提供实际的实现，因此没有方法主体；方法声明仅以分号结尾，且签名后没有大括号 ({ })。
• 在抽象方法声明中使用 static 或 virtual 修饰符是错误的。
• 在静态属性上使用 abstract 修饰符是错误的。
• 通过包含使用 override 修饰符的属性声明，可在派生类中重写抽象继承属性。

//抽象类
abstract class Shape
{
    public abstract int GetArea(); //抽象方法
}

//Shape抽象类的派生类 
class Square : Shape
{
    private int _side;

    public Square(int n) => _side = n;

    // GetArea method is required to avoid a compile-time error.
    //基类的抽象方法在派生类实现 且要加 override（重写）
    public override int GetArea() => _side * _side;

    static void Main()
    {
        var sq = new Square(12);
        Console.WriteLine($"Area of the square = {sq.GetArea()}");
    }
}
// Output: Area of the square = 144

virtual

关键字用于修改方法、属性、索引器或事件声明，并使它们可以在派生类中被重写。

虚拟成员的实现可由派生类中的替代成员更改

区别：

虚函数：没有实现的，可以由子类继承并重写的函数。
抽象函数：规定其非虚子类必须实现的函数，必须被重写。