WikiDer > Переопределение метода

Method overriding
Иллюстрация

Переопределение метода, в объектно-ориентированного программирования, это языковая функция, которая позволяет подкласс или дочерний класс, чтобы обеспечить конкретную реализацию метод это уже предусмотрено одним из суперклассы или родительские классы. Реализация в подклассе переопределяет (заменяет) реализацию в суперклассе, предоставляя метод с тем же именем, тем же параметры или подпись и тот же тип возвращаемого значения, что и метод в родительском классе.[1] Версия выполняемого метода будет определяться объект который используется для его вызова. Если объект родительского класса используется для вызова метода, тогда будет выполнена версия в родительском классе, но если объект подкласса используется для вызова метода, то будет выполнена версия в дочернем классе.[2] Некоторые языки позволяют программист чтобы предотвратить переопределение метода.

Примеры для конкретных языков

Ада

Ада обеспечивает переопределение метода по умолчанию. Чтобы способствовать раннему обнаружению ошибок (например, орфографической ошибки), можно указать, когда метод, как ожидается, будет фактически переопределяться, или нет. Это будет проверено компилятором.

  тип Т является новый Контролируемый с участием ......;  процедура Op(Obj: в вне Т; Данные: в Целое число);  тип NT является новый Т с участием нулевая запись;  преобладающий    - индикатор приоритетности  процедура Op(Obj: в вне NT; Данные: в Целое число);  преобладающий    - индикатор приоритетности  процедура Op(Obj: в вне NT; Данные: в Строка);  - ^ компилятор выдает ошибку: подпрограмма "Op" не отменяет

C #

C # поддерживает переопределение метода, но только если явно запрошено с использованием модификаторов отменять и виртуальный или Абстрактные.

Абстрактные класс Животное{    общественный          строка имя { получить; набор; }    // Методы    общественный          пустота   Напиток();    общественный виртуальный  пустота   Есть();    общественный          пустота   Идти();}класс Кот : Животное{    общественный новый      строка имя { получить; набор; }    // Методы    общественный          пустота   Напиток();  // Предупреждение: скрывает унаследованный drink (). Использовать новый    общественный отменять пустота   Есть();    // Переопределяет унаследованный eat ().    общественный новый      пустота   Идти();     // Скрывает унаследованный go ().}

При замене одного метода другим подписи два метода должны быть идентичными (и с одинаковой видимостью). В C # методы класса, индексаторы, свойства и все события можно переопределить.

Невиртуальные или статические методы нельзя переопределить. Переопределенный базовый метод должен быть виртуальный, Абстрактные, или отменять.

В дополнение к модификаторам, которые используются для переопределения метода, C # позволяет прячется унаследованного свойства или метода. Это делается с использованием той же сигнатуры свойства или метода, но с добавлением модификатора новый перед ней.[3]

В приведенном выше примере скрытие вызывает следующее:

Кот Кот = новый Кот();Кот.имя = …;             // обращается к Cat.NameКот.Есть();                // вызывает Cat.Eat ()Кот.Идти();                 // вызывает Cat.Go ()((Животное)Кот).имя = …;   // обращается к Animal.Name!((Животное)Кот).Есть();      // вызывает Cat.Eat ()!((Животное)Кот).Идти();       // вызывает Animal.Go ()!

C ++

C ++ нет ключевого слова супер что подкласс может использовать в Java для вызова версии суперкласса метода, который он хочет переопределить. Вместо этого используется имя родительского или базового класса, за которым следует оператор разрешения области видимости. Например, следующий код представляет два классы, базовый класс Прямоугольник, и производный класс Коробка. Коробка отменяет Прямоугольник класса Распечатать , чтобы также вывести его высоту.[4]

#включают <iostream>//---------------------------------------------------------------------------класс Прямоугольник { общественный:  Прямоугольник(двойной л, двойной ш) : длина_(л), ширина_(ш) {}  виртуальный пустота Распечатать() const; частный:  двойной длина_;  двойной ширина_;};//---------------------------------------------------------------------------пустота Прямоугольник::Распечатать() const {  // Распечатать метод базового класса.  стандартное::cout << "Длина =" << длина_ << "; Ширина =" << ширина_;}//---------------------------------------------------------------------------класс Коробка : общественный Прямоугольник { общественный:  Коробка(двойной л, двойной ш, двойной час) : Прямоугольник(л, ш), рост_(час) {}  пустота Распечатать() const отменять; частный:  двойной рост_;};//---------------------------------------------------------------------------// Распечатать метод производного класса.пустота Коробка::Распечатать() const {  // Вызов родительского метода Print.  Прямоугольник::Распечатать();  стандартное::cout << "; Высота =" << рост_;}

Метод Распечатать в классе Коробка, вызывая родительскую версию метода Распечатать, также может выводить частные переменные длина и ширина базового класса. В противном случае эти переменные будут недоступны для Коробка.

Следующее заявления будем создать экземпляр объекты типа Прямоугольник и Коробка, и называют их соответствующие Распечатать методы:

int основной(int argc, char** argv) {  Прямоугольник прямоугольник(5.0, 3.0);  // Вывод: Length = 5.0; Ширина = 3,0  прямоугольник.Распечатать();  Коробка коробка(6.0, 5.0, 4.0);  // Указатель на наиболее переопределяемый метод в таблице vtable в Box :: print,  // но этот вызов не иллюстрирует переопределение.  коробка.Распечатать();  // Этот вызов иллюстрирует переопределение.  // выводит: Length = 6.0; Ширина = 5,0; Высота = 4,0  static_cast<Прямоугольник&>(коробка).Распечатать();}

В C ++ 11аналогично Java, метод, который объявлен окончательный в суперклассе нельзя переопределить; также может быть объявлен метод отменять чтобы компилятор проверял, переопределяет ли он метод в базовом классе.

Delphi

В Delphi, переопределение метода выполняется с помощью директивы отменять, но только если метод был отмечен динамичный или виртуальный директивы.

В унаследованный зарезервированное слово должно быть вызвано, когда вы хотите вызвать поведение суперкласса

тип  TRectangle = класс  частный    Длина: Двойной;    FWidth: Двойной;  общественный    свойство Длина читать Длина записывать Длина;    свойство Ширина читать FWidth записывать FWidth;    процедура Распечатать; виртуальный;  конец;  TBox = класс(TRectangle)  общественный    процедура Распечатать; отменять;  конец;

Эйфель

В Эйфель, переопределение функции аналогичен переопределению метода в C ++ и Java. Переопределение - это одна из трех форм адаптации функций, классифицируемых как повторное объявление. Повторное объявление также распространяется на выполнение, в котором предоставляется реализация для функции, которая была отложена (абстрактна) в родительском классе, и неопределенность, в котором функция, которая была эффективной (конкретной) в родительском классе, снова становится отложенной в наследственном классе. Когда функция переопределяется, имя функции сохраняется наследником класса, но свойства функции, такие как ее подпись, контракт (с учетом ограничений для предварительные условия и постусловия), и / или реализация будет другой у наследника. Если исходный объект в родительском классе, называемый наследником объекта предшественник, действует, то будет действовать переопределенная функция в наследнике. Если прекурсор отложен, функция наследника будет отложена.[5]

Намерение переопределить функцию, как сообщение в приведенном ниже примере должны быть явно объявлены в наследовать пункт наследника класса.

класс    МЫСЛЬособенность    сообщение            - Показать мысленное сообщение        делать            Распечатать («Мне кажется, что я припаркован по диагонали в параллельной вселенной.% N»)        конецконецкласс    СОВЕТнаследовать    МЫСЛЬ        переопределить            сообщение        конецособенность    сообщение            - Предшественник        делать            Распечатать («Предупреждение: даты в календаре ближе, чем кажется.% N»)        конецконец

В классе СОВЕТ особенность сообщение дается реализация, которая отличается от реализации его предшественника в классе МЫСЛЬ.

Рассмотрим класс, который использует экземпляры как для МЫСЛЬ и СОВЕТ:

класс    ПРИМЕНЕНИЕСоздайте    сделатьособенность     сделать            - Запустить приложение.        делать            (Создайте {МЫСЛЬ}).сообщение;            (Создайте {СОВЕТ}).сообщение        конецконец

При создании класса ПРИМЕНЕНИЕ производит следующий вывод:

Мне кажется, что я припаркован по диагонали в параллельной вселенной. Предупреждение: даты в календаре ближе, чем кажутся.

В переопределенной функции доступ к предшественнику функции можно получить с помощью ключевого слова language Предшественник. Предположим, что реализация {СОВЕТ}.сообщение изменяется следующим образом:

    сообщение            - Предшественник        делать            Распечатать («Предупреждение: даты в календаре ближе, чем кажется.% N»)            Предшественник        конец

Вызов функции теперь включает выполнение {МЫСЛЬ}.сообщение, и выдает следующий результат:

Предупреждение: даты в календаре ближе, чем кажется. Мне кажется, что я припаркован по диагонали в параллельной вселенной.

Ява

В Ява, когда подкласс содержит метод, который переопределяет метод суперкласса, он также может вызывать метод суперкласса с помощью ключевое слово супер.[2]Пример:

класс Мысль {    общественный пустота сообщение() {        Система.вне.println(«Мне кажется, что я припаркован по диагонали в параллельной вселенной».);    }}общественный класс Совет расширяет Мысль {    @Override  // Аннотация @Override в Java 5 необязательна, но полезна.    общественный пустота сообщение() {        Система.вне.println(«Предупреждение: даты в календаре ближе, чем кажется».);    }}

Класс Мысль представляет суперкласс и реализует вызов метода сообщение(). Подкласс называется Совет наследует все методы, которые могут быть в Мысль класс. Однако класс Совет отменяет метод сообщение(), заменив его функционал с Мысль.

Мысль стоянка = новый Мысль();стоянка.сообщение();  // Печатает «Мне кажется, что я припаркован по диагонали в параллельной вселенной».Мысль даты = новый Совет();  // Полиморфизмдаты.сообщение();  // Выводит «Предупреждение: даты в календаре ближе, чем кажется».

В супер ссылка может быть 

общественный класс Совет расширяет Мысль {      @Override      общественный пустота сообщение() {          Система.вне.println(«Предупреждение: даты в календаре ближе, чем кажется».);          супер.сообщение();  // Вызов родительской версии метода.      }

Есть методы, которые подкласс не может переопределить. Например, в Java метод, объявленный как final в суперклассе, нельзя переопределить. Методы, объявленные частными или статическими, нельзя переопределить, потому что они неявно являются окончательными. Также невозможно, чтобы класс, объявленный final, стал суперклассом.[6]

Котлин

В Котлин мы можем просто переопределить такую ​​функцию: обратите внимание, что функция должна быть открыта 

весело основной(аргументы: Массив<Строка>) {    вар т = тестовое задание(5)    вар s = test2(6)    т.myFun()    s.myFun()}открыто класс тестовое задание(вар а : Int) {    открыто весело myFun() = println(а)}класс test2(вар б : Int) : тестовое задание(б) {    отменять весело myFun() = println("переопределенный метод")}

Python

В Python, когда подкласс содержит метод, который переопределяет метод суперкласса, вы также можете вызвать метод суперкласса, вызвав супер(Подкласс, я).метод[7] вместо того я.метод. Пример:

класс Мысль:    def __в этом__(я) -> Никто:        Распечатать("Я новый объект типа Мысли!")    def сообщение(я) -> Никто:        Распечатать(«Я чувствую, что припаркован по диагонали в параллельной вселенной».)класс Совет(Мысль):    def __в этом__(я) -> Никто:        супер(Совет, я).__в этом__()    def сообщение(я) -> Никто:        Распечатать(«Предупреждение: даты в календаре ближе, чем кажется»)        супер(Совет, я).сообщение()т = Мысль()# "Я новый объект типа Мысль!"т.сообщение()# "Мне кажется, что я припаркован по диагонали в параллельной вселенной.а = Совет()# "Я новый объект типа Мысль!"а.сообщение()# "Предупреждение: даты в календаре ближе, чем они кажутся"# "Мне кажется, что я припаркован по диагонали в параллельной вселенной.# ------------------# Самоанализ:это экземпляр(т, Мысль)# Правдаэто экземпляр(а, Совет)# Правдаэто экземпляр(а, Мысль)# Правда

Рубин

В Рубин когда подкласс содержит метод, который переопределяет метод суперкласса, вы также можете вызвать метод суперкласса, вызвав super в этом переопределенном методе. Вы можете использовать псевдоним, если хотите, чтобы переопределенный метод был доступен вне метода переопределения, как показано ниже с помощью «super_message».

Пример:

класс Мысль  def сообщение    ставит «Я чувствую, что припаркован по диагонали в параллельной вселенной».  конецконецкласс Совет < Мысль  псевдоним : super_message :сообщение  def сообщение    ставит «Предупреждение: даты в календаре ближе, чем кажется»    супер  конецконец

Заметки

  1. ^ Фланаган 2002, стр. 107
  2. ^ а б Льюис и Лофтус 2006, стр.454
  3. ^ Мёссенбёк, Ханспетер (25 марта 2002 г.). «Advanced C #: переопределение методов» (PDF). http://ssw.jku.at/Teaching/Lectures/CSharp/Tutorial/: Институт системного программного обеспечения, Университет Йоханнеса Кеплера в Линце, Fachbereich Informatik. стр. 6–8. Получено 2011-08-02.
  4. ^ Малик 2006, стр. 676
  5. ^ Мейер 2009, стр. 572-575
  6. ^ Deitel & Deitel 2001, стр.474
  7. ^ супер().метод в Python 3 - см. https://docs.python.org/3/library/functions.html#super В архиве 2018-10-26 на Wayback Machine

Смотрите также

использованная литература

  • Дейтель, Х. М. и Дейтель, П. Дж. (2001). Java Как программировать (4-е изд.). Река Аппер Сэдл, Нью-Джерси: Prentice Hall.
  • Льюис, Дж. И Лофтус, У. (2008). Java: программные решения (6-е изд.). Бостон, Массачусетс: Пирсон Аддисон Уэсли.
  • Малик, Д. С. (2006). Программирование на C ++: проектирование программ, включая структуру данных. (3-е изд.). Вашингтон, округ Колумбия: Технология курса.
  • Фланаган, Дэвид. (2002).Java в двух словах.Полученное из http://oreilly.com/catalog/9780596002831/preview#preview
  • Мейер, Бертран (2009). Touch of Class: учимся хорошо программировать с объектами и контрактами. Springer.

внешние ссылки