结构化开发

一、多态（参数多态、包含多态、过载多态和强制多态）

多态分为两种：通用的多态和特定的多态。两者的区别是前者对工作的类型不加限制，🙏（前者）允许对不同类型的值执行相同的代码🙏；🙏后者只对有限数量的类型有效，而且对不同类型的值可能要执行不同的代码🙏。

【参数多态】：采用参数化模板，通过给出不同的类型参数，使得😨一个结构有多种类型😨。

【包含多态】：😨同样的操作可用于一个类型及其子类型😨。（注意是子类型，不是子类。）包含多态一般需要进行运行时的类型检查。

需要注意的地方：包含多态的操作存在着逆单调（Anti-mornotonic）。即一个类型t上的操作，当其定义域缩小成t的一个子类型时，其值域应不小于t.

【过载多态】：同一个名（操作符﹑函数名）在不同的上下文中有不同的类型。程序设计语言中基本类型的大多数操作符都是过载多态的。通俗的讲法，就是c++中的函数重载。在此处中“overload”译为“过载”，其实就是所谓的“重载”，也许“overload”就应翻译为“过载，重载”吧，那😨“override”就只能是“覆盖”了😨。

【强制多态】：编译程序通过语义操作，😨把操作对象的类型强行加以变换，以符合函数或操作符的要求😨。程序设计语言中基本类型的大多数操作符，在发生不同类型的数据进行混合运算时，编译程序一般都会进行强制多态。程序员也可以显示地进行强制多态的操作(Casting)。举个例子，比如，int+double，编译系统一般会把int转换为double，然后执行double+double运算，这个int-》double的转换，就实现了强制多态，即可是隐式的，也可显式转换。

2025/5/23

2025/5/23

关于作者

推荐标签

目录

评论