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

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

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

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

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

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

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

从面向对象的常规视图：关于抽象方法：当你把一个抽象方法放在父类中时，实际上你在对子类说：嘿，注意你有一个这样的方法签名。如果你想使用它，你应该实现你自己的！关于虚拟函数：当你在父类中放置一个虚拟方法时，你会对派生类说：嘿，这里有一个功能可以为你做些什么。如果这对你有用，就使用它。如果没有，重写它并实现你的代码，甚至你可以在代码中使用我的实现！这是关于通用OO中这两个概念之间不同的一些哲学

C#中没有调用虚拟类的内容。

对于函数

抽象函数仅具有签名，驱动器类应使用功能重写。虚拟功能将保留驱动器类根据需要可以覆盖或不覆盖的部分功能

你可以决定你的要求。

抽象函数不能有主体，必须由子类重写

虚函数将有一个主体，并且可以或不可以被子类重写

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

这是主要的区别。

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

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

抽象函数（方法）：

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

● 它没有身体。

● 它应该由派生类实现。

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

虚拟函数（方法）：

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

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