Перегрузка методов

@KotofeyG · Регистрация: 22.01.2021

Студворк — интернет-сервис помощи студентам

Доброго времени суток. Народ, вопрос такой: можно ли private метод базового класса перегрузить public методом производного класса. Ответ нужен с технической точки зрения. Если да, можно ли это проверить (доказать)? Спасибо.

@iSmokeJC · 16.02.2021, 13:02

Сообщение от Tavashi

Вызывается конструктор родителя, но сам инстанс родителя не создается

Конструктор вызывается, но объект не создается....
Ну-ну

@Arsegg · 16.02.2021, 13:24

Не по теме:

Сообщение от Tavashi

сам инстанс родителя не создается

Лол, что?

@Tavashi · 16.02.2021, 13:38

Сообщение от iSmokeJC

Конструктор вызывается, но объект не создается....

Объект потомка только создается. Хотелось бы увидеть опровержение в виде кода или ссылок.

@xoraxax · 16.02.2021, 13:46

iSmokeJC, ну на самом деле все сложно. Т.е. не на самом деле, а насколько я понимаю )
В памяти объекта родителя и объекта наследника быть не должно. Должен быть один объект наследник, в котором будут все нужные поля из обоих классов. Но вот как там эта видимость проверяется, что-то я не вполне уверен.

@iSmokeJC · 16.02.2021, 13:52

xoraxax, согласен. Возможно, объект таки создается с целью "получить" поля и методы для наследника, а потом грохается, т.к. на него нет ссылок...
Хз

@Tavashi · 16.02.2021, 14:50

Сообщение от iSmokeJC

Возможно, объект таки создается с целью "получить" поля и методы для наследника, а потом грохается, т.к. на него нет ссылок...

Тогда, наверное, этот объект можно где-то увидеть, потому что сборщик явно не сразу его заберет.

Добавлено через 9 минут

Сообщение от iSmokeJC

объект таки создается с целью "получить" поля и методы для наследника

Зачем вообще для этого создавать объект, когда есть класс:

Java
1
2
3
4
5
6
7
8
9
10
11
12
class B {
    public B() {
        System.out.println("B class");
    }
 
}
 
class A extends B{
    public A() {
        System.out.println("A class");
    }
}

Java
1
2
3
public static void main(String[] args) {
        new A();
}

Code
1
2
3
4
5
6
java -verbose SomeTest
[Loaded B from file:/C:/...]
[Loaded A from file:/C:/...]
 
B class
A class

Добавлено через 38 минут

Сообщение от Arsegg

Лол, что?

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

Java
1
2
3
4
5
6
7
8
9
10
11
12
abstract class B {
    public B() {
        System.out.println("B class");
    }
 
}
 
class A extends B{
    public A() {
        System.out.println("A class");
    }
}

Java
1
2
3
public static void main(String[] args) {
            new A();
    }

@xoraxax · 16.02.2021, 14:51

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

@Tavashi · 16.02.2021, 14:56

xoraxax, с этим не согласен Arsegg. Он намекает, что на каждого родителя создается свой инстанс и с ним согласен iSmokeJC.

@Arsegg · 16.02.2021, 15:19

Сообщение от Tavashi

то хотелось бы получить объяснение этого кода:

Java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
abstract class B {
    public B() {
        // super() - вызывается неявно конструктор Object
        System.out.println("B class");
    }
 
}
 
class A extends B{
    public A() {
        // super() - вызывается неявно конструктор B
        System.out.println("A class");
    }
}

@Tavashi · 16.02.2021, 15:22

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

@xoraxax · 16.02.2021, 15:23

вот такое вот выдает jol, например

Code
1
2
3
4
5
6
7
8
9
10
11
com.xoraxax.Main$B object internals:
 OFFSET  SIZE   TYPE DESCRIPTION                               VALUE
      0     4        (object header)                           05 00 00 00 (00000101 00000000 00000000 00000000) (5)
      4     4        (object header)                           00 00 00 00 (00000000 00000000 00000000 00000000) (0)
      8     4        (object header)                           8d 48 17 00 (10001101 01001000 00010111 00000000) (1525901)
     12     4    int A.a                                       10
     16     4    int B.a                                       11
     20     4        (loss due to the next object alignment)
Instance size: 24 bytes
Space losses: 0 bytes internal + 4 bytes external = 4 bytes total
Process finished with exit code 0

@Arsegg · 16.02.2021, 15:27

Сообщение от Tavashi

когда создается инстанс родительского класса

При вызове конструктора............................ .................................
/upd
Наследник и есть предок. По крайней мере, поведение наследника не должно менять поведение супертипа (Liskov Substitution Principle), т. е. при касте наследника к типу предка - программа не должна ломаться.

@Tavashi · 16.02.2021, 15:29

Сообщение от Arsegg

При вызове конструктора....

То есть вызов конструктора обязательно во всех случаях означает создание инстанса? В примере - создается инстанс абстрактного класса?

@Arsegg · 16.02.2021, 15:37

Не по теме:

Сообщение от Tavashi

То есть вызов конструктора обязательно во всех случаях означает создание инстанса? В примере - создается инстанс абстрактного класса?

Кури Javadoc... Мои полномочия все...

@korvin_ · 16.02.2021, 17:13

Сообщение от Arsegg

По крайней мере, поведение наследника не должно менять поведение супертипа (Liskov Substitution Principle), т. е. при касте наследника к типу предка - программа не должна ломаться.

Не нужно путать принцип проектирования с техническими деталями реализации того или иного языка.

Классы и типы — не одно и то же, и нарушить принцип подстановки с помощью переопределения методов можно легко и непринуждённо.

К конструкторам же LSP и вовсе никакого отношения не имеет.

@Arsegg · 16.02.2021, 18:38

Не по теме:

Сообщение от korvin_

Не нужно путать принцип проектирования с техническими деталями реализации того или иного языка.

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

Сообщение от korvin_

Классы и типы — не одно и то же, и нарушить принцип подстановки с помощью переопределения методов можно легко и непринуждённо.

То, что можно - не значит, что нужно. Это как в поговорке: "C позволяет очень просто выстрелить себе в ногу. На C++ сделать это сложнее, но, когда вы это делаете, отрывает всю ногу". C++ меняем на Java - суть от этого не поменяется.
Наследовать от Вороны (class Raven {}) Стол (class Table extends Raven {}) можно, только возникнут большие вопросы (к написавшему такой "шедевр"). И будут (такие "программисты") потом спрашивать:

Сообщение от Tavashi

сам инстанс родителя не создается

- потому, что не понимают ООП (SOLID - это расширение принципов ООП, proof: Although they apply to any object-oriented design)

Сообщение от korvin_

К конструкторам же LSP и вовсе никакого отношения не имеет.

Ясное дело.

@korvin_ · 16.02.2021, 19:27

Сообщение от Arsegg

Только в каком из моих сообщений вы увидели, что я смешал данные понятия?

В том, в котором ты его привёл, отвечая на сугубо технический вопрос реализации объектов.

Сообщение от Arsegg

То, что можно - не значит, что нужно.

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

Сообщение от Arsegg

потом спрашивать:

сам инстанс родителя не создается

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

Сообщение от Arsegg

SOLID - это расширение принципов ООП

SOLID — это не расширение принципов ООП, а набор принципов, которые Мартин приплёл к ООП и собрал в красивую аббревиатуру, чтобы свои книги лучше продавать. При том, что все они неформальны (не имеют строгих и исчерпывающих определений, а следовательно являются предметом споров), частично дублируют друг друга и на практике чаще используются только в качестве вопроса на собеседовании.

Сообщение от Arsegg

Ясное дело.

Так зачем ты его сюда приплёл?

@Tavashi · 16.02.2021, 20:07

Сообщение от Arsegg

потому, что не понимают ООП (SOLID

Что?! Причем здесь еще SOLID? Ты приплел подстановки барбары лисков, теперь еще и солид? Я тебе задавал наводящие вопросы и что по твоей логике получается, что можно создавать инстанс абстрактного класса, но тебя даже это не смутило.

@Arsegg · 16.02.2021, 20:50

Не по теме:

Сообщение от korvin_

в котором ты его привёл, отвечая на сугубо технический вопрос реализации объектов.

То, что ты не можешь (не хочешь) отделить зерна от "чревел" - проблемы сугубо твои.

Сообщение от korvin_

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

Разговор шел об ООП: а именно о наследовании. Хочешь сказать, что теперь ООП не парадигма программирования? Парадигма программирования - это лишь концепция. Она не зависит от конкретной реализации в ЯП.

Сообщение от korvin_

Инстанс родителя не создаётся, почитай уже, как реализованы объекты.

Т. е. ты хочешь сказать, что память под поля и методы предка не выделяется при создании объекта-наследника?

Сообщение от korvin_

SOLID — это не расширение принципов ООП.

Composition, inheritance, and delegation:

The "open/closed principle" advocates that classes and functions "should be open for extension, but closed for modification".

И что же тут делает принцип SOLID?)))

Сообщение от korvin_

а набор принципов, которые Мартин приплёл к ООП и собрал в красивую аббревиатуру, чтобы свои книги лучше продавать.

Мало того, что ты перевираешь факты, так еще ничем не подкрепляешь (Proof):

The SOLID acronym was introduced later in 2004 or thereabouts by Michael Feathers.

Сообщение от korvin_

Так зачем ты его сюда приплёл?

Захотел. Еще вопросы?

@xoraxax · 16.02.2021, 21:51

Так речь не про ооп и солид же, а про то, как работает наследование. С технической стороны никто не помешает мне наследовать ворону от верблюда.
Принципы проектирования сформулировал дядя Боб где-то в начале 2000. Про них он довольно часто рассказывает на своих лекциях, например. Майкл Фезерс придумал саму аббревиатуру. Которая, опять же, не имеет никакого отношения к вопросу.
Про то, как выделяется память, почитай мои ответы, но я, естественно, могу заблуждаться, за подробностями - можно попробовать поискать доклад у товарища Шипилева и потыкать его jol, например.

Новые блоги и статьи Все статьи Все блоги /
FPS контроллер с анимированными Y-Bot и 3D-звуком miniaudio (Box3D, Recast, BehaviorTree.CPP, ozz-animation, ImGui, OpenGL и SDL3) 8Observer8 18.10.2026 Содержание блога \| English Version Полное мультиплатформенное руководство по стартовому проекту с FPS-контроллером игрока, анимированными роботами Y-Bot с 4-слойным блендингом, 3D-физикой Box3D,. . .	Локальный http сервер Argus19 17.10.2026 Локальный http сервер На работе, на двух локальных компьютерах круглосуточно работают программы опроса приборов с записью в книги Excel,которые раз в сутки записываются на сервер компании. Т. к. . . .	Копировать Windows на новый диск на UEFI damix 17.10.2026 https:/ / uriesk. wordpress. com/ 2016/ 11/ 01/ move-window-10-to-ssd-on-a-uefi-dualboot-system-with-basic-linux-tools/ TL DR Вставляем диск, а старый подключаем через переходник, грузимся с лайва. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .
Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .

@KotofeyG 0 / 0 / 0 Регистрация: 22.01.2021 Сообщений: 7

	Перегрузка методов 14.02.2021, 17:43. Показов 6844. Ответов 53 Метки java, java для начинающих (Все метки) Доброго времени суток. Народ, вопрос такой: можно ли private метод базового класса перегрузить public методом производного класса. Ответ нужен с технической точки зрения. Если да, можно ли это проверить (доказать)? Спасибо. 0

@xoraxax 3639 / 2971 / 918 Регистрация: 05.07.2013 Сообщений: 14,220
	16.02.2021, 13:46
	iSmokeJC, ну на самом деле все сложно. Т.е. не на самом деле, а насколько я понимаю ) В памяти объекта родителя и объекта наследника быть не должно. Должен быть один объект наследник, в котором будут все нужные поля из обоих классов. Но вот как там эта видимость проверяется, что-то я не вполне уверен. 0

@iSmokeJC 19530 / 11067 / 2931 Регистрация: 21.10.2017 Сообщений: 23,294
	16.02.2021, 13:52
	xoraxax, согласен. Возможно, объект таки создается с целью "получить" поля и методы для наследника, а потом грохается, т.к. на него нет ссылок... Хз 0

@xoraxax 3639 / 2971 / 918 Регистрация: 05.07.2013 Сообщений: 14,220
	16.02.2021, 14:51
	О чем я и говорю. Грузятся оба класса. Происходит аллокация для одного объекта, в котором есть все поля из родителей в т.ч. Дальше вызываются конструкторы, которые работают с этим одним объектом. 0

@Tavashi 1172 / 762 / 194 Регистрация: 21.05.2016 Сообщений: 1,858
	16.02.2021, 14:56
	xoraxax, с этим не согласен Arsegg. Он намекает, что на каждого родителя создается свой инстанс и с ним согласен iSmokeJC. 0

@Tavashi 1172 / 762 / 194 Регистрация: 21.05.2016 Сообщений: 1,858
	16.02.2021, 15:22
	Arsegg, то, что вызывается конструктор это и так понятно. Вопрос в том, где, как и когда создается инстанс родительского класса при создании инстанса класса потомка. О чем был намек здесь. 0

@xoraxax 3639 / 2971 / 918 Регистрация: 05.07.2013 Сообщений: 14,220
	16.02.2021, 21:51
	Так речь не про ооп и солид же, а про то, как работает наследование. С технической стороны никто не помешает мне наследовать ворону от верблюда. Принципы проектирования сформулировал дядя Боб где-то в начале 2000. Про них он довольно часто рассказывает на своих лекциях, например. Майкл Фезерс придумал саму аббревиатуру. Которая, опять же, не имеет никакого отношения к вопросу. Про то, как выделяется память, почитай мои ответы, но я, естественно, могу заблуждаться, за подробностями - можно попробовать поискать доклад у товарища Шипилева и потыкать его jol, например. 0