Могут ли два объекта разных типов иметь одинаковый хэш?

Question

[Roman Mindlin]

Ну то есть:
type(a) != type(b) and hash(a) == hash(b)

В теории наверное может, а на практике есть какая то защита от этого?

Answer 1

[Александр]

Не нужна тут ни какая защита.
У хэша нет задачи быть разным для разных объектов. Хэш нужен в основном для того, чтобы обеспечивать работу таких структур данных как словарь или множество. А там коллизии (ситуации, когда разные объекты имеют одинаковый хэш) - вполне штатное явление.
Хотя, конечно, и стараются делать так, чтобы оно возникало не очень часто, иначе производительность проседает.

Если интересны подробности, почитайте про хэш-таблицы:
https://ru.wikipedia.org/wiki/%D0%A5%D0%B5%D1%88-%...

Comments

[Roman Mindlin]

Спасибо, почитаю. Я в общем то и не утверждал, что нужна защита. Просто заметил, что:

>>> hash(1)
1
>>> hash('a')
12416037344

Подумалось, что hash от строки не спроста такой

[longclaps]

Roman Mindlin:
Очень интересная мысль, но как-то сразу оборвалась.
На всякий случай даю пример двух объектов разных типов:

i, f = 1, 1.
print(type(i), hash(i))
print(type(f), hash(f))

[Roman Mindlin]

longclaps: спасибо! Отличный пример!
В действительности вопрос возник вот откуда. Питон запрещает использовать изменяемые типы данных например в качестве ключей словарей. Объясняется это тем, что только у них есть хэши. Я так понял эту проблему, что хэши нужны на самом деле для того, чтобы обеспечить уникальность ключей. Оказывается это не так. И если этот пример еще как то можно понять:

>>> a[1]='Int key'
>>> a
{1: 'Int key'}
>>> a[1.]='Float key'
>>> a
{1: 'Float key'}

(Типа 1 == 1.)
то где гарантия, что не будет других таких совпадений?

[Александр]

Roman Mindlin: В механизмах работы словарей и множеств имеют значения две вещи: равенство хэшей и равенство значений.
Для точной идентификации ключа важно именно равенство значений. В питоне считаются равными целые числа и математически эквивалентные им числа с плавающей точкой, хотя и имеют разные типы.
Поэтому 1 и 1.0 будут считаться одним и тем же ключом словаря и это так и задумано.

Хэши не используются для точной идентификации ключей словаря. Они используются только на предыдущем этапе, для ускорения работы словаря.
Если хэши совпали - то это ещё ничего не значит, потому что потом всё равно будет проверка по значению.
Поэтому невозможна такая ситуация, что вы обращаетесь по числовому ключу 12416037344, а словарь вам выдаст элемент для строкового ключа 'a' из-за того, что хэши одинаковые. Нет, чтобы ключ считался тем же, должно выполнятся равенство и по хэшу, и по значению.

Если хэши для разных ключей совпадают - это нормально. Главное, чтобы они не совпадали слишком уж часто, а то производительность проседает.

[Roman Mindlin]

Александр: спасибо! полная ясность

Answer 2

[Roman Mindlin]

Я традиционно сам себе еще ответ напишу )
В принципе в соседнем ответе все разложили по полочкам. Еще подробнее здесь
По сути вопроса - совпадения хэшей бывают, это называется коллизия хеш-функции. Специальной защиты от них нет (почему - в ответе выше), но стараются выбирать такие хеш-функции, чтобы совпадения были как можно реже.