Что хотят услышать интервьюеры:

Кортеж можно использовать как ключ словаря или элемент множества только если он целиком состоит из хешируемых объектов. Если внутри кортежа есть изменяемый и нехешируемый объект, такой как список, сам кортеж становится нехешируемым. На практике это означает, что tuple не гарантирует хешируемость только за счёт своей неизменяемости на верхнем уровне.

Определение:

Хешируемый объект — это объект, у которого есть стабильное значение хеша на протяжении жизни объекта, и который можно безопасно использовать в dict и set.
Кортеж в Python хешируем, если все его элементы хешируемы. Если хотя бы один элемент не хешируем, например list, dict или set, то попытка вычислить хеш кортежа завершится ошибкой TypeError.

Пример использования:

# Подходит: все элементы хешируемы
key1 = (1, "abc", (2, 3))
d = {key1: "ok"}
s = {key1}

# Не подходит: внутри есть список
key2 = (1, [2, 3])

# Ошибка при попытке использовать как ключ/элемент множества
# d[key2] = "fail"
# s.add(key2)

Пояснение кода:

В первом случае кортеж содержит только int, str и вложенный кортеж из чисел — все они хешируемы, поэтому key1 можно использовать в словаре и множестве.
Во втором случае внутри кортежа есть список [2, 3], а список изменяемый и не имеет хеша. Поэтому сам key2 тоже не может быть использован как ключ или элемент множества.
Если раскомментировать строку d[key2] = "fail", Python выдаст TypeError: unhashable type: 'list'.

Ключевые моменты:

Кортеж хешируем только тогда, когда хешируемы все его элементы.
Наличие хотя бы одного изменяемого элемента делает кортеж нехешируемым.
Частые нехешируемые типы: list, dict, set.
Неизменяемость кортежа не спасает, если внутри лежит изменяемый объект.
Для вложенных структур важно проверять хешируемость рекурсивно.
tuple сам по себе часто подходит для ключей, но не всегда.

Когда кортеж в Python не может использоваться в качестве ключа в словарях и множествах из-за хешируемости?