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

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

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

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

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

抽象（纯）/具体方法：该方法必须被重写/不能被重写；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只是隐藏的，所以当我从基类调用它时，我会得到原始方法。

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

据我所知：

抽象方法：

只有抽象类才能保存抽象方法。派生类也需要实现该方法，并且类中没有提供任何实现。

虚拟方法：

类可以声明这些并提供其实现。派生类还需要实现方法来重写它。

抽象函数（方法）：

● 抽象方法是用关键字abstract声明的方法。

● 它没有身体。

● 它应该由派生类实现。

● 如果方法是抽象的，那么类应该是抽象的。

虚拟函数（方法）：

● 虚方法是用关键字virtual声明的方法，它可以通过使用override关键字由派生类方法重写。

● 是否重写它取决于派生类。