子类和子类型

“子类”和“子类型”是不同的，替换原则只适合于"子类型"关系，而一般编程语言只是考虑了"子类"关系，

子类 : 说明了新类是继承自父类

子类型 : 强调的是新类具有父类一样的行为（未必是继承）。

那么，什么时候才应该使用继承？  那就是符合子类型关系的时候，或者一般所说的”is a"关系， 你必须保证新类的行为与父类完全一致！！！

在任何使用父类的场合，新类应该表现一样的行为。