浅析Java对象等价性的区别

2024-03-11 09:18
文章标签 java 对象 区别 浅析 等价

本文主要是介绍浅析Java对象等价性的区别,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1.前言

最近在上软件构造课程的时候提到了关于对象等价性的区别,Java中的对象等价性在表面上看有引用等价性和对象等价性,而在深层次中去探寻的话,其实它还有更深一层的区别,那就是观察等价性行为等价性,今天我们就来区分一下深层次中对象的区别。

2.结论

还是上来先说结论。

(一)对于可变对象(mutable)

1.观察等价性:在不改变状态的前提下,两个对象是否“看起来”一致。这句话的意思是,如果我们只从用户的角度去观察这两个对象并且不调用改变它们的状态的方法的话(只调用observer、creator、producer类方法而不调用mutator方法),他们之间所展现出的等价性即为观察等价性。

2.行为等价性:调用两个对象的任何方法(包括mutator)两个对象都能产生一致的结果。因为它们能产生“一致的行为”,所以被称为行为等价性。

通俗来讲,对于mutable类型,它的观察等价性就是两个对象在某一时刻看起来相等,而行为等价性就是时时刻刻都相等。而对于mutable类来说做到每时每刻都相等只能在两个对象指向同一块物理内存空间的时候才可能发生。这里插入一张我的笔记截图:

(二)关于不可变对象(immutable类型)

immutable类中的属性一般不允许改变(可以进行有益的改变,即改变前后在用户空间去看发现不了变化),所以immutable类的观察等价性与行为等价性相同。

3.浅析Java中观察等价性和行为等价性给编程带来的区别

1.对于mutable类型来说,Java往往实现严格的观察等价性

例如List类,Set类,Java对它们都会实现观察等价性,但是这往往会导致令人迷惑的错误,例如下面这段代码:

		List<String> a = new ArrayList<>();a.add("hello");Set<List<String>> b= new HashSet<List<String>>();b.add(a);System.out.println("first"+b.contains(a));a.add("hi");System.out.println("second"+b.contains(a));

实例化一个List a,然后将a添加进b中,按照常理来说无论何时调用b.contains(a)返回都应该为真才对,可是第一次返回了真,可是当第二次对a做了修改后再度添加,他就会返回假:

这是由于在List a更改过它的成员后,它的hashcode也发生了改变,在HashSet这个散列桶中存储的位置就会发生变化,当b再次调用cotains方法来寻找a的时候(在底层其实是调用了a的equals方法),发现a的hash映射发生了变化(hashcode不同),所以equals返回假,contains也就返回假,这也解释了上篇文章中为什么重新equals方法就一定要重写hashcode方法,目的就在于要保持它们的行为等价性。

java大多数mutable类型均是观察等价性去判断的,例如Date类和刚才说过的Collection类,但是也有一部分mutable类是通过行为等价性去判断的,例如StringBuider。

所以要注意我们在使用mutable类的时候,尽量使用行为等价性去判断,而不是默认的观察等价性。所以我们在编写mutable类型的时候,无需重写equals方法和hashcode方法,让它们直接继承Object类中的方法即可(原理见上篇文章),而当我们真的需要判断其是否“看起来相等”的时候,最好重新定义一个方法。

2.对于immutable类,行为等价性与观察等价性相同

正是因为它们的行为等价性与观察等价性表现一致,所以在实现时就需要重写equals方法和hashcode方法来确定对于抽象的输入有相同的作用结果(即不同地址空间实质性相同的两个immutable类也能够被判定为相等)

3.浅拷贝和深拷贝

浅拷贝:若被拷贝的对象中有对其他对象的引用,那么直接将那个引用复制过来,而不是将它做拷贝在复制过来,如图所示:

深拷贝:将被拷贝的对象中引用其他对象同样作一份拷贝

在Java中调用对象的clone方法默认是实现的浅拷贝,即只满足观察等价性,而不满足行为等价性,要想使用行为等价性的拷贝,需要使用copy包中的deepcopy,这一点在编程中也能带来令人迷惑的错误,所以要小心。

4.小结

本文浅析了Java中两类对象等价性的区别,在mutable类型中,行为等价性和对象等价性不同,观察等价性指的是两个对象某一时刻看起来相同,行为等价性则指两对象时时刻刻均相同,无论调用了什么方法;而在immutable类型中,两者是一致的。在编程时要小心JDK中对两种类型的处理,在编程时,我们不应该重写mutable类型的equals哈hashcode方法,但是应该重写immutable类型的equals和hashcode方法,而且还应注意深浅拷贝所带来的差别。

这篇关于浅析Java对象等价性的区别的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/797375

相关文章

springboot的调度服务与异步服务使用详解

《springboot的调度服务与异步服务使用详解》本文主要介绍了Java的ScheduledExecutorService接口和SpringBoot中如何使用调度线程池,包括核心参数、创建方式、自定... 目录1.调度服务1.1.JDK之ScheduledExecutorService1.2.spring

将java程序打包成可执行文件的实现方式

《将java程序打包成可执行文件的实现方式》本文介绍了将Java程序打包成可执行文件的三种方法:手动打包(将编译后的代码及JRE运行环境一起打包),使用第三方打包工具(如Launch4j)和JDK自带... 目录1.问题提出2.如何将Java程序打包成可执行文件2.1将编译后的代码及jre运行环境一起打包2

Java使用Tesseract-OCR实战教程

《Java使用Tesseract-OCR实战教程》本文介绍了如何在Java中使用Tesseract-OCR进行文本提取,包括Tesseract-OCR的安装、中文训练库的配置、依赖库的引入以及具体的代... 目录Java使用Tesseract-OCRTesseract-OCR安装配置中文训练库引入依赖代码实

Java中对象的创建和销毁过程详析

《Java中对象的创建和销毁过程详析》:本文主要介绍Java中对象的创建和销毁过程,对象的创建过程包括类加载检查、内存分配、初始化零值内存、设置对象头和执行init方法,对象的销毁过程由垃圾回收机... 目录前言对象的创建过程1. 类加载检查2China编程. 分配内存3. 初始化零值4. 设置对象头5. 执行

SpringBoot整合easy-es的详细过程

《SpringBoot整合easy-es的详细过程》本文介绍了EasyES,一个基于Elasticsearch的ORM框架,旨在简化开发流程并提高效率,EasyES支持SpringBoot框架,并提供... 目录一、easy-es简介二、实现基于Spring Boot框架的应用程序代码1.添加相关依赖2.添

通俗易懂的Java常见限流算法具体实现

《通俗易懂的Java常见限流算法具体实现》:本文主要介绍Java常见限流算法具体实现的相关资料,包括漏桶算法、令牌桶算法、Nginx限流和Redis+Lua限流的实现原理和具体步骤,并比较了它们的... 目录一、漏桶算法1.漏桶算法的思想和原理2.具体实现二、令牌桶算法1.令牌桶算法流程:2.具体实现2.1

SpringBoot中整合RabbitMQ(测试+部署上线最新完整)的过程

《SpringBoot中整合RabbitMQ(测试+部署上线最新完整)的过程》本文详细介绍了如何在虚拟机和宝塔面板中安装RabbitMQ,并使用Java代码实现消息的发送和接收,通过异步通讯,可以优化... 目录一、RabbitMQ安装二、启动RabbitMQ三、javascript编写Java代码1、引入

spring-boot-starter-thymeleaf加载外部html文件方式

《spring-boot-starter-thymeleaf加载外部html文件方式》本文介绍了在SpringMVC中使用Thymeleaf模板引擎加载外部HTML文件的方法,以及在SpringBoo... 目录1.Thymeleaf介绍2.springboot使用thymeleaf2.1.引入spring

Java实现检查多个时间段是否有重合

《Java实现检查多个时间段是否有重合》这篇文章主要为大家详细介绍了如何使用Java实现检查多个时间段是否有重合,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录流程概述步骤详解China编程步骤1:定义时间段类步骤2:添加时间段步骤3:检查时间段是否有重合步骤4:输出结果示例代码结语作

Java中String字符串使用避坑指南

《Java中String字符串使用避坑指南》Java中的String字符串是我们日常编程中用得最多的类之一,看似简单的String使用,却隐藏着不少“坑”,如果不注意,可能会导致性能问题、意外的错误容... 目录8个避坑点如下:1. 字符串的不可变性:每次修改都创建新对象2. 使用 == 比较字符串,陷阱满