子类型（Subtype）是面向对象编程中的一个概念，指的是在继承关系中，一个类是另一个类的子类时，这个子类就被称为父类的子类型。子类型继承自父类型，拥有父类型所有的属性和方法，同时还可以根据需要添加新的属性和方法。
具体来说，子类型具有以下特点：
1. 继承性：子类型继承了父类型的所有属性和方法，可以重用父类型的设计。
2. 扩展性：子类型可以在继承的基础上添加新的属性和方法，以扩展父类型的功能。
3. 特殊性：子类型通常代表了一个更具体的、更小的概念集合，相对于父类型来说，具有更多的限制性。
例如，在动物这个父类型中，猫和狗都是子类型。猫和狗都继承了动物的基本属性和方法，如“呼吸”、“进食”等，但它们也有自己独特的属性和方法，如猫有“抓老鼠”的方法，狗有“看家”的方法。
在面向对象编程中，子类型是实现代码复用、提高代码可维护性和可扩展性的重要手段。
