子类型.在面向对象程序设计中，计算机程序执行时，相同的讯息可能会送给多个不同的类别之物件，而系统可依据物件所属类别，引发对应类别的方法，而有不同的行为。简单来说，所谓多型意指相同的讯息给予不同的物件会引发不同的动作。比如有动物之类别，而且由动物继承出类别猫和类别狗，并对同一源自类别动物（父类别）之一讯息有不同的响应，如类别动物有「叫」之动作，而类别猫会「喵喵」，类别狗则会「汪汪」，则称之为多型态。在下面的这个例子中猫和狗都是动物的子类型。过程codice_13接受一个动物，但在