相信大家都对面向对象的三个特征封装、继承、多态很熟悉,每个人都能说上一两句,但是大多数都仅仅是知道这些是什么,不知道 CLR 内部是如何实现的,所以本篇文章主要说说多态性中的一些概念已经内部实现的机理。
首先解释下什么叫多态:同一操作作用于不同的对象,可以有不同的解释,产生不同的执行结果,这就是多态性。换句话说,实际上就是同一个类型的实例调用"相同"的方法,产生的结果是不同的。这里的"相同"打上双引号是因为这里的相同的方法仅仅是看上去相同的方法,实际上它们调用的方法是不同的。
说到多态,我们不能免俗的提到下面几个概念:重载、重写、虚方法、抽象方法以及隐藏方法。下面就来一一介绍他们的概念。
1、重载(overload): 在同一个作用域(一般指一个类)的两个或多个方法函数名相同,参数列表不同的方法叫做重载,它们有三个特点(俗称两必须一可以):
例如:
public void Sleep()
{
Console.WriteLine("Animal睡觉");
}
public int Sleep(int time)
{
Console.WriteLine("Animal{0}点睡觉", time);
return time;
}
2、重写(override):子类中为满足自己的需要来重复定义某个方法的不同实现,需要用 override 关键字,被重写的方法必须是虚方法,用的是 virtual 关键字。它的特点是(三个相同):
如:父类中的定义:
public virtual void EatFood()
{
Console.WriteLine("Animal吃东西");
}
子类中的定义:
public override void EatFood()
{
Console.WriteLine("Cat吃东西");
//base.EatFood();
}
小提示:经常有童鞋问重载和重写的区别,而且网络上把这两个的区别作为 C# 做常考的面试题之一。实际上这两个概念完全没有关系,仅仅都带有一个"重"字。他们没有在一起比较的意义,仅仅分辨它们不同的定义就好了。
3、虚方法:即为基类中定义的允许在派生类中重写的方法,使用virtual关键字定义。如:
public virtual void EatFood()
{
Console.WriteLine("Animal吃东西");
}
注意:虚方法也可以被直接调用。如:
Animal a = new Animal();
a.EatFood();
执行输出结果为:
Animal吃东西
4、抽象方法:在基类中定义的并且必须在派生类中重写的方法,使用 abstract 关键字定义。如:
public abstract class Biology
{
public abstract void Live();
}
public class Animal : Biology
{
public override void Live()
{
Console.WriteLine("Animal重写的抽象方法");
//throw new NotImplementedException();
}
}
注意:抽象方法只能在抽象类中定义,如果不在抽象类中定义,则会报出如下错误:
虚方法和抽象方法的区别是:因为抽象类无法实例化,所以抽象方法没有办法被调用,也就是说抽象方法永远不可能被实现。
5、隐藏方法:在派生类中定义的和基类中的某个方法同名的方法,使用 new 关键字定义。如在基类 Animal 中有一方法 Sleep():
public void Sleep()
{
Console.WriteLine("Animal Sleep");
}
则在派生类 Cat 中定义隐藏方法的代码为:
new public void Sleep()
{
Console.WriteLine("Cat Sleep");
}
或者为:
public new void Sleep()
{
Console.WriteLine("Cat Sleep");
}
注意:
好了,基本概念讲完了,下面来看一个例子,首先我们新建几个类:
public abstract class Biology
{
public abstract void Live();
}
public class Animal : Biology
{
public override void Live()
{
Console.WriteLine("Animal重写的Live");
//throw new NotImplementedException();
}
public void Sleep()
{
Console.WriteLine("Animal Sleep");
}
public int Sleep(int time)
{
Console.WriteLine("Animal在{0}点Sleep", time);
return time;
}
public virtual void EatFood()
{
Console.WriteLine("Animal EatFood");
}
}
public class Cat : Animal
{
public override void EatFood()
{
Console.WriteLine("Cat EatFood");
//base.EatFood();
}
new public void Sleep()
{
Console.WriteLine("Cat Sleep");
}
//public new void Sleep()
//{
// Console.WriteLine("Cat Sleep");
//}
}
public class Dog : Animal
{
public override void EatFood()
{
Console.WriteLine("Dog EatFood");
//base.EatFood();
}
}
下面来看看需要执行的代码:
class Program
{
static void Main(string[] args)
{
//Animal的实例
Animal a = new Animal();
//Animal的实例,引用派生类Cat对象
Animal ac = new Cat();
//Animal的实例,引用派生类Dog对象
Animal ad = new Dog();
//Cat的实例
Cat c = new Cat();
//Dog的实例
Dog d = new Dog();
//重载
a.Sleep();
a.Sleep(23);
//重写和虚方法
a.EatFood();
ac.EatFood();
ad.EatFood();
//抽象方法
a.Live();
//隐藏方法
a.Sleep();
ac.Sleep();
c.Sleep();
Console.ReadKey();
}
}
首先,我们定义了几个我们需要使用的类的实例,需要注意的是:
下面我们来一步一步的分析:
1、
//重载
a.Sleep();
a.Sleep(23);
很明显,Animal 的变量 a 调用的两个 Sleep 方法是重载的方法,第一句调用的是无参数的 Sleep() 方法,第二句调用的是有一个 int 参数的 Sleep 方法。注意两个 Sleep 方法的返回值不一样,这也说明了重写的三个特征中的最后一个特征——返回值可以不相同。
运行的结果如下:
Animal Sleep
Animal在23点Sleep
2、
//重写和虚方法
a.EatFood();
ac.EatFood();
ad.EatFood();
在这一段中,a、ac 以及 ad 都是 Animal 的实例,但是他们引用的对象不同,a 引用的是 Animal 对象,ac 引用的是 Cat 对象,ad 引用的是 Dog 对象,这个差别会造成执行结果的什么差别呢,请看执行结果:
Animal EatFood
Cat EatFood
Dog EatFood
第一句 Animal 实例,直接调用 Animal 的虚方法 EatFood,没有任何问题。
在第二、三句中,虽然同样是 Animal 的实例,但是他们分别指向 Cat 和 Dog 对象,所以调用的 Cat 类和 Dog 类中各自重写的 EatFood 方法,就像是 Cat 实例和 Dog 实例直接调用 EatFood 方法一样。这个也就是多态性的体现:同一操作作用于不同的对象,可以有不同的解释,产生不同的执行结果。
3、
//抽象方法
a.Live();
这个比较简单,就是直接重写父类 Biology 中的 Live 方法,执行结果如下:
Animal重写的Live
4、
//隐藏方法
a.Sleep();
ac.Sleep();
c.Sleep();
在分析隐藏方法时要和虚方法、重写相互比较。变量 a 调用 Animal 类的 Sleep 方法以及变量 c 调用 Cat 类的 Sleep 方法没有异议,但是变量 ac 引用的是一个 Cat 类型的对象,它应该调用 Animal 类型的 EatFood 方法呢,还是 Cat 类型的 EatFood 方法呢?答案是调用父类即 Animal 的 EatFood 方法。执行结果如下:
Animal Sleep
Animal Sleep
Cat Sleep
大多数的文章都是介绍到这里为止,仅仅是让我们知道这些概念以及调用的方法,而没有说明为什么会这样。下面我们就来深入一点,谈谈多态背后的机理。
要深入理解多态性,就要先从值类型和引用类型说起。我们都知道值类型是保存在线程栈上的,而引用类型是保存在托管堆中的。因为所有的类都是引用类型,所以我们仅仅看引用类型。
现在回到刚才的例子,Main 函数时程序的入口,在 JIT 编译器将 Main 函数编译为本地CPU指定时,发现该方法引用了 Biology、Animal、Cat、Dog这几个类,所以 CLR 会创建几个实例来表示这几个类型本身,我们把它称之为"类型对象"。该对象包含了类中的静态字段,以及包含类中所有方法的方法表,还包含了托管堆中所有对象都要有的两个额外的成员——类型对象指针(Type Object Point)和同步块索引(sync Block Index)。
可能上面这段对于有些没有看过相关CLR书籍的童鞋没有看懂,所以我们画个图来描述一下:
上面的这个图是在执行 Main 函数之前 CLR 所做的事情,下面开始执行 Main 函数(方便起见,简化一下 Main 函数):
//Animal的实例
Animal a = new Animal();
//Animal的实例,引用派生类Cat对象
Animal ac = new Cat();
//Animal的实例,引用派生类Dog对象
Animal ad = new Dog();
a.Sleep();
a.EatFood();
ac.EatFood();
ad.EatFood();
下面实例化三个 Animal 实例,但是他们实际上指向的分别是 Animal 对象、Cat 对象和 Dog 对象,如下图:
请注意,变量 ac 和 ad 虽然都是 Animal 类型,但是指向的分别是 Cat 对象和 Dog 对象,这里是关键。
当执行 a.Sleep() 时,由于 Sleep 是非虚实例方法,JIT 编译器会找到发出调用的那个变量(a)的类型(Animal)对应的类型对象(Animal 类型对象)。然后调用该类型对象中的 Sleep 方法,如果该类型对象没有 Sleep 方法,JIT 编译器会回溯类的基类(一直到 Object)中查找 Sleep 方法。
当执行 ac.EatFood 时,由于 EatFood 是虚实例方法,JIT 编译器调用时会在方法中生成一些额外的代码,这些代码会首先检查发出调用的变量(ac),然后跟随变量的引用地址找到发出调用的对象(Cat 对象),找到发出调用的对象对应的类型对象(Cat 类型对象),最后在该类型对象中查找 EatFood 方法。同样的,如果在该类型对象中没有查找到 EatFood 方法,JIT 编译器会回溯到该类型对象的基类中查找。
上面描述的就是 JIT 编译器在遇到调用类型的非虚实例方法以及虚实例方法时的不同执行方式,也这是处理这两类方法的不同方式造成了表面上我们看到的面向对象的三个特征之一——多态性。