编程语言导论/多态性

什么是多态性？

软件复用是许多编程语言设计背后的主要驱动力之一。这些语言使用不同的策略，使开发人员更容易复用软件模块。其中最重要的策略之一是多态性。多态性是指一种语言使用相同名称来表示不同实体的能力。这种能力在编程语言中以多种不同的方式表现出来。遵循亚当·韦伯的说法，我们将不同类型的多态性分为两类：特设多态性和通用多态性。如果相同的名称表示有限数量的编程结构，则发生特设多态性。这种类型的多态性进一步分为强制转换和重载。只要一个名称可以表示无限数量的实体，就会发生通用多态性。此类别还分为两个其他组：参数化多态性和子类型多态性。在本节的剩余部分，我们将更详细地描述每种类型的多态性。

四种不同类型的多态性的示例。