抽象函数“只是”签名，没有实现。它在接口中用于声明如何使用类。它必须在其中一个派生类中实现。

虚函数（实际上是方法）也是您声明的函数，应该在继承层次结构类之一中实现。

此类类的继承实例也继承实现，除非您在较低层次结构类中实现它。

必须始终重写抽象函数。

因此：

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

从C++背景来看，C#虚拟对应于C++虚拟，而C#抽象方法对应于C++纯虚拟函数

如果一个类从这个抽象类派生，那么它将被强制重写抽象成员。这与虚修饰符不同，虚修饰符指定可以可选地重写成员。

抽象函数不能具有功能。你基本上是说，任何子类都必须给出自己版本的这个方法，但是它太通用了，甚至无法在父类中实现。

一个虚拟函数，基本上就是说，看，这里的功能对于子类来说可能不够好，也可能不够好。因此，如果它足够好，请使用此方法，如果不好，请重写我，并提供您自己的功能。

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

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

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

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

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

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

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