程式語言導論/多型性

什麼是多型性？

軟體複用是許多程式語言設計背後的主要驅動力之一。這些語言使用不同的策略，使開發人員更容易複用軟體模組。其中最重要的策略之一是多型性。多型性是指一種語言使用相同名稱來表示不同實體的能力。這種能力在程式語言中以多種不同的方式表現出來。遵循亞當·韋伯的說法，我們將不同型別的多型性分為兩類：特設多型性和通用多型性。如果相同的名稱表示有限數量的程式設計結構，則發生特設多型性。這種型別的多型性進一步分為強制轉換和過載。只要一個名稱可以表示無限數量的實體，就會發生通用多型性。此類別還分為兩個其他組：引數化多型性和子型別多型性。在本節的剩餘部分，我們將更詳細地描述每種型別的多型性。

四種不同型別的多型性的示例。