Вопрос задавался на собеседовании: "Возможно ли при переопределении метода изменить модификатор доступа?" При ответе, что изменить можно, но при условии его расширения (package private -> protected -> public) прозвучал встречный вопрос: "А почему так?" ??? Понятно, что если нарушить это условие, то будет ошибка на стадии компиляции. Возможно чтобы ответить на этот вопрос нужны более глубокие познания в ООП? Если у кого есть соображения...
4
-
ну на самом деле всё просто) в Java все функции виртуальные. Нету смысла делать функцию в наследнике менее открытой, потому что она всё равно может быть вызвана через базовый класс. (фундаментальное свойство и получается бред). А вот расширить можно. Тогда вызывать нужно будет например через каст. Хотя тоже попахивает кривой архитектурой. (коммент потому что не уверен в правильности). – pavel 15 ноя '17 в 15:08
-
кстати в С++ такое делать можно. ideone.com/DDQN8q (но смысла мало). Поэтому ответ скорее мало зависит от ООП концепций, просто в Java так удобнее делать вызовы методов. – pavel 15 ноя '17 в 15:12
-
То есть, получается, это будет противоречить основному принципу полиморфизма? – cosmic_M 15 ноя '17 в 15:12
-
да. Если вы передадите наследника то у него всё равно будет вызван приватный метод по полиморфизму. – pavel 15 ноя '17 в 15:14
добавить комментарий
|
1 ответ
Принцип подстановки Лисков.
Там, где допустимо использовать тип Х, должно быть допустимо использовать и любой тип, наследующийся от него.
Если гипотетически предположить, что вам всё-таки удастся это нарушить, то получится, что в коде, который требует значение некоего базового типа (и использует у него тот метод, который вы перекрыли более ограниченным) не всякий более конкретный тип можно использовать.
Наследование получается неполным, и выходит, что система типов перестаёт контролировать, что наследующие типы применимы в коде для базового.
-
-
2@pavel в С++ вообще странное наследование. – user181100 15 ноя '17 в 15:14
-
кстати, используя smali код я в целом могу такое сделать и всё даже будет работать... Даже так как задумано (виртуальности пофиг на модификатор). – pavel 15 ноя '17 в 15:19
-
@pavel нет, как задумано, не получится. Приватный метод либо можно вызвать снаружи (и тогда сломалась приватность), либо нельзя (и тогда сломался принцип Лисков). Не вижу места для третьего состояния. – user181100 15 ноя '17 в 15:22
-
И понятно, что низкоуровневыми средствами можно много что отмочить. Да и не низкоуровневыми тоже: есть ведь рефлексия. Но это "запасные планы", когда основные дизайн-цели языка по каким-то причинам не стыкуются с сиюминутными требованиями конкретной задачи. – user181100 15 ноя '17 в 15:32