多态 (计算机科学)程序设计语言与类型理论 / 维基百科,自由的 encyclopedia 在编程语言和类型论中,多态(英语:polymorphism)指为不同数据类型的实体提供统一的接口[1],或使用一个单一的符号来表示多个不同的类型[2]。 多态的最常见主要类别有: 特设多态:为个体的特定类型的任意集合定义一个共同接口。 参数多态:指定一个或多个类型不靠名字而是靠可以标识任何类型的抽象符号。 子类型(也叫做子类型多态或包含多态):一个名字指称很多不同的类的实例,这些类有某个共同的超类[3]。
在编程语言和类型论中,多态(英语:polymorphism)指为不同数据类型的实体提供统一的接口[1],或使用一个单一的符号来表示多个不同的类型[2]。 多态的最常见主要类别有: 特设多态:为个体的特定类型的任意集合定义一个共同接口。 参数多态:指定一个或多个类型不靠名字而是靠可以标识任何类型的抽象符号。 子类型(也叫做子类型多态或包含多态):一个名字指称很多不同的类的实例,这些类有某个共同的超类[3]。