多态(Polymorphism)
-- 面向对象的典征，现代软件设计的基石
All rights reserved.
Samuel
12.12.2004 first published on www.cnblogs.com/samuel
前言
如果让你选择一项面向对(Object Oriented，后文简称OO)象最重要的或者最能表现OO特点的技术特征，会是什么？
封装(wrap)、继承(inheritance)、重载(override)还是多态(polymorphism)，亦或是其他？
在我看来，答案无疑将是多态。封装是优点，继承是基础，重载是特点，而多态则是特征。
虽然这四者缺一不可，无论少了哪一个，就像一个人缺胳膊少腿，使OO将不再是完整的，但是前三者对于OO来说好比鼻子耳朵，而多态则是生殖器，没有多态的OO就象是被阉割的雄性，已经失去其典征。
什么是多态？
简单来说，多态是具有表现多种形态的能力的特征，在OO中是指，语言具有根据对象的类型以不同方式处理之，特别是重载方法和继承类这种形式，的能力。多态被认为是面向对象语言的必备特性。
多态有多种分类，通过了解这些分类可以更丰满对其认识，在这里就不再罗列，请各位参考 wiki大百科 和 javaworld .
多态与泛型(generic)
多态实际上就是泛型。
所谓泛型就是指我们不为特定的类型进行专门编码，而采用对不同类型进行通用编码的方式，无论是数据结果还是算法。
传统的泛型是指类似以Template function的方式使参数一般化，典型的应用是C++ STL，比如List、Vector以及algorithm。
而OO已能通过接口(Interface)和抽象类(Abstract Class)进行真正意义上的泛型了。在我看来，这就是OO最精彩的地方，也就是多态的威力。而对于传统意义上的Generic，我始终觉得其作用已经今不如昔了。
多态和继承(Inheritance)
严格来说，多态与继承、重载并不是孤立的，他们之间存在着紧密的联系，多态是建立在这两者的基础之上的（实际上继承就有用重载这一特性）。
传统的多态实际上就是由虚函数(Virtual Function)利用虚表(Virtual Table)实现的（早期C模拟OO特性时使用最多，C++的实现也是，后来的技术未作研究，是否使用VT不得而知），自然是离不开继承，换句话说多态实际上覆盖了继承。
正是由于继承与多态的紧密联系，使得我们很容易张冠李戴，那么如何区别呢？
举个常用的例子：
Abstract Class Sharp implement IHaveSide {
public bool isSharp(){
return true;
}
public abstract int getSides();
}
Class Triangle extends Sharp {
public override int getSides() {
return 3;
}
}
Class Rectangle extends Sharp {
pubilc override int getSides() {
return 4;
}
}
那么这种类的关系叫做继承，下面这种使用方式也是继承所带来的：
Triangel tri = new Triangle();
println("Triangle is a type of sharp? " + tri.isSharp());
而这种方式则是多态：
Sharp sharp = new Rectangle();
println("My sharp has " + sharp.getSides() + " sides.");
这两者区别在哪？很显然，继承是子类使用父类的方法，而多态则是父类使用子类的方法。
其技术上的区别是绑定时期，晚期绑定一定是多态。
这里介绍区别并不是想说茴字有几种写法，而是只有清楚的认识到技术的显著特点后才能更好的使用它。
现代软件设计
现代软件大量的使用框架、模式(非特指Deisgn Pattern)，也就是将软件开发的一些共性进行抽象，提出普遍适用的软件结构。
无论是框架还是模式，他们都有一些明显的共同点 — 使用xml配置对象，大量使用接口采用所谓面向接口的方法，利用反射实现。
为什么要接口？因为需要抽象，需要将未知的对象在已有的框架中表现。
如何实现接口？多态！所谓反射，实际上就是一种晚期绑定的技术，这个技术实质上表现出来的就是多态这一特征。
面向方面开发(Aspect Oriented Programming)是一个热点，也是现代软件发展的趋势。定制、组件装配的软件开发方式在应用越来越复杂、需求变化越来越快的今天显得日趋重要。那么如何才能使今天的软件能够适应明天需要呢？如何使我开发速度更快？如何能更容易的修改应用？AOP则是解决这些问题的有效手段。
让我们看看框架容器的主要模式，Inversion of Control Containers(IoC)/Dependency Injection(包括setter injection, construct injection, interface injection等)，其主要好处就是类之间的依赖，通过运行期的查找来进行绑定。那么他的基础是什么呢？还是多态！
我们可以看到，在现代软件的开发中，无数的思想象火花一样跳动。其中一类很重要的思想就是建立在多态这样一个很基本的特性，甚至可以说是一个语言概念之上的。在这里希望通过这篇文章抛砖引玉，引起更多的对与当今软件发展发向的思考，同时探究其根源。
后记
行文简陋，错漏在所难免，愿与诸位探讨
参考
wiki大百科 http://en.wikipedia.org/wiki/Polymorphism_(computer_science)
java世界 http://www.javaworld.com/javaworld/javatips/jw-javatip30.html
Matin Fowler http://www.martinfowler.com/