Является ли использование в методе класса super() одним из требований для соблюдения принципа открытости/закрытости или подмены Барбары Лисков SOLID?

Question

[Владимир]

С коллегами возник спор, хочу докопаться до истины.

Вот к примеру определения из wiki (SOLID)
- Принцип открытости/закрытости (The Open Closed Principle)
«программные сущности … должны быть открыты для расширения, но закрыты для модификации.»
- Принцип подстановки Барбары Лисков (The Liskov Substitution Principle)
«объекты в программе должны быть заменяемыми на экземпляры их подтипов без изменения правильности выполнения программы.» См. также контрактное программирование.
Наследующий класс должен дополнять, а не изменять базовый.

Из чего я делаю выводы
1) Руководствуясь принципом открытости/закрытости мы добавляем новый "тип" как класс наследник базового тем самым базовый класс становится открытым для расширения (наследования) и не нужно модифицировать его метод в зависимости от "типа" тем самым делая его закрытым. Главная идея от наследников ожидать работу того же метода что и в базовом классе. То есть *super()* не является необходимым условием при следовании этому принципу.
2) Руководствуясь принципом подмены Лисков, как раз таки использование *super()* будет говорить нам о том что мы дополняем функционал метода а не полностью изменяем базовый. Тем самым гарантируя ожидаемую работу программы.

А как вы считаете/знаете к какому принципу можно отнести использование super()?

Answer 1

[FulTupFul]

Если класс уже был написан, одобрен, протестирован, воз-
можно, внесён в библиотеку и включён в проект, после этого
пытаться модифицировать его содержимое нежелательно.
Вместо этого вы можете создать подкласс и расширить в нём
базовое поведение, не изменяя код родительского класса
напрямую.
Метод super как раз позваляет вам использовать перекрытые методы суперкласса в потомке. Он не явлется обязательным. Если вам не нужно получить результат работы метода суперкласса в наследнике то можете неиспользовать метод super.

Comments

[Владимир]

Все верно, а какой это принцип или принципы? Что мешает нам расширять его без использования super()? Да мы можем поломать код в другой части из за того что мы полностью предопредилили работу метода, да это плохо, но это плохо в открытости/закрытости или в Лисков?

[Владимир]

FulTupFul То есть использование super() это чисто под конкретную задачу, следуя принципам его использование не является фундаментально важным?

[FulTupFul]

Владимир, Принцип открытости/закрытости, говорит нам о расширении функционала класса с помощью подклассов. А принцип подстановки Лисков, говорит нам о том, что подклассы не должны ломать клиентский код.
И у него есть несколько признаков:
1) Типы параметров метода подкласса должны совпадать илибыть более абстрактными, чем типы параметров базового метода.
2) Тип возвращаемого значения метода подкласса должен совпадать или быть подтипом возвращаемого значения базового метода.

class Pet:
    pass


class Cat(Pet):
    pass


class A:
    """Суперкласс Ветеринарной клиники"""

    def wash_pet(self, pet):
        """В качестве аргумента принимаем любое животное"""
        pet.is_washed = True
        return pet


class B(A):
    """Подкласс Ветеринарной клиники"""

    def wash_pet(self, cat):   # Соответсвует первому признаку
        """В качесте аргумента принимаем кота"""
        cat.is_washed = True
        cat.make_meow()
        return cat    # Соответсвует второму признаку

[Владимир]

FulTupFul, Вы правильные вещи говорите но я хочу понять использования именно super() и для какого принципа он подходит?

Часто как раз бывают случаи когда мы используем super() как раз для того чтобы не нарушить общую логику метода которая описана в базовом класе, тоесть super() подходит для третьего принципа.