Какой тип данных является ключом в словаре Python?

Ключи в словаре Python: требования и особенности

В Python ключом в словаре (dict) может быть любой хешируемый (hashable) тип данных. Это фундаментальное ограничение связано с внутренней реализацией словарей, которая использует хеш-таблицы для быстрого доступа к значениям.

Что такое "хешируемый" тип данных?

Хешируемый объект должен удовлетворять двум условиям:

1. Иметь метод __hash__(), который возвращает целочисленное значение (хеш). Это значение должно быть константным на протяжении всего времени жизни объекта.
2. Иметь метод __eq__(), для сравнения с другими объектами.

Если два объекта равны согласно __eq__(), их хеши, возвращаемые __hash__(), обязательно должны совпадать. Это ключевой инвариант для корректной работы словаря.

Наиболее распространенные типы-ключи

• Неизменяемые встроенные типы:

    *   **Целые числа (`int`)**
    *   **Числа с плавающей точкой (`float`)** (использовать с осторожностью из-за возможных ошибок округления)
    *   **Строки (`str`)**
    *   **Кортежи (`tuple`)** — но только если все их элементы также являются хешируемыми.

```python
valid_dict = {
    42: 'integer',
    3.14: 'float',
    'name': 'string',
    (1, 2, 'a'): 'tuple'  # Кортеж из хешируемых элементов
}
```

• Логический тип (bool) — технически подтип int.
• Байтовые строки (bytes)
• Объект None — также является хешируемым.
• frozenset — неизменяемая версия множества, созданная специально для использования в качестве ключа.

  fs = frozenset([1, 2, 3])
  d = {fs: 'frozen set as key'}
  

Типы, которые НЕ могут быть ключами

• Списки (list)
• Множества (set)
• Словари (dict)
• Другие изменяемые типы (включая пользовательские классы, если они не реализованы корректно).

Попытка использовать их вызовет ошибку TypeError: unhashable type.

try:
    invalid_dict = { [1,2]: 'list' }
except TypeError as e:
    print(e)  # TypeError: unhashable type: 'list'

Пользовательские классы как ключи

Экземпляры пользовательских классов по умолчанию являются хешируемыми (их хеш основан на id()). Однако, если вы переопределяете метод __eq__(), вы должны также явно переопределить __hash__() для поддержания инварианта, упомянутого выше.

class Person:
    def __init__(self, name, age):
        self.name = name
        self.age = age

    def __eq__(self, other):
        # Сравниваем по содержимому
        return isinstance(other, Person) and self.name == other.name and self.age == other.age

    def __hash__(self):
        # Хеш вычисляем на основе тех же атрибутов, что и сравнение
        return hash((self.name, self.age))

# Теперь объекты Person можно использовать как ключи
alice = Person('Alice', 30)
bob = Person('Bob', 25)
registry = {alice: 'Engineer', bob: 'Manager'}
print(registry[Person('Alice', 30)])  # Выведет: 'Engineer'

Практические следствия и важные замечания

• Иммутабельность ключа критична. Если бы ключ мог измениться, его хеш также изменился бы, и словарь не смог бы найти связанное с ним значение. Поэтому изменяемые типы не допускаются.
• Уникальность. Ключи в словаре уникальны. При попытке добавить пару с уже существующим ключом, старое значение будет перезаписано.
• Эффективность. Операции поиска, вставки и удаления в словаре имеют среднюю сложность O(1) именно благодаря использованию хеш-таблиц, что делает словарь одной из самых важных и часто используемых структур данных в Python.

Таким образом, выбор типа данных для ключа — это не просто синтаксическое решение, а осознанный дизайн, влияющий на корректность, читаемость и производительность вашего кода. Всегда используйте в качестве ключей простые, неизменяемые и семантически подходящие значения.