HashSet позволяет дублировать вставку элемента, если hashCode() не переопределяется

class temp {
int id;

public int getId() {
  return id;
}

temp(int id) {
  this.id = id;
}

public void setId(int id) {
  this.id = id;
}

@Override
public boolean equals(Object obj) {
  if (this == obj)
      return true;
  if (obj == null)
      return false;
  if (getClass() != obj.getClass())
      return false;
  temp other = (temp) obj;
  if (id != other.id)
      return false;
  return true;
}
}

public class testClass {

    public static void main(String[] args) {
      temp t1 = new temp(1);
      temp t2 = new temp(1);
      System.out.println(t1.equals(t2));
      Set<temp> tempList = new HashSet<temp>(2);
      tempList.add(t1);
      tempList.add(t2);
      System.out.println(tempList);
}

Программа добавляет оба элемента в Set. Сначала я был шокирован, потому что, добавляя методы для установки, вызывается метод equals.

Но затем я перепробовал метод hashCode:

@Override
    public int hashCode() {
        final int prime = 31;
        int result = 1;
        result = prime * result + id;
        return result;
    }

А потом он не добавил. Это удивительно, поскольку метод Javadoc of Set и add() говорит, что он проверяет только equals(), добавляя в Set.

И это javadoc для add():

/**
     * Adds the specified element to this set if it is not already present.
     * More formally, adds the specified element <tt>e</tt> to this set if
     * this set contains no element <tt>e2</tt> such that
     * <tt>(e==null&nbsp;?&nbsp;e2==null&nbsp;:&nbsp;e.equals(e2))</tt>.
     * If this set already contains the element, the call leaves the set
     * unchanged and returns <tt>false</tt>.
     *
     * @param e element to be added to this set
     * @return <tt>true</tt> if this set did not already contain the specified
     * element
     */
    public boolean add(E e) {
      return map.put(e, PRESENT)==null;
    }

Тогда я понял, что HashSet реализован как HashMap, и на карте в качестве ключа используется хэш-код объекта. Таким образом, они обрабатывают их, используя разные ключи, если вы не переопределяете hashCode.

Должно ли это быть в документации метода add() или метода HashSet?

Ответ 1

Это задокументировано. См. Документацию для java.lang.Object, где говорится о hashCode():

Если два объекта равны в соответствии с методом equals (Object), тогда вызов метода hashCode на каждом из двух объектов должен производить то же целое число.

Кроме того, в документации для метода Object.equals(Object) содержится следующее:

Обратите внимание, что обычно необходимо переопределить метод hashCode когда этот метод переопределяется, чтобы поддерживать общий контракт для метода hashCode, который гласит, что равные объекты должны имеют одинаковые хэш-коды.

Другими словами, если с вашим классом, когда instanceA.equals(instanceB) == true и instanceA.hashCode() != istanceB.hashCode(), вы фактически нарушаете контракт класса Object.

Ответ 2

Просто взгляните на документацию equals():

Обратите внимание, что обычно необходимо переопределить метод hashCode всякий раз, когда этот метод переопределяется, чтобы сохранить общий контракт для метода hashCode, который гласит, что равные объекты должны иметь одинаковые хэш-коды.

Дело в том, что equals() и hashCode() сильно связаны. Оба должны всегда учитываться при работе с одним из них, чтобы избежать этих проблем согласованности.

Ответ 3

Если вы переопределите equals(), вы должны переопределить hashCode().

Существуют некоторые ограничения на поведение equals() и hashCode(), которые перечислены в документации для Object. В частности, метод equals() должен обладать следующими свойствами:

Симметрия: для двух ссылок a и b, a.equals(b) тогда и только тогда, когда b.equals(a)
Рефлексивность: для всех непустых ссылок a.equals(a)
Транзитивность: если a.equals(b) и b.equals(c), то a.equals(c)
Согласованность с hashCode(): два равных объекта должны иметь одинаковое значение hashCode()

Подробнее см. .

Ответ 4

Они (ребята javadoc), возможно, предположили, что, когда они говорят (при документации метода add() в HashSet)

(e==null ? e2==null : e.equals(e2))

hashCode() неотъемлемо равен для обоих из них.