里氏替换原则例子

LSP(里氏替换原则):

            原则上讲子类对象介绍给父类对象,也可以说子类替换父类,并且出现在父类能够出现的任何地方代替父类对象

            反过来说,父类对象是不能替换子类对象的,这种特性称为里氏替换原则

           1.子类可以隐式的转为父类

           2.父类必须强转子类

is && as

          is : 相当于判断.  A is B  A是不是B 或者A是不是B的子类

          as : 先判断再转换.(它比传统的强制转换要相对来说安全点,因为传统的强制转换,一旦转换失败的话,程序就崩溃了。             那么使用as)



B b:定义栈上的引用变量b,此时为空引用,也就是null,存于栈,用来保存将来引用对象的地址

b = new B:通过new关键字创建B类的对象,对象的实例保存在托管堆,CRL在建立实例对象的时候

                还会创建它的类型对象,对象实例在堆中的内存包括,字段,类型,类型对象指针,同步索引块,类型对象指针指向的是类型对象

类型对象在堆中的内存包括类型对象指针,索引块,静态字段,方法列表

A a = b:声明一个类型为A的引用变量a,并将其实际地址指向b所指的那个对象实例

a.MethodF():

             当调用一个方法的时候,会直接检查这个对象a的类型,首先找到堆中的类型对象,查看其实是否有该方法

             如果有,直接调用.如果没有,则通过类型对象的类型对象指针向上继续查找,直到找到该方法

             找到了该方法之后,它会先检查该方法是否为virtual,如果非虚直接调用,如果是虚方法,即有virtual修饰的关键字则会引用变量a,去找对象的实例类B,查找该方法是否有重新实现了该虚方法,如果有.执行,没有继续向上查找,直到找到为止

由于MethodG为虚方法,则会找到实例B,又由于B重写了MethodG,因此直接输出.

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 这是16年5月份编辑的一份比较杂乱适合自己观看的学习记录文档,今天18年5月份再次想写文章,发现简书还为我保存起的...
    Jenaral阅读 2,910评论 2 9
  • Swift1> Swift和OC的区别1.1> Swift没有地址/指针的概念1.2> 泛型1.3> 类型严谨 对...
    cosWriter阅读 11,170评论 1 32
  • 好像去学画画啊,但是不想让我的兴趣成为爸爸妈妈的负担。 我是个实习护士,中专生,十七周岁上上个月才过。上面...
    撒野酱阅读 618评论 0 0
  • 钱,除了高尚的精神世界之外,是这个在现实社会中联系万物最直接的纽带。所以基本上每一个人,为了能满足自己的物...
    nevermindlx阅读 1,010评论 0 2
  • 很快,秋恋恋不舍地走了,初冬悄然而至。 是突袭而来的冷空气,令全城一夜之间披上一层厚厚的“棉衣”。植物也...
    旋转的音律阅读 575评论 0 0