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()

  • 相关阅读:
    关于c语言变量的内存分布测试程序
    常用ARM指令集及汇编_破解
    CPU读取内存0x30000000地址4个字节数据
    打印十六进制字符串查看内存地址
    JZ2440串口打印字符作为调试
    搭建Linux3.4.2内核编辑环境
    网卡驱动程序
    同步互斥阻塞
    poll机制分析[转]
    安装、配置、启动FTP、SSH或NFS服务
  • 原文地址:https://www.cnblogs.com/xgl122/p/9218496.html
Copyright © 2011-2022 走看看