关于我们

里氏替换是什么，网上一搜到处都是，但是没人说说到底有什么用，我刚开始理解的时候，就明白这东西可以替换所有父类型，子类型能做父类型的所有事情，理解仅此而已。后来仔细思考一番，终于想明白这东西有什么用了，假设老板让你拓展客户端的一个功能，里边有个Vehicle类，他想让大家使用Car，并且只增填功能，不可以修改。我们定义了一个Car类继承Vehicle类，为了保障代码原来部分正确执行，我们要使得Car的不变性至少为Vehicle的安全性（说不定某个参数或者返回值和其他引用指向的是一个对象，Vehicle都做了防御性拷贝，Car更应该做），Car的方法规格说明要更强，Vehicle能做的Car必须能做（原因参考企鹅不是鸟）。但是要注意，不能给Vehicle的属性增加无效的更强不变性（比如四个轮子需要同速这种，原因请参考正方形不是矩形），这样，你可以把原来的文档中Vehicle的定义直接换成Car的定义，添加新功能就可以啦（注意，别把Vehicle v = new Vehicle（）换成Vehicle v = new Car（），这样仅仅是徒劳，屁用没有）