先说一下里氏替换原则：子类型的对象必须能够替代父类型。也就是说在程序中基类（父类）所出现的地方都可以被它的子类来替换，替换之后的结果是不变的。

    子类是指：在编程语言中使用extends关键字修饰的类。如

     class A{}

     class B extends A{}

     则类B就是类A的一个子类。但是如果在程序中不能有B来替换A，即不满足里氏替换原则的话，那么B就不是A子类型。

总之：子类是使用编程语言的继承机制，构造或编写出来的某个东西。子类型是遵循里氏替换原则（LSP）的子类。