Как объекты распределяются по сегментам в HashMap?

Question

Что произойдет, если я верну -1 в методе хэш-кода?

каково будет расположение сегмента для отрицательных хэш-кодов? Где будет храниться запись карты для отрицательного хэш-кода?

Почему это не вызывает IndexOutOfBoundsException?

Answer 1

Я предполагаю, что ОП понимает, как работает HashMap, и вопрос только в технических деталях. Очень часто люди объясняют процесс распределения значений по сегментам, просто взяв mod га sh для определения индекса сегмента для объекта.

Это становится проблематичным c, когда у вас есть отрицательный hash:

(hash < 0 && n > 0 ) => hash % n < 0

Чтобы ответить на этот вопрос о деталях реализации в Java, давайте сразу перейдем к исходному коду:

final Node<K,V> getNode(int hash, Object key) {
    Node<K,V>[] tab; Node<K,V> first, e; int n; K k;
    if ((tab = table) != null && (n = tab.length) > 0 &&
        (first = tab[(n - 1) & hash]) != null) {
        if (first.hash == hash && // always check first node
            ((k = first.key) == key || (key != null && key.equals(k))))
            return first;
        if ((e = first.next) != null) {
            if (first instanceof TreeNode)
                return ((TreeNode<K,V>)first).getTreeNode(hash, key);
            do {
                if (e.hash == hash &&
                    ((k = e.key) == key || (key != null && key.equals(k))))
                    return e;
            } while ((e = e.next) != null);
        }
    }
    return null;
}

Адрес ' 'элемента:

tab[(n - 1) & hash]

Где n - количество ведер. Это всегда приводит к числу в диапазоне [0, n-1].

. В соответствии с запросом на пояснение в разделе комментариев, позвольте мне объяснить, как работает & операнд:

Давайте возьмем n = 10 и hash = -1

       n = 00001010
    hash = 11111111
n & hash = 00001010

& - оператор bitwise and. Это означает, что для каждого бита, который он проверяет, включен ли он в обоих аргументах.

Поскольку n всегда неотрицательно, у него будет некоторое начальное значение 0s в их представлении IEEE-754.

Это означает, что результат операции & будет иметь по крайней мере такое же количество начальных нулей и поэтому будет меньше или равен n.