Код на салфетке

Вчерашняя задача - это яркий пример полиморфизма в ООП. Суть в том, что мы создаём "класс-потомок" и изменяем его поведение относительно наследуемого класса, но обо всём по порядку.

В викторине приняли участие 31 человек из них верно ответили всего 5. Большая часть сошлись во мнении, что должна выйти ошибка TypeError. Вторым популярным ответом стал [0, 1, 2], означающий, что должен вывестись весь список.

Код задачи:

class MyList(list):
    def __init__(self, *args):
        super().__init__()
        for i in args:
            self.append(i)

    def __hash__(self):
        return 1

    def __str__(self):
        return str(self.__len__())


lst = MyList(0, 1)
lst.append(2)
dct = {lst: lst}
print(dct[lst])

Разберём задачу.
Начнём с класса. Мы создали класс MyList и унаследовали его от встроенного в Python класса list. Этот класс, экземпляры хорошо известной нам структуры данных - списка.

В нашем вновь созданном классе мы переопределяем три метода:
- Конструктор класса __init__ – в этом методе инициализируем super-класс, т.е. вызываем метод __init__ из родительского класса. Далее в цикле добавляем все переданные позиционные аргументы в список, используя метод append, который мы унаследовали из родительского класса привычного нам списка.
- dunder-метод __hash__ – данный метод возвращает хэш-значение объекта класса. Если тип данных не хэшируется (как, например, типа данных список), то возвращается None. В нашем случае мы возвращаем значение 1, что соответствует True.
- dunder-метод __str__ – данный метод возвращает строковое представление объекта класса. Для списков это - "[1, 2, 3]", в нашем случае возвращается строка с указанием длинны списка (за это отвечает dunder-метод __len__).

После класса идёт ряд действий:
1. В переменную lst помещается объект созданного нами только что класса MyList с аргументами (0, 1). Тем самым формируется список [0, 1] (здесь и дальше мы будем употреблять слово "список" условно, называя так объекты нашего авторского класса, унаследованного от списка).
2. К списку добавляется число 2, получается следующий список - [0, 1, 2].
3. В переменную dct помещаем словарь, в котором ключ и значение - это значение, записанное в переменную lst (то есть объект нашего авторского класса со списком [0, 1, 2]).
4. Последним шагом выводим значение словаря передав объект из переменной lst как ключ.

Почему удалось добавить список как ключ?
Тут всё достаточно просто. Действительно, словарь не даёт делать ключом нехэшируемые объекты, и на то есть свои причины: списки и другие изменяемые типы данных не хэшируются, поскольку изменение приводило бы к изменению их хэша, а словари хранят ключи в хэш-таблице. Таким образом, записав значение по одному ключу, который в последствии изменится, мы не сможем получить записанные данные.

Что касается нашего случая, то когда мы переопределили dunder-метод __hash__, мы изменили поведение класса list, сделав его хэшируемым. Именно это позволило использовать переменную со списком в качестве ключа.

Почему в выводе 3?
И тут ответ "на поверхности". Когда для вывода объектов используется функция print, вызывается dunder-метод __str__. Мы переопределили его, возвращая вместо стандартного строкового представления списка – его длину.

Заключение.
Вот такая задачка у нас вышла. В задаче показан пример полиморфизма в действии, когда класс list изменяет своё поведение, будучи унаследован пользовательским классом.

🔥9🤯1

305 viewsedited 09:45