Зачем вообще нужно наследование в ООП? Приведите обоснование, зачем оно используется, если задачу переиспользования логики можно решить и другими способами (например, через DI)?

Наследование выражает отношение подтипа и полиморфную подстановку; переиспользование кода — лишь возможный сопутствующий эффект.

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