封裝(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等)，其主要好處就是類之間的依賴，通過執行期的查詢來進行繫結。那麼他的基礎是什麼呢？還是多型！

  我們可以看到，在現代軟體的開發中，無數的思想象火花一樣跳動。其中一類很重要的思想就是建立在多型這樣一個很基本的特性，甚至可以說是一個語言概念之上的。在這裡希望通過這篇文章拋磚引玉，引起更多的對與當今軟體發展發向的思考，同時探究其根源。