JavaRush/Помощь по Java задачам/Подскажите по поводу алгоритма вызова конструкторов при н...

41 уровень

01.04.2021
947просмотров
12комментариев

Подскажите по поводу алгоритма вызова конструкторов при наследовании

Вопрос по задаче

Обсуждается

Написал в целом верное решение, но в одном моменте допустил ошибку, потому что не совсем разобрался. Так выглядит конструктор суперкласса

abstract static class Book {
    private String author;

    public Book(String author) {
        this.author = author;
    }

Я написал вот так изначально

public static class MarkTwainBook extends Book{
    private String author="Mark Twain";
    public String title;
    public MarkTwainBook(String title){
        this.title=title;
    }

Вот так выглядит правильный конструктор

public MarkTwainBook(String title){
    super("Mark Twain");
    this.title=title;
}

Компилятор вылетал с ошибкой по конструкторам. Долго не мог понять в чем дело. Правильно ли я понимаю, что всегда первым вызывается конструктор суперкласса, а потом уже наследника? а что мне делать если я не хочу вообще вызывать конструктор суперкласса? Так можно?

Комментарии (12)

популярные
новые
старые

Для того, чтобы оставить комментарий Вы должны авторизоваться

JustinianJudge в Mega City One

Master

1 апреля 2021, 09:11

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

Нет, неправильно понимаешь. Нужно отличать "вызывается" и "отрабатывает". Первым вызывается конструктор того объекта, экземпляр которого создается. Допустим у нас есть класс Child которые наследуется от Parent. Ты пишешь:

Child childe = new Child();

Сначала вызовется конструктор класса Child. Но конструктор этого класса выглядит таким способом:

public Child() {
   super();
   ...
  . ..
}

то есть первым вызывается конструктор наследника, НО, в первой строке конструктора любого класса, явно или неявно, идет вызов конструктора родителя. * Поэтому первым вызывается конструктор наследника, но там первой строкой (явно или нет) будет вызван конструктор родителя и передано управление ему. Поэтому последоватльность такова: 1. Вызов конструктора наследника. 2. Вызов конструктора родителя и отработка этого конструктора 3. Отработка ОСТАЛЬНОГО кода конструктора наследника.

а если я не хочу вообще вызывать конструктор суперкласса?

только если уберешь наследование. Тогда можно. Если же стоит наследование, значит ты говоришь компилятору "Эй, я хочу чтобы наследник имел те же методы и переменные (которые наследуются - public, protected), что и родитель." Тогда компилятор обязан ПЕРЕД тем как создать объект наследника, инициализировать родителя, а для этого нужно чтобы отработал конструктор родителя. По порядку инициализации можешь посмотреть и запустить код: https://pastebin.com/W0PKtVsc Но конструктор родителя НЕ МОЖЕТ отработать и вызваться, без вызова конструктора наследника. Именно конструктор наследника содержит код, который вызывает конструктор родителя.

Maks PanteleevJava Developer в Bell Integrator

1 апреля 2021, 10:38

понял, в целом прояснилась ситуация. Такой еще только момент не до конца понял. Если конструктор родителя содержит аргументы - в таких случаях всегда нужно явно вызывать его в наследнике? Поэтому в моем случае компилятор выдал ошибку? Неявный вызов конструктора проходит только для конструктора без аргументов? Или не совсем так?

JustinianJudge в Mega City One

Master

1 апреля 2021, 11:15

Если конструктор родителя содержит аргументы - в таких случаях всегда нужно явно вызывать его в наследнике? Поэтому в моем случае компилятор выдал ошибку?

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

super();

компилятор сам вставит эту строку в конструктор, и чтобы мы по 1000 раз не писали одно и то же, то решили так, что это можно не писать, компилятор сам этой строкой дополнит конструктор наследника. Но это касается только super(); то есть без параметров. Если же, в классе родителе, указан конструктор с параметрами, как мы знаем с теории, то дефолтный конструктор (консторуктор, который не принимает никаких аргументов) затирается и его нет. И тогда получается ошибка компиляции, и тогда два варианта решения: 1) ты добавляешь еще один конструктор - конструктор без параметров, в класс родителя 2) ты явно прописываешь вызов конструктора родителя с параметрами. Это все из-за того, что например в твоем случае

super("Mark Twain");

компилятор никак не может использоваться для генерации автоматического (неявного) вызова конструктора родителя с параметрами по простой причине. А что компилятору подставлять в аргументы? Откуда он знает, что нужно или что мы хотим? Если есть аргументы, значит мы сами должны их указать, поэтому нужно прописывать явно.

Неявный вызов конструктора проходит только для конструктора без аргументов?

да именно так

Maks PanteleevJava Developer в Bell Integrator

1 апреля 2021, 11:18

Теперь понял, изначально я немного протупил и решил, что строчка

private String author="Mark Twain";

как раз даст конструктору нужный аргумент, но как то не подумал о том, что инициализации не произошло.

JustinianJudge в Mega City One

Master

1 апреля 2021, 11:22

Надо еще дополнить :

class Parent {
    public Parent(Object o) {
    }
}

class Child extends Parent {
    public Child() {
        this("");
    }
    public Child(String s) {
        this(2);
    }
    public Child(int n) {
// ошибка компиляции.
// Именно здесь должен быть вызван конструктор родителя с параметрами
    }
}

То есть как видишь, есть исключения, вернее уточнения. Первой строкой в конструкторе является вызов другого конструктора. - Если мы ничего не указываем , это неявно (при компиляции) будет добавлен вызов конструктора родителя без параметров: super() - мы можем явно написать вызов конструктора родителя без параметров: super(); - если конструктор родителя есть только с параметрами, значит нам нужно в первой строке вызывать именно его: super("Book"); - Но есть еще кейс, а именно - мы можем в первой строке конструктора наследника вызвать другой конструктор наследника (этого же класса). Тогда, в этом конкретном конструкторе не будет осуществлен вызов конструктора родителя. Один конструктор - один вызов другого конструктора. Либо вызываем конструктор класса родителя, либо другой конструктор этого класса. Если вызываем другой конструктор этого класса (как в примере), тогда вызов конструктора класса родителя не происходит. И только в том конструкторе, в котором не вызывается других никаких конструкторов этого класса, и будет вызван конструктор родительского класса. Это так, нюанс, надеюсь не запутает )

Maks PanteleevJava Developer в Bell Integrator

1 апреля 2021, 11:39

Если мы вызываем конструктор "брата", то он ведь тоже рано или поздно вызовет конструктор родителя, все равно это неизбежно)

JustinianJudge в Mega City One

Master

1 апреля 2021, 11:42

да, но это уточняет правило, что конструктор наследника содержит первой строкой вызов конструктора родителя. Это не совсем так. Если конструкторов несколько и они вызывают друг друга, то вызов конструктора родителя будет происходит в том конструкторе наследника, который является последним в цепочке вызовов конструкторов в пределах одного класса. В одном конструкторе мы первой строкой можем вызвать один другой конструктор. Либо родительского класса либо своего.

Maks PanteleevJava Developer в Bell Integrator

1 апреля 2021, 11:47

Ясно, подробно, спасибо)

Ksenia VolkovaJava Developer в DXC

Master

1 апреля 2021, 08:38

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

Maks PanteleevJava Developer в Bell Integrator

1 апреля 2021, 08:39

Я неправильно скопировал ту часть где я изначально писал без вызова конструктора суперкласса. Получается, я его явно не вызвал и компилятор выдал ошибку

Ksenia VolkovaJava Developer в DXC

Master

1 апреля 2021, 08:41

Компилятор будет пытаться неявно вызвать конструктор по умолчанию. Если такого нет - он станет ругаться.

Maks PanteleevJava Developer в Bell Integrator

1 апреля 2021, 08:45

в целом ясно, спасибо)