是否保证==返回正确的结果？[副本]

Question

据我所知，Java中的==运算符比较对象的引用(int)。
此值是Object中hashcode方法的默认实现返回的值。

hashcode方法有一个实现说明：

public class Test {
    public static void main(String[] args) {
        var t1 = new Test();
        var t2 = new Test();

        System.out.println(t1.hashCode() + ":" + t2.hashCode()); // 2055281021:1554547125 (Could've been 1554547125:1554547125 ?)
        System.out.println(t1 == t2); // false (Could've been true ?)
        System.out.println(t1.equals(t2)); // false (Could've been true ?)
    }
}

为什么equals和hashcode

而且，一个极度厌恶风险的人如何确保上面的假阳性永远不会发生？如果类至少有一个非静态字段，则可以重写hashcode和equals。但是，如果不是这样（就像上面的test类一样）呢？

你能解释一下我在这里漏掉了什么吗？

为hashcode添加API注释（取自Silvio的答案）：

这通常是通过将对象的内部地址转换为整数来实现的，但JavaTM编程语言不需要这种实现技术

Answer 1

好吧，这里有很多问题，所以我们试着分解一下。

据我所知，Java中的==运算符比较对象的引用(int)。此值是Object中hashcode方法的默认实现返回的值。

Java中的==比较引用，是的。这些引用不一定与int兼容。在许多常见的体系结构中，int可能与引用可以占用的大部分可观察空间相一致，但通常情况下并非如此。

尤其是。

• int是有符号类型。这意味着它一半的值是负值。指针通常是无符号的。
• 即使忽略符号问题，int也是32位类型。大多数现代计算机都是64位的，这意味着地址空间更适合64位整数（即Java长)。因此，只有一小部分地址可以存储在int.
中

你在这里对“正确”的定义是什么？Java规范所要求的保证可以从文档中总结出来

equals方法在非空对象引用上实现等效关系：

• 它是自反的：对于任何非空引用值x，x.equals(x)应该返回true。
• 它是对称的：对于任何非空引用值x和y，x.equals(y)应返回true当且仅当y.equals(x)返回true。
• 它是传递的：对于任何非空引用值x、y和z，如果x.equals(y)返回true，而y.equals(z)返回true，那么x.equals(z)应该返回true。
• 它是一致的：对于任何非空引用值x和y，只要不修改对象上的equals比较中使用的信息，x.equals(y)的多次调用将一致地返回true或一致地返回false。
• 对于任何非空引用值x，x.equals(null)应返回false。

null

默认的equals实现显然满足了上面的基本要求，标准保证默认的hashcode对于两个相等的对象是相同的。

当我们有更好的相等概念时，我们重写equals。例如，如果两个字符串具有相同的字符，即使它们在内存中是不同的对象，也应该认为它们是相等的；如果两个数组列表的元素在点方向上相等，则应该认为它们是相等的。但是对于thread，这意味着什么呢？两个任意线程什么时候应该相等？默认值已经足够了，因为无论如何我们都不会从覆盖它中获得任何好处。

如果类至少有一个非静态字段，则可以重写hashcode和equals

public final class MySimpleClass {

  public boolean equals(Object other) {
    return (other != null) && (other instanceof MySimpleClass);
  }

  public int hashCode() {
    return 42;
  }

}

对于MySimpleClass来说，这是一个完全有效、符合要求的相等性和哈希实现。特别是，因为这个类只有一个有意义的不同值，所以我认为这是两个方法的好实现。不需要非静态字段。