Professor Hans Noodles
41 уровень

Как устроен механизм переопределения методов

Статья из группы Java Developer
Привет! Ты уже используешь методы в Java и знаешь о них многое. Как устроен механизм переопределения методов  - 1Наверняка ты сталкивался с ситуацией, когда в одном классе было много методов с одинаковым названием, но разными аргументами. Если помнишь, в тех случаях мы использовали механизм перегрузки методов. Сегодня рассмотрим другую ситуацию. Представь, что у нас есть один общий метод, но он должен делать разные вещи в зависимости от того, в каком классе он был вызван. Как реализовать такое поведение? Чтобы разобраться, возьмем родительский класс Animal, обозначающий животных, и создадим в нем метод voice — «голос»:

public class Animal {
  
   public void voice() {

       System.out.println("Голос!");
   }
}
Хотя мы только начали писать программу, потенциальная проблема тебе, скорее всего, видна: животных в мире очень много, и все «говорят» по-разному: кошки мяукают, утки крякают, змеи шипят. Как устроен механизм переопределения методов  - 2 Наша цель проста: избежать создания кучи методов для подачи голоса. Вместо того, чтобы создавать методы voiceCat() для мяуканья, voiceSnake() для шипения и т.д., мы хотим, чтобы при вызове метода voice() змея шипела, кошка мяукала, а собака лаяла. Мы легко добьемся этого с помощью механизма переопределения методов (Override в Java). Википедия дает такое пояснение термина «переопределение»: Переопределение метода (англ. Method overriding) в объектно-ориентированном программировании — одна из возможностей языка программирования, позволяющая подклассу или дочернему классу обеспечивать специфическую реализацию метода, уже реализованного в одном из суперклассов или родительских классов. Оно, в общем-то, правильное. Переопределение позволяет взять какой-то метод родительского класса и написать в каждом классе-наследнике свою реализацию этого метода. Новая реализация «заменит» родительскую в дочернем классе. Рассмотрим, как это выглядит на примере. Создадим 4 класса-наследника для нашего класса Animal:

public class Bear extends Animal {
   @Override
   public void voice() {
       System.out.println("Р-р-р!");
   }
}
public class Cat extends Animal {

   @Override
   public void voice() {
       System.out.println("Мяу!");
   }
}

public class Dog extends Animal {

   @Override
   public void voice() {
       System.out.println("Гав!");
   }
}


public class Snake extends Animal {

   @Override
   public void voice() {
       System.out.println("Ш-ш-ш!");
   }
}
Небольшой лайфхак на будущее: чтобы переопределить методы родительского класса, перейди в код класса-наследника в Intellij IDEa, нажми Ctrl+O и выбери в меню «Override methods...». Привыкай пользоваться горячими клавишами с начала, это ускоряет написание программ! Чтобы задать нужное нам поведение, мы сделали несколько вещей:
  1. Создали в каждом классе-наследнике метод с таким же названием, как и у метода в родительском классе.
  2. Сообщили компилятору, что мы не просто так назвали метод так же, как в классе-родителе: хотим переопределить его поведение. Для этого «сообщения» компилятору мы поставили над методом аннотацию @Override («переопределен»).
    Проставленная над методом аннотация @Override сообщает компилятору (да и читающим твой код программистам тоже): «Все ок, это не ошибка и не моя забывчивость. Я помню, что такой метод уже есть, и хочу переопределить его».

  3. Написали нужную нам реализацию для каждого класса-потомка. Змея при вызове voice() должна шипеть, медведь — рычать и т.д.
Давай посмотрим, как это будет работать в программе:

public class Main {

   public static void main(String[] args) {

       Animal animal1 = new Dog();
       Animal animal2 = new Cat();
       Animal animal3 = new Bear();
       Animal animal4 = new Snake();
      
       animal1.voice();
       animal2.voice();
       animal3.voice();
       animal4.voice();
   }
}
Вывод в консоль: Гав! Мяу! Р-р-р! Ш-ш-ш! Отлично, все работает как надо! Мы создали 4 переменных-ссылки родительского класса Animal, и присвоили им 4 разных объекта классов-наследников. В результате каждый объект ведет себя по-своему. Для каждого из классов-наследников переопределенный метод voice() заменил «родной» метод voice() из класса Animal (который выводит в консоль просто «Голос!»). Как устроен механизм переопределения методов  - 3 У переопределения есть ряд ограничений:
  1. У переопределенного метода должны быть те же аргументы, что и у метода родителя.

    Если метод voice родительского класса принимает на вход String, переопределенный метод в классе-потомке тоже должен принимать на вход String, иначе компилятор выдаст ошибку:

    
    public class Animal {
    
       public void voice(String s) {
    
           System.out.println("Голос! " + s);
       }
    }
    
    public class Cat extends Animal {
    
       @Override//ошибка!
       public void voice() {
           System.out.println("Мяу!");
       }
    }
    

  2. У переопределенного метода должен быть тот же тип возвращаемого значения, что и у метода родителя.

    В ином случае мы получим ошибку компиляции:

    
    public class Animal {
    
       public void voice() {
    
           System.out.println("Голос!");
       }
    }
    
    
    public class Cat extends Animal {
    
       @Override
       public String voice() {         //ошибка!
           System.out.println("Мяу!");
           return "Мяу!";
       }
    }
    

  3. Модификатор доступа у переопределенного метода также не может отличаться от «оригинального»:

    
    public class Animal {
    
       public void voice() {
    
           System.out.println("Голос!");
       }
    }
    
    public class Cat extends Animal {
    
       @Override
       private void voice() {      //ошибка!
           System.out.println("Мяу!");
       }
    }
    
Переопределение методов в Java — один из инструментов для реализации идеи полиморфизма (принципа ООП, о котором мы рассказывали в прошлой лекции). Поэтому главным преимуществом его использования будет та же гибкость, о которой мы говорили ранее. Мы можем выстроить простую и логичную систему классов, каждый из которых будет обладать специфическим поведением (собаки лают, кошки мяукают), но единым интерфейсом — один метод voice() на всех вместо кучи методов voiceDog(), voiceCat() и т.д.
Комментарии (147)
ЧТОБЫ ПОСМОТРЕТЬ ВСЕ КОММЕНТАРИИ ИЛИ ОСТАВИТЬ КОММЕНТАРИЙ,
ПЕРЕЙДИТЕ В ПОЛНУЮ ВЕРСИЮ
Anna Уровень 28, Минск, Беларусь
22 мая 2022
"У переопределенного метода должен быть тот же тип возвращаемого значения, что и у метода родителя." "В переопределенном методе мы можем поменять тип результата, сузив его. " (Java Core 5 уровень, 1 лекция)
Anna Уровень 28, Минск, Беларусь
22 мая 2022
"Модификатор доступа у переопределенного метода также не может отличаться от «оригинального» " "При переопределении типа разрешается расширить видимость метода." (Java Core 5 уровень, 1 лекция)
Ada Уровень 46
20 мая 2022
Переопределение метода (англ. Method overriding) в объектно-ориентированном программировании — одна из возможностей языка программирования, позволяющая подклассу или дочернему классу обеспечивать специфическую реализацию метода, уже реализованного в одном из суперклассов или родительских классов. Как-то я призадумалась, а почему подклассу или дочернему классу, почему суперклассов или родительских классов. А потом как поняла, что имеется в виду "или как еще называют"...
Lex Bekker Уровень 12, Новосибирск, Russian Federation
3 марта 2022
При переопределении метода можно заменить модификатор доступа на менее строгий.
Alexey Pavlovsky Уровень 25, Краснодар, Россия
14 января 2022
Наверняка ты сталкивался с ситуацией, когда в одном классе было много методов с одинаковым названием, но разными аргументами. перестал читать после этой фразы
Aleksei Reinsalu Уровень 19, Таллинн, Эстония
5 декабря 2021

@Override
// Из-за предыдущей строки здесь может стоять только метод 
// из родительского класса или интерфейса. Ошибки в названии,
// типе, аргументах будут указаны автоматически
Валентин Еременко Уровень 26, Волгодонск, Россия
25 ноября 2021
Дайте ответ, пожалуйста. У нас с абстрактными классами была тема, что мы методы в абстрактном классе объявили, а его в наследнике переопределили. Вопрос: кроме как хорошим тоном, чем еще отличается переопределение метода через @override от объявления метода с точно таким же именем в наследнике. P.S. камнями не кидайте, только учусь
Игорь Судовчихин Уровень 1, Russian Federation
17 ноября 2021
При переопределении метода в классе можно менять модификатор доступа в сторону расширения доступа В Animal дефолтный тоесть пакетный и доступ мы имеем из пакета в котором находимся. В Cat Защищеный в пакете и наследниках класса.

public class Animal {

   void voice() {

       System.out.println("Голос!");
   }
}

public class Cat extends Animal {

   @Override
   protected void voice() {    
       System.out.println("Мяу!");
   }
}
Гэндальф Уровень 26, Средиземье
29 октября 2021
Несмотря на отличные лайфхаки вроде хоткеев Идеи, я бы не рекомендовал на данном этапе пользоваться, так как надо сначала "запомнить ручками". Столкнулся я сам с этим на примере цикла fori, когда попытался набрать без подсказок, получилось очень туго и я даже не мог вспомнить, запятые там в скобках или точки с запятыми. На собеседовании, где любят давать задания в блокноте, можно внезапно опозориться.
Sergey Kornilov Уровень 39, Petropavlovsk, Казахстан
25 октября 2021
Принято.