提到“子类”和“子类型”是不同的

提到“子类”和“子类型”是不同的，替换原则只适合于子类型关系，而一般编程语言只是考虑了子类关系，子类说明了新类是继承自父类，而子类型强调的是新类具有父类一样的行为（未必是继承）。那么，什么时候才应该使用继承？那就是符合子类型关系的时候，或者一般所说的”is a"关系，你必须保证新类的行为与父类完全一致！！！在任何使用父类的场合，新类应该表现一样的行为。

经典案例：正方形是长方形的子类，但不是子类型

如果让正方形当做是长方形的子类,会出现什么情况呢?我们让正方形从长方形继承,然后在它的内部设置width等于height,这样,只要width或者height被赋值,那么width和height会被同时赋值,这样就保证了正方形类中,width和height总是相等的.现在我们假设有个客户类,其中有个方法,规则是这样的,测试传人的长方形的宽度是否大于高度,如果满足就停止下来,否则就增加宽度的值.现在我们来看,如果传人的是基类长方形,这个运行的很好.根据LSP,我们把基类替换成它的子类,结果应该也是一样的,但是因为正方形类的width和height会同时赋值,这个方法没有结束的时候,条件总是不满足,也就是说,替换成子类后,程序的行为发生了变化,它不满足LSP.（里氏代换原则）

本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/daryl715/archive/2007/05/29/1629841.aspx

提到“子类”和“子类型”是不同的相关推荐

java数组子类型_[改善Java代码]数组的真实类型必须是泛型类型的子类型
List接口的toArray方法可以把一个结合转化为数组,但是使用不方便,toArray()方法返回的是一个Object数组,所以需要自行转变. toArray(T[] a)虽然返回的是T类型的数组, ...
JAVA学习笔记--类型转换（父类子类 Object 基本类型 String）拆装箱包装类
最近一段时间忙着学习JAVA,本来net学的也不怎么好,趁着这个机会转下方向学习JAVA.不过.NET core的开源还是有点搞头的,微软了解一下.接下来几天我也会陆续写一些内容关于线程和集合等方面, ...
[译] 3.泛型和子类型
<< 定义简单泛型 · 目录 · 通配符 >> 泛型和子类型 (Generics and Subtyping) 让我们来测试一下你对泛型的理解.下面的代码段合法吗? List& ...
如何在 Java 中安全地使用子类型
点击上方"后端技术精选",选择"置顶公众号" 技术文章第一时间送达! 来自:唐尤华,importNew dzone.com/articles/how-to-sa ...
UG\NX二次开发获取工作部件下所有对象的类型和子类型 UF_OBJ_ask_type_and_subtype
文章作者:里海来源网站:https://blog.csdn.net/WangPaiFeiXingYuan 简介: UG\NX二次开发获取工作部件下所有对象的类型和子类型,使用函数 UF_OBJ_a ...
java 获取子类实际的类型名_Java 泛型类以及泛型类获取子类的具体参数类型以及获取子类型具体参数的实例...
前言: 要点都在代码注释中 1.泛型类 GenericInterface package com.demo.generic; import java.lang.reflect.Parameterize ...
泛型(派生子类,泛型通配符,类型擦除)
目录从泛型类派生子类 1.子类不是泛型类,明确父类类型 2.子类和父类都是泛型类泛型通配符 1.类型通配符上限 2.类型通配符下限类型擦除从泛型类派生子类 1.子类不是泛型类,明确父类类型 c ...
JS基础--子类型重写超类型方法原型链图解
首先我们创建一个父类: // 创建一个父类构造函数 function Parent () {this.parentProperty = '父类属性'; } // 为父类添加一个原型方法 Parent. ...
java数组子类型_在vhdl中获取数组子类型的范围属性
您的问题是您尝试在类型上使用属性 . 但是,范围仅定义为数组(因此原型中为A) . 这意味着,即使数组类型受到约束,也需要使用实际数组 . -- Declarations -- Constrained ...

提到“子类”和“子类型”是不同的

提到“子类”和“子类型”是不同的相关推荐

最新文章

热门文章