如何为循环图节点编写 hashCode() 函数？

Question

我有以下类用作图表的一部分：

public class MyNode {

    private String name;

    private Set<MyNode> parents;

    private Set<MyNode> children;

    // getters and setters
}

当我使用 Eclipse 的Source / Generate hashCode() and equals() 时，它会生成这个方法：

@Override
public int hashCode() {
    final int prime = 31;
    int result = 1;
    result = prime * result + ((children == null) ? 0 : children.hashCode());
    result = prime * result + ((name == null) ? 0 : name.hashCode());
    result = prime * result + ((parents == null) ? 0 : parents.hashCode());
    return result;
}

问题是这个方法从当前对象到它的孩子，然后在计算第一个孩子的hashCode()时，它通过parents.hashCode()回到原来的节点但是不知道 hashCode() 已经在那里计算过了。然后它重新进入原始节点的children，它给出了一个漂亮的无限循环。

问题：如何检查MyNode 的两个实例是否是同一个对象，同时避免无限循环？为了停止探索，在 MyNode 类中添加 visited 布尔值是否可以接受？还是有更好的解决方案？

谢谢！

Answer 1

在实现hashCode 和equals 时，不应使用节点的子节点或父节点。它们是可变属性。 hashCode 的计算在更改边缘后会有所不同，并会导致 Maps 和 Set 集合损坏。

仅使用不可变字段来实现hashCode 和equals，这些字段为对象创建不同的自然键。一个名字可能是一个很好的候选人，除非它可以改变。

如果不存在不可变字段，则：

1. 不要覆盖hashCode 和equals 方法，默认就可以了。它将使每个类实例都是唯一的。
2. 创建一些唯一的 id 字段（按顺序）并将其用作 hashCode 中的种子并在 equals 中进行比较。

Answer 2

您可以使用== 运算符检查两个对象是否是同一个实例：

if(obj0 == obj1)

如果您想使用 visited 标志，您应该使用查找来实现它（例如 Map），因为在您的代码运行后，您必须重置这些标志。

我建议忽略parents/children，而是为每个节点添加一个唯一的id。

Answer 3

hashCode() 的唯一硬性要求是两个相等的对象必须返回相同的哈希值。

此实现将遵守：

@Override
public int hashCode() {
    return 42;
}

...因为没有什么说不相等的对象必须有不同的哈希码。

当然，为了正确地完成它的工作，hashCode() 会更好地工作，如果值可以分散。只要你不违反关于平等对象的规则，你可以做任何你喜欢的事情。在我不希望哈希对性能至关重要的普通通用代码中，我通常只返回一个或两个重要字段的哈希码（例如本例中的名称），只要这些字段参与计算相等，使得相等的对象具有相同的哈希值。

关键是，您确实需要将equals 和hashCode 视为一对，最好从您对等于的定义开始。