MSDN上对virtual方法的解释：试着翻译如下
当一个方法声明包含virtual修饰符，这个方法就是虚方法。如果没有virtual修饰符，那么就不是虚方法。
非虚方法的实现是不变的：不管该方法是被声明该方法的类的实例调用，还是该类的子类所调用，实现的结果都是一样。相比之下，虚方法会在子类中被取代。取代继承的虚方法的过程就是override。
在一个虚方法的调用中，方法所在的实例的运行时类型决定了实际哪个方法要被实现。在一个非虚方法的调用中，实例的编译时类型（编译时类型与运行时类型的区别）是决定性因素。准确地说，当一个参数列表为A，名叫N的方法在编译时类型C和运行时类型R的实例上调用时（R或者是C或者是C的子类），调用过程如下进行：
- 首先，重载决议应用在C，N和A上，去从方法集合中选择一个在C中声明并继承的特定的方法M。
- 然后，如果M是非虚方法，M就被调用。
- 否则，M是虚方法，R中M派生程度最大的方法的实现被调用。
对于声明或继承于一个类的每个虚方法，相对于那个类都有一个派生程度最大的实现。对于每一个类R，派生程度最大的虚方法实现如下定义：
- 如果R包含M的virtual声明，那么这就是M的派生程度最大的实现。
- 否则，如果R包含M的override，那么，这就是M的派生程度最大的实现。
- 否则，R的M派生程度最大的实现与R的直接父类的M最大派生程度最大实现相同。
using System;
class A
{
public void F() { Console.WriteLine("A.F"); }
public virtual void G() { Console.WriteLine("A.G"); }
}
class B: A
{
new public void F() { Console.WriteLine("B.F"); }
public override void G() { Console.WriteLine("B.G"); }
}
class Test
{
static void Main() {
B b = new B();
A a = b;
a.F();
b.F();
a.G();
b.G();
}
}
结果：
A.F
B.F
B.G
B.G
这么一大段，实在很难看懂。最后，根据《你必须知道的.NET》一书的对继承本质的描述，感觉清晰了一些。试着归纳如下：
对于给定的两个类：
class A
{
public virtual void F()
{
Console.WriteLine("A.F");
}
}
class B :A
{
public override void F()
{
Console.WriteLine("B.F");
}
}
以及程序：
A a=new B();
a.F();//"B.F"
到底发生了什么呢？
根据下图:
显然A是编译时类型，指向了作为运行时类型B的实例。
当new B()时，首先将B的父类A所有的虚方法都复制了一份，然后和B中自己所有的方法对比，如果B中有override的虚方法，则以子类的方法替换父类的方法，同时添加子类其他的新方法。
因此，结果是B中的方法被执行。
另一个例子：
class Z
{
public virtual void F1()
{
Console.WriteLine("Z.F");
}
}
class E:Z
{
public string type = "eType";
public override void F1()
{
Console.WriteLine(type);
}
}
class F : E
{
public string type = "fType";
public override void F1()
{
Console.WriteLine(type);
}
}
E e=new F();
Console.WriteLine(e.type);
e.F1();
结果出我意外：e.type里是eType,而e.F1()则是fType。
后者不难理解，因为是override，而前者是因为其为E类型，会首先访问离E类型创建最近的字段或方法。
最后，仍旧是MSDN上的一个例子
class A
{
public virtual void F() { Console.WriteLine("A.F"); }
}
class B : A
{
public override void F() { Console.WriteLine("B.F"); }
}
class C : B
{
new public virtual void F() { Console.WriteLine("C.F"); }
}
class D : C
{
public override void F() { Console.WriteLine("D.F"); }
}
D d = new D();
A a = d;
B b = d;
C c = d;
a.F();
b.F();
c.F();
d.F();
结果依次是：
B.F
B.F
D.F
D.F
两个D.F的结果好理解，为什么前两个是B.F呢？
因为d中其实有两个方法，一个是被隐藏的F()，其实现是B.F，另一个是显式的F()，其实现是D.F。根据”new则看类型，override只管新“，因为类型为A和B，那么其结果就为被隐藏的B.F。