3

Имеется абстрактный класс Фигура c абстрактными методами. Его наследует абстрактный класс Фигура2D, которая определяет методы родителя. К классу Фигура2D добавлены также виртуальные методы.

Вопросы:
1) Нормально ли, что в абстрактном классе Фигура2D имеются методы с телом (методы родителя, которые нужно реализовать)
2) Нормально ли, что абстрактный класс имеет виртуальные методы (то есть класс является одновременно полиморфным и абстрактным)

p.s.: Реализуется в c#

1
  • 4
    Ну да, если того действительно требует задача, а не использование ООП ради ООП
    – AseN
    4 апр 2015 в 15:39

2 ответа 2

10
  1. Да. Хотя лично я не припомню, чтобы видел иерархию наследования с двумя абстрактными классами. Вообще, чем дальше практикуешь ООП, тем больше предпочитаешь простые иерархии и композицию.
  2. Да. Абстрактный класс тем и отличается от интерфейса, что может содержать некоторое поведение по умолчанию, которое как раз и может содержаться в виртуальных методах.
4

1) Нормально ли, что в абстрактном классе Фигура2D имеются методы с телом (методы родителя, которые нужно реализовать)

Главное отличие интерфейса от абстрактного класса в том, что абстрактный класс может содержать не только объявление операции, но содержать и реализацию.

При этом абстрактный класс может содержать не только виртуальные методы (объявление + реализация по умолчанию), но также может содержать и невиртуальные методы, которые определяют основу некоторого алгоритма, стабильного для всех подклассов, но с некоторым переменным шагом, который определяется конкретным наследником.

За этим замысловатым описанием скрывается один из самых распространенных паттернов проектирования, под названием Шаблонный метод, который является фундаментальным для создания удобных в использовании иерархий типов.

Выглядит он может так:

abstract class Shape {}

abstract class Shape2D : Shape
{
  public void Draw()
  {
     DrawFirstPart();
     DrawSecondPart();
     FillShape();
  }

  protected abstract DrawFirstPart();
  protected abstract DrawSecondPart();
  protected abstract FillShap();
}

2) Нормально ли, что абстрактный класс имеет виртуальные методы (то есть класс является одновременно полиморфным и абстрактным).

Наличие конкретных методов в абстракном классе не делает его "конкретным" или "полиморфным". Любой абстрактный класс будет содержать реализацию, в противном случае вы бы использовали интерфейс.

20
  • Нуууу... Всё же отличие интерфейса от абстрактного класса больше, чем наличие реализованных методов. Семантически интерфейс есть контракт, а абстрактный класс — средство повторного использования кода.
    – VladD
    24 апр 2015 в 22:30
  • @VladD "Семантически интерфейс есть контракт" -- интересно, вот есть сигнатура метода - это понятно, но если одну или несколько сигнатур группируют в именованный блок, то называют это контракт. почему? мне кажется, что контракт - это именно интерфейс + реализация.
    – Stack
    21 дек 2015 в 21:56
  • @Stack: Контракт в том смысле, что если мне в метод пришёл объект, реализующий интерфейс, я могу быть уверенным, что у этого объекта есть методы с данными сигнатурами, и что их можно безопасно вызывать.
    – VladD
    21 дек 2015 в 22:22
  • @VladD "если мне в метод пришёл объект, реализующий интерфейс" -- это понятно, в рантайме у вас есть интерфейс + реализация в объекте -- это и есть контракт. а интерфейс без реализации - это группа методов с определенными сигнатурами.
    – Stack
    21 дек 2015 в 22:29
  • @Stack: Не, реализация не является частью контракта-интерфейса. Обычно вы как архитектор не хотите налагать настолько жёсткие требования: «я ожидаю здесь метод X и его конкретную реализацию», вы хотите лишь «я ожидаю здесь метод X».
    – VladD
    21 дек 2015 в 22:59

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.