我对 Java 中使用 EqualsVerifier 的 equals 和 hashCode 契约有一些疑问图书馆。
假设我们有这样的东西
public abstract class Person {
protected String name;
@Override
public boolean equals(Object obj) {
// only name is taken into account
}
@Override
public int hashCode() {
// only name is taken into account
}
}
以及以下扩展类:
public final class Worker extends Person {
private String workDescription;
@Override
public final boolean equals(Object obj) {
// name and workDescription are taken into account
}
@Override
public final int hashCode() {
// name and workDescription are taken into account
}
}
我尝试使用 EqualsVerifier 来测试我是否实现了 Person 类中的 equals 和 hashCode 契约。
@Test
public void testEqualsAndHashCodeContract() {
EqualsVerifier.forClass(Person.class).verify();
}
运行此测试，我知道我必须声明 equals 和 hashCode 方法为 final，但这是我不想做的事情，因为我可能想在扩展类中声明这两个方法，因为我想在 equals 和 hashCode 中使用一些子属性。
您可以跳过测试 EqualsVerifier 库中的最终规则吗？还是我遗漏了什么？
最佳答案
免责声明:我是 EqualsVerifier 的创建者。我才刚刚发现这个问题:)。
Joachim Sauer 提到的解决方法是正确的。
让我解释一下为什么 EqualsVerifier 不喜欢您的实现。现在让我们假装 Person不是抽象的；它使示例更简单一些。假设我们有两个 Person对象，像这样:
Person person1 = new Person("John");
Person person2 = new Worker("John", "CEO of the world");
我们调用equals在这两个对象上:
boolean b1 = person1.equals(person2); // returns true
boolean b2 = person2.equals(person1); // returns false
b1是真的，因为 Person的 equals方法被调用，它忽略 workDescription . b2是错误的，因为 Worker的 equals方法被调用，instanceof或 getClass()检查该方法返回 false。
换句话说，你的 equals方法不再对称，这是正确实现 equals 的要求, 根据 the Javadoc .
你确实可以使用 getClass()解决这个问题，但随后你遇到了另一个问题。假设您使用 Hibernate 或模拟框架。这些框架使用字节码操作来创建您的类的子类。本质上，您将获得这样的类(class):
class Person$Proxy extends Person { }
假设您像这样往返数据库:
Person person1 = new Person("John");
em.persist(person1);
// ...
Person fetchedPerson = em.find(Person.class, "John");
现在让我们调用equals :
boolean b3 = person1.equals(fetchedPerson); // returns false
boolean b4 = fetchedPerson.equals(person1); // also returns false
b3和 b4是假的，因为 person1和 fetchedPerson属于不同的类别(准确地说是 Person 和 Person$Proxy)。 equals现在是对称的，所以至少它遵循契约(Contract)，但它仍然不是你想要的:fetchedPerson不像Person那样“表现”了。用技术术语来说:这打破了 Liskov Substitution Principle ，这是面向对象编程的基础。
有一种方法可以完成所有这些工作，但它相当复杂。 (如果你真的想知道:this article 解释了如何。)为了简单起见，EqualsVerifier 建议你将你的 equals和 hashCode方法最终。在大多数情况下，这会很好地工作。如果你真的需要，你总是可以走复杂的路线。
在你的例子中，自 Person是抽象的，你也可以选择不实现 equals在Person , 但仅限于 Worker (以及您可能拥有的任何其他子类)。
关于java - Equals 和 hashCode 与 EqualsVerifier 的契约(Contract)，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/19926486/
我真的很习惯使用Ruby编写以下代码:my_hash={}my_hash['test']=1Java中对应的数据结构是什么？ 最佳答案 HashMapmap=newHashMap();map.put("test",1);我假设？ 关于java-等价于Java中的RubyHash，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/22737685/
我正在尝试使用boilerpipe来自JRuby。我看过guide从JRuby调用Java，并成功地将它与另一个Java包一起使用，但无法弄清楚为什么同样的东西不能用于boilerpipe。我正在尝试基本上从JRuby中执行与此Java等效的操作:URLurl=newURL("http://www.example.com/some-location/index.html");Stringtext=ArticleExtractor.INSTANCE.getText(url);在JRuby中试过这个:require'java'url=java.net.URL.new("http://www
我只想对我一直在思考的这个问题有其他意见，例如我有classuser_controller和classuserclassUserattr_accessor:name,:usernameendclassUserController//dosomethingaboutanythingaboutusersend问题是我的User类中是否应该有逻辑user=User.newuser.do_something(user1)oritshouldbeuser_controller=UserController.newuser_controller.do_something(user1,user2)我
什么是ruby的rack或python的Java的wsgi？还有一个路由库。 最佳答案 来自Python标准PEP333:Bycontrast,althoughJavahasjustasmanywebapplicationframeworksavailable,Java's"servlet"APImakesitpossibleforapplicationswrittenwithanyJavawebapplicationframeworktoruninanywebserverthatsupportstheservletAPI.ht
这篇文章是继上一篇文章“Observability：从零开始创建Java微服务并监控它（一）”的续篇。在上一篇文章中，我们讲述了如何创建一个Javaweb应用，并使用Filebeat来收集应用所生成的日志。在今天的文章中，我来详述如何收集应用的指标，使用APM来监控应用并监督web服务的在线情况。源码可以在地址 https://github.com/liu-xiao-guo/java_observability 进行下载。摄入指标指标被视为可以随时更改的时间点值。当前请求的数量可以改变任何毫秒。你可能有1000个请求的峰值，然后一切都回到一个请求。这也意味着这些指标可能不准确，你还想提取最小/
HashMap中为什么引入红黑树，而不是AVL树呢1.概述开始学习这个知识点之前我们需要知道，在JDK1.8以及之前，针对HashMap有什么不同。JDK1.7的时候，HashMap的底层实现是数组+链表JDK1.8的时候，HashMap的底层实现是数组+链表+红黑树我们要思考一个问题，为什么要从链表转为红黑树呢。首先先让我们了解下链表有什么不好？？？2.链表上述的截图其实就是链表的结构，我们来看下链表的增删改查的时间复杂度增：因为链表不是线性结构，所以每次添加的时候，只需要移动一个节点，所以可以理解为复杂度是N(1)删：算法时间复杂度跟增保持一致查：既然是非线性结构，所以查询某一个节点的时候
遍历文件夹我们通常是使用递归进行操作，这种方式比较简单，也比较容易理解。本文为大家介绍另一种不使用递归的方式，由于没有使用递归，只用到了循环和集合，所以效率更高一些！一、使用递归遍历文件夹整体思路1、使用File封装初始目录，2、打印这个目录3、获取这个目录下所有的子文件和子目录的数组。4、遍历这个数组，取出每个File对象4-1、如果File是否是一个文件，打印4-2、否则就是一个目录，递归调用代码实现publicclassSearchFile{publicstaticvoidmain(String[]args){//初始目录Filedir=newFile("d:/Dev");Datebeg
我基本上来自Java背景并且努力理解Ruby中的模运算。(5%3)(-5%3)(5%-3)(-5%-3)Java中的上述操作产生，2个-22个-2但在Ruby中，相同的表达式会产生21个-1-2.Ruby在逻辑上有多擅长这个？模块操作在Ruby中是如何实现的？如果将同一个操作定义为一个web服务，两个服务如何匹配逻辑。 最佳答案 在Java中，模运算的结果与被除数的符号相同。在Ruby中，它与除数的符号相同。remainder()在Ruby中与被除数的符号相同。您可能还想引用modulooperation.
Java的Collections.unmodifiableList和Collections.unmodifiableMap在Ruby标准API中是否有等价物？ 最佳答案 使用freeze应用程序接口(interface):Preventsfurthermodificationstoobj.ARuntimeErrorwillberaisedifmodificationisattempted.Thereisnowaytounfreezeafrozenobject.SeealsoObject#frozen?.Thismethodretur
我正在使用Rails3.2.3和Ruby1.9.3p0。我发现我经常需要确定某个字符串是否出现在选项列表中。看来我可以使用Ruby数组.includemethod:或正则表达式equals-tildematchshorthand用竖线分隔选项:就性能而言，一个比另一个好吗？还有更好的方法吗？ 最佳答案 总结:Array#include?包含String元素，在接受和拒绝输入时均胜出，对于您的示例只有三个可接受的值。对于要检查的更大的集合，看起来Set#include?和String元素可能会获胜。如何测试我们应该根据经验对此进行测试