第一种定义:
如果对每一个类型为S的对象o1,都有类型为T的对象o2,使得以T定义的所有程序P在所有的对象o1都代换为o2,程序P的行为没有发生变化,那么类型S是类型T的子类型。
第二种定义:
所有引用基类的地方必须透明的使用其子类的对象。(Functions that use pointers or references to base classes must be able to use objects of derived classes without knowing it.)
第二种定义明确的说,只要父类能出现的地方子类也可以出现,而且替换为子类不会产生任何错误或异常,但是反过来就不行,有子类出现的地方,父类未必就能适应。
在面向对象的语言中,继承是必不可少的,非常优秀的语言机制,它有如下优点:
1、代码共享,减少创建类的工作量,每个子类都拥有父类的方法和属性;
2、提高代码的重用性;
3、提高代码的可扩展性;
4、提高项目或产品的开放性;
但是所有的事物都有二面性,继承除了有上述优点,也有下面缺点:
1、继承是侵入式的,只要继承就必须拥有父类所有的方法和属性;
2、降低代码的灵活性,子类必须继承父类的树形和方法,让子类多了很多的约束;
3、增强了耦合性,当父类的变量、常量和方法被修改时,必须考虑到子类的修改,而且在缺乏规范的环境下,这种修改可能带来非常糟糕的接口——大量的代码需要重构。