多态分为参数多态、包含多态、过载多态和强制多态四种不同形式。其中,子类型化(一个类型是另一个类型子类型)属于( )多态;(请作答此空)多态是指同一个名字在不同上下文中可代表不同含义。
多态指是不同对象对同一消息不同响应。主要分为:参数多态:应用广泛、最纯多态。包含多态:同样操作可用于一个类型及其子类型。包含多态一般需要进行运行时类型检查。包含多态在许多语言中都存在,最常见例子就是子类型化,即一个类型是另外一个类型子类型。强制多态:编译程序通过语义操作,把操作对象类型强行加以变换,以符合函数或操作符要求。过载多态:同一个名(操作符﹑函数名)在不同上下文中有不同类型。









