Object-oriented programming
由于子类型关系的存在，某个对象可能同时属于多种类型，因此，子类型（）是一种类型多态的形式，也被称作子类型多态（）或者包含多态（）。在面向对象程序设计中，多态一般仅指这里所说的「子类型多态」，而「参数多态」则一般被称作泛型编程。