zoukankan      html  css  js  c++  java
  • 抽象数据类型(ADT)和面向对象编程(OOP)3.5 ADT和OOP中的等价性

    instancsof动态类型检查。除了在判断是否与应生成的类型一样外都不使用,getClass()同样

    ==引用等价性

    equals()对象等价性  基本数据类型使用

    在自定义ADT时需要重写Object的equals()   对象类型使用

    a.equals(null) returns false

    equals()的自反性:自己等自己   传递性:a等b,b等c,则a等c   对称性:a等b,则b等a

    重写equals()必须也要重写hashCode(),相等的对象必须具有相同的散列码,如果没有重写,会从Object中得到一个,它是基于对象的地址。

    hashCode()

    可变对象的观察等价性、行为等价性

    当两个对象不能通过观察区别,则等价

    观察等价性:通过只调用observer,producer和creator方法。 这测试两个参考在程序的当前状态中是否“看起来”相同

    行为等价性:不能通过任何代码加以区分即使在一个代码上调用了mutator,而另一个代码则不会调用它。 这将测试这两个引用在这个和所有将来的状态中是否会“表现”相同。

    对于不可变的对象,观察和行为的平等是相同的,因为没有任何增变方法

    对于可变对象倾向于观察等价性

    大多数可变数据类型(例如Collections)使用观察等价性

    其他可变类(如StringBuilder)使用行为等价性

    有时观察等价性会有bug,甚至破坏RI

    可变类型实现行为等价性即可,只有只想同样内存空间的object才相等,可变类型只需要从Object继承equals()  hashCode()即可

    一定要观察等价性可以写一个新方法

     不可变类型一定要重写equals()和hashCode()

  • 相关阅读:
    闭包
    原型继承
    js时间戳转成日期格式
    常用正则表达式
    vue中如何实现pdf文件预览?
    Vue动画效果
    手把手教你封装 Vue 组件,并使用 npm 发布
    LCD驱动(FrameBuffer)实例开发讲解
    每个程序员都该阅读的书
    LCD platform_device(s5pv210)
  • 原文地址:https://www.cnblogs.com/xgl122/p/9218496.html
Copyright © 2011-2022 走看看