3

В Java нельзя переопределять статические методы. Но почему работает следующий код:

public class Runner {
    public static void main(String[] args) {
        B.fun();
    }
}

class A {
    public static void fun() {
        System.out.println("A");
    }
}
class B extends A {
    public static void fun() {
        System.out.println("B");
    }
}

На печать выводится "B". Все выглядит так, как будто это переопределение. Потому что при перегрузке я должна была бы что-то изменить в сигнатуре метода. Но нет, я ничего не меняла.

Аннотацию "override" не могу поставить над методом.

1
  • В Java статические методы определяются во время компиляции. А подклассы загружаются после компиляции.
    – Circassian
    20 мая 2020 в 18:22

2 ответа 2

5

Начнем по порядку

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

Переопределение метода (Method overriding) это возможность языка позволяющая подклассу или дочернему элементу классу обеспечивать специфическую реализацию метода, который уже реализовали в одном из супер-классов или родительском классе. Переопределение выглядит так:

public class App {
    public static void main(String[] args) {
        Dog dog = new Dog();
        Cat cat = new Cat();
        
        dog.voice(); // Вывод: Гав
        cat.voice(); // Вывод: Мяу
    }
}

class Animal { // родительский класс
    public void voice() {
        System.out.print("Голос животного");
    }
}

class Dog extends Animal { // класс-наследник

    @Override // Переопределение метода voice() унаследованного от класса Animal в классе-наследнике Dog
    public void voice() {
        System.out.print("Гав");
    }
}

class Cat extends Animal { // класс-наследник

    @Override // Переопределение метода voice() унаследованного от класса Animal в классе-наследнике Cat
    public void voice() {
        System.out.print("Мяу");
    }

}

Переопределенный метод должен иметь тот же модификатор доступа что его родитель, принимать аргументы как его родитель, и иметь возвращаемый тип такой же как у его родителя
Т.е.

public class App {
    public static void main(String[] args) {
        Dog dog = new Dog();
        Cat cat = new Cat();
        
        dog.voice("Шарик", 10); // Вывод: Гав
        cat.voice("не Шарик", 7); // Вывод: Мяу
    }
}

class Animal {
    // Родительский метод имеет возвращаемый тип String. Принимает два параметра, типа String и int
    public String voice(String animal_name, int animal_age) {
        System.out.print("Гав");
        
        return animal_name;
    }
}

class Dog extends Animal{
    // Переопределенный метод должен как его родитель, иметь возвращаемый тип String, и принимать параметры как его родитель 
    @Override
    public String voice(String dog_name, int dog_age) {
        System.out.print("Гав");
        
        return dog_name;
    }
}

class Cat extends Animal {
    @Override
    public String voice(String cat_name, int cat_age) {
        System.out.print("Мяу");        
        return cat_name;
    }
}

Сокрытие метода:

Сокрытие методов, грубо говоря, представляет из себя "перекрытие" методом текущего класса, метода родительского класса. Выглядит это следующим образом:

public class App {
    public static void main(String[] args) {
        Dog.voice(); // Вывод: Гав
    }
}

class Animal {
    public static void voice() {
        System.out.print("звук");
    }
}
class Dog extends Animal {
    // Метод определенный в классе-наследнике идентичный по сигнатуре с методом родительского класса
    public static void voice() {
        System.out.print("Гав");
    }
}

Сигнатуры методов этих двух классов идентичны, т.е. в классе родителе Animal есть public static void voice() и в классе-наследнике Dog есть public static void voice(). Следовательно вызов Dog.voice() будет вызывать метод определенный в классе Dog

Важно отметить, что перекрытие требует таких же правил как и переопределение метода.

Переопределенный метод должен иметь тот же модификатор доступа что его родитель, принимать аргументы как его родитель, и иметь возвращаемый тип такой же как у его родителя

т.е.

public class App {
    public static void main(String[] args) {
        Dog.voice(); // Вывод: Гав
        Dog.voice("Шарик"); // Вывод: Шарик говорит гав
    }
}

class Animal {
    public static void voice() {
        System.out.print("звук");
    }
}

class Dog extends Animal {
    
    public static void voice() { // Метод перекрывающий унаследованный метод
        System.out.print("Гав");
    }
    
    public static void voice(String name) { // Отдельный метод класса Dog
        System.out.print(name + " говорит гав");
    }
    
}

Рассмотрим использование таких методов в своих классах

  1. Использование без схожего по сигнатуре метода
public class App {
    public static void main(String[] args) {
        Dog.voice(); // Вывод: звук
    }
}

class Animal {
    public static void voice() {
        System.out.print("звук");
    }
}

class Dog extends Animal {  
    public static void dog_voice() {
        voice();
    }
}

Поскольку в классе-наследнике нет реализованного схожего по сигнатуре с родительским классом метода, то используется метод унаследованный от родительского класса

  1. Использование схожего по сигнатуре метода
public class App {
    public static void main(String[] args) {
        Dog.dog_voice(); // Вывод: гав
    }
}

class Animal {
    public static void voice() {
        System.out.print("звук");
    }
}

class Dog extends Animal {
    
    public static void voice() {
        System.out.print("Гав");
    }
    public static void dog_voice() {
        voice();
    }
}

Поскольку теперь у класса Dog появился "свой метод" voice() он перекрывает метод унаследованный от Animal

  1. Использование метода унаследованного от родителя, когда есть метод перекрывающий его
public class App {
    public static void main(String[] args) {
        Dog.dog_voice(); // Вывод: Гавзвук
    }
}

class Animal {
    public static void voice() {
        System.out.print("звук");
    }
}

class Dog extends Animal {
    
    public static void voice() { // Метод перекрывающий унаследованный метод
        System.out.print("Гав");
    }
    
    public static void dog_voice() {
        voice(); // Вызов метода voice определенного в классе Dog;
        Animal.voice(); // Вызов метода voice определенного в классе Animal 
    }
}

Хочу дополнить тем, что перекрытие работает не только с методами класса, но и с его полями. Небольшой пример:

public class App {
    public static void main(String[] args) {
        Dog.animal(); // Вывод: Имя этого животного Собакен
    }
}
class Animal {
    public static String animal_name = "Нет имени, просто животное";
    
    public static void animal() {
        System.out.print("Имя этого животного " + animal_name);
    }
}
class Dog extends Animal {
    public static String animal_name = "Собакен"; // Перекрывает поле родительского класса Animal
    
    public static void animal() {
        System.out.print("Имя этого животного " + animal_name);
    }
}
8
  • Но если удалить fun из класса B, то код B.fun(); по прежнему будет рабоать, верно?
    – tym32167
    20 мая 2020 в 18:25
  • @tym32167 да, работать будет. И тогда будет вызываться метод унаследованный от класса A 20 мая 2020 в 18:27
  • @tym32167 дополнил ответ 20 мая 2020 в 18:47
  • я не хочу писать свой ответ, потому просто дам вам пару рекомендаций. Я бы рассказал, что такое "переопределение метода" - дал бы этому определение и после рассказал, что такое "сокрытие метода" и в чем месжду ними разница. После я бы показал на примере, где будет переопределение, а где сокрытие. Есть даже ссылка на доку по этому поводу. Я думаю, что такое дополнение будет отличным плюсом для вашего ответа. Как минимум я бы за такое плюс поставил :)
    – tym32167
    20 мая 2020 в 19:15
  • @tym32167 подправил ответ 20 мая 2020 в 21:23
1

есть случаи когда мы осуществляем ПЕРЕОПРЕДЕЛЕНИЕ метода, а есть случаи когда мы осуществляем СОКРЫТИЕ метода. В твоем случае происходит "сокрытие", а не "переопределение" метода.

Статические методы НЕ "переопределяют" методы суперкласса. Статические методы умеют осуществлять "сокрытие" метода из суперкласса. На первый взгляд может ПОКАЗАТЬСЯ что "переопределение" и "сокрытие" одно и то же. Здесь написанно в чем разница между ними.

6
  • ахах, хороший ход, держите плюс :)
    – tym32167
    20 мая 2020 в 19:41
  • Зачем вставлять текст картинкой?
    – A K
    25 мая 2020 в 7:08
  • @AK, не хочеться печатать еще раз. Это мой предыдущий ответ
    – Marika
    25 мая 2020 в 12:37
  • То есть вы не умеете Ctrl+C, Ctrl+V? Нда... тяжело вам в жизни наверное, картинки постоянно вставлять и перенабирать постоянно одно и то же.
    – A K
    25 мая 2020 в 12:53
  • И всё-таки ловите минус. Нельзя код и текст вставлять картинками.
    – A K
    25 мая 2020 в 12:54

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

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