图.-命题的传统三重分类。

在道义逻辑（义务和许可的研究）中，每个命题都是强制性的（“必须”运算符）、可选的（“可能”运算符）或不允许的（“不得”运算符），任何命题都不属于这三类中的一类。

此外，允许（“可能”运算符）命题是强制性或可选的命题，不允许（“未必”运算符）的命题是不允许或可选的，非可选（“必须或不得”运算符）是强制性或不允许的命题。

特别是，强制性命题是允许的，而不允许的命题是不允许的。

将这些运算符应用于命题“方法被覆盖”会产生以下命题：

抽象（纯）/具体方法：该方法必须被重写/不能被重写；virtual/real（final）方法：该方法可以被重写/不能被重写。

特别是，抽象方法是虚拟的，而真实方法是具体的。

只有抽象类才能有抽象成员。从抽象类继承的非抽象类必须重写其抽象成员。抽象成员是隐式虚拟的。抽象成员不能提供任何实现（抽象在某些语言中称为纯虚拟）。

必须始终重写抽象函数。

因此：

抽象函数-当继承者必须提供自己的实现时虚拟-由继承人决定

抽象方法是一种必须实现才能生成具体类的方法。声明在抽象类中（任何具有抽象方法的类都必须是抽象类），并且必须在具体类中实现。

虚拟方法是一种可以在派生类中使用重写重写的方法，替换超类中的行为。如果不覆盖，则获得原始行为。如果你这样做，你总会得到新的行为。这与不能重写但可以隐藏原始方法的非虚拟方法相反。这是使用新修改器完成的。

请参见以下示例：

public class BaseClass
{
    public void SayHello()
    {
        Console.WriteLine("Hello");
    }


    public virtual void SayGoodbye()
    {
        Console.WriteLine("Goodbye");
    }

    public void HelloGoodbye()
    {
        this.SayHello();
        this.SayGoodbye();
    }
}


public class DerivedClass : BaseClass
{
    public new void SayHello()
    {
        Console.WriteLine("Hi There");
    }


    public override void SayGoodbye()
    {
        Console.WriteLine("See you later");
    }
}

当我实例化DerivedClass并调用SayHello或SayGoodbye时，我会得到“Hi There”和“See you later”。如果我打电话给HelloGoodbye，我会收到“你好”和“再见”。这是因为SayGoodbye是虚拟的，可以被派生类替换。SayHello只是隐藏的，所以当我从基类调用它时，我会得到原始方法。

抽象方法是隐式虚拟的。它们定义了必须存在的行为，更像是一个接口。

抽象方法总是虚拟的。它们无法实现。

这是主要的区别。

基本上，如果您有一个虚拟方法的“默认”实现，并且希望允许后代更改其行为，那么您将使用该方法。

使用抽象方法，可以强制后代提供实现。

抽象方法：当类包含抽象方法时，该类必须声明为抽象的。抽象方法没有实现，因此派生自该抽象类的类必须为该抽象方法提供实现。

虚拟方法：类可以具有虚拟方法。虚拟方法有一个实现。当从具有虚拟方法的类继承时，可以重写虚拟方法并提供额外的逻辑，或者用自己的实现替换逻辑。

何时使用什么：在某些情况下，您知道某些类型应该有一个特定的方法，但您不知道该方法应该有什么实现。在这种情况下，您可以创建包含具有此签名的方法的接口。然而，如果您有这样的情况，但您知道该接口的实现者也将有另一个通用方法（您已经可以为其提供实现），那么您可以创建一个抽象类。然后，这个抽象类包含抽象方法（必须重写）和另一个包含“公共”逻辑的方法。

如果您有一个可以直接使用的类，但您希望继承者能够更改某些行为，则应使用虚拟方法，尽管这不是强制性的。