From d4e407b0b35dabcdb1a8c2d476c81519d87c27ed Mon Sep 17 00:00:00 2001 From: Anton Plankin <45337874+comavp@users.noreply.github.com> Date: Sat, 2 Mar 2024 12:28:22 +0400 Subject: [PATCH] Add answer to the question about role of Comparable in HashMap (#156) * Add answer to the question about role of Comparable in HashMap after Java 8 --- README.md | 1 + jcf.md | 15 +++++++++++++++ 2 files changed, 16 insertions(+) diff --git a/README.md b/README.md index 19b287f..13dca74 100644 --- a/README.md +++ b/README.md @@ -228,6 +228,7 @@ + [Каково максимальное число значений `hashCode()`?](jcf.md#Каково-максимальное-число-значений-hashcode) + [Какое худшее время работы метода get(key) для ключа, которого нет в `HashMap`?](jcf.md#Какое-худшее-время-работы-метода-getkey-для-ключа-которого-нет-в-hashmap) + [Какое худшее время работы метода get(key) для ключа, который есть в `HashMap`?](jcf.md#Какое-худшее-время-работы-метода-getkey-для-ключа-который-есть-в-hashmap) ++ [Почему несмотря на то, что ключ в `HashMap` не обязан реализовывать интерфейс `Comparable`, двусвязный список всегда удается преобразовать в красно-черное-дерево?](jcf.md#Почему-несмотря-на-то-что-ключ-в-HashMap-не-обязан-реализовывать-интерфейс-Comparable-двусвязный-список-всегда-удается-преобразовать-в-красно-черное-дерево) + [Сколько переходов происходит в момент вызова `HashMap.get(key)` по ключу, который есть в таблице?](jcf.md#Сколько-переходов-происходит-в-момент-вызова-hashmapgetkey-по-ключу-который-есть-в-таблице) + [Сколько создается новых объектов, когда вы добавляете новый элемент в `HashMap`?](jcf.md#Сколько-создается-новых-объектов-когда-вы-добавляете-новый-элемент-в-hashmap) + [Как и когда происходит увеличение количества корзин в `HashMap`?](jcf.md#Как-и-когда-происходит-увеличение-количества-корзин-в-hashmap) diff --git a/jcf.md b/jcf.md index 0450398..d856cd9 100644 --- a/jcf.md +++ b/jcf.md @@ -63,6 +63,7 @@ + [Каково максимальное число значений `hashCode()`?](#Каково-максимальное-число-значений-hashcode) + [Какое худшее время работы метода get(key) для ключа, которого нет в `HashMap`?](#Какое-худшее-время-работы-метода-getkey-для-ключа-которого-нет-в-hashmap) + [Какое худшее время работы метода get(key) для ключа, который есть в `HashMap`?](#Какое-худшее-время-работы-метода-getkey-для-ключа-который-есть-в-hashmap) ++ [Почему несмотря на то, что ключ в `HashMap` не обязан реализовывать интерфейс `Comparable`, двусвязный список всегда удается преобразовать в красно-черное-дерево?](#Почему-несмотря-на-то-что-ключ-в-HashMap-не-обязан-реализовывать-интерфейс-Comparable-двусвязный-список-всегда-удается-преобразовать-в-красно-черное-дерево) + [Сколько переходов происходит в момент вызова `HashMap.get(key)` по ключу, который есть в таблице?](#Сколько-переходов-происходит-в-момент-вызова-hashmapgetkey-по-ключу-который-есть-в-таблице) + [Сколько создается новых объектов, когда вы добавляете новый элемент в `HashMap`?](#Сколько-создается-новых-объектов-когда-вы-добавляете-новый-элемент-в-hashmap) + [Как и когда происходит увеличение количества корзин в `HashMap`?](#Как-и-когда-происходит-увеличение-количества-корзин-в-hashmap) @@ -832,6 +833,20 @@ ___O(N)___. Худший случай - это поиск ключа в `HashMap [к оглавлению](#java-collections-framework) +## Почему несмотря на то, что ключ в `HashMap` не обязан реализовывать интерфейс `Comparable`, двусвязный список всегда удается преобразовать в красно-черное дерево? +Красно-черное дерево - это самобалансирующееся бинарное дерево поиска. Это означает, что для его построения нужно уметь сравнивать элементы между собой. + +В Java обычно сравнение объектов происходит с помощью метода `compareTo()`, который определен в интерфейсе `Comparable`. На первый взгляд кажется логичным, если бы после Java 8 у ключа в `HashMap` появилось дополнительное требование - реализовывать `Comparable`. + +Чтобы избежать этого, используется следующий алгоритм при сравнении ключей: +1. Сначала делается попытка сравнить хэши ключей +2. Если хэши равны и оба ключа реализуют `Comparable`, то для сравнения вызывается метод `compareTo()` +3. Если ключи не реализуют `Comparable`, то сравнение происходит с помощью метода `tieBreakOrder()`, в котором + + сначала будет совершена попытка сравнить ключи через названия их классов (`getClass().getName()`) + + если ключи являются экземплярами одного класса, то сравниваться будут результаты метода `System.identityHashCode()` + +[к оглавлению](#java-collections-framework) + ## Сколько переходов происходит в момент вызова `HashMap.get(key)` по ключу, который есть в таблице? + ключ равен `null`: __1__ - выполняется единственный метод `getForNullKey()`. + любой ключ отличный от `null`: __4__ - вычисление хэш-кода ключа; определение номера корзины; поиск значения; возврат значения.