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

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

Решен

Сравниваю две задачи: 1407 и эту. В этой задаче достаточно написать в методе println: System.out.println(bridge.getCarsCount()); Компилятор сам поймет о каком мосте идет речь, хотя тип ссылки Bridge. В задаче же 1407 про Player и Dancer требуется для начала сузить тип ссылки с Person до Player или Dancer в зависимости от того, на объект какого типа она указывает, а потом уже вызывать методы person.play() или person.dance() примерно вот так:

public static void haveRest(Person person) { if (person instanceof Player) { (Player person).play(); } if (person instanceof Dancer) { ((Dancer)person).dance(); } }

Подскажите, пожалуйста, почему в одном случае компилятор определяет набор функций, к которым есть доступ по объекту, а в другом по ссылке? Где об этом можно почитать подробнее?

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

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

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

Anastasia Ilyushenko

Уровень 34

10 августа 2018, 23:37

interface Person { } public interface Bridge { int getCarsCount(); } В Person нет объявленых методов. Интерфейс Bridge имеет один метод, который определяется в классах WaterBridge и SuspensionBridge. Если вызвать для переменной типа Person функцию play, то компилятор ее просто не найдет в интерфейсе Person и выдаст ошибку cannot find symbol symbol: method play(). В Bridge же есть int getCarsCount(), и поэтому все компилируется. Но, во втором случае компилятор автоматически определяет тип объекта, на который указывает ссылка, чтобы понять, какую функцию вызвать. Вопрос: почему допустимые функции определяются по ссылке, а не по типу объекта, на который эта сслыка указывает?

Илья Геков

Уровень 40

Master

11 августа 2018, 00:37

Если я правильно понял суть вашего вопроса, то дело в следующем. Компилятор ничего не определяет. Он видит, что в интерфейсе Bridge объявлен метод, значит все классы, реализующие данный интерфейс обязаны переопределить данный метод, следовательно не важно из какого именно объекта (реализующего интерфейс Бридж) этот метод будет вызван. В случае с переменной типа Person мы не можем с ее помощью вызывать не объявленные в этом интерфейсе методы, так как раз в интерфейсе этого метода нет, то нет никакой гарантии, что он будет определен в классе реализовавшем этот интерфейс. Если резюмировать, то логика следующая:

Bridge bridge = new LondonBridge();
bridge.getCarsCount(); //смотрим на тип переменной bridge - она Bridge, смотрим интерфейс Bridge - метод getCarsCount() объявлен - значит все ок, метод можно вызывать и не волноваться, что его в объекте не окажется.

Person person = new Player();
player.play(); //смотрим на тип переменной person - она Person, смотрим интерфейс Person -метод play() не объявлен - значит в теории этой переменной может быть присвоена ссылка на объект, который этот метод не имеет, не порядок - либо приведите к нужному типу на свой страх и риск, либо делайте по другому.

Anastasia Ilyushenko

Уровень 34

11 августа 2018, 12:51

Спасибо. Стало понятнее.

Anastasia Ilyushenko

Уровень 34

11 августа 2018, 14:53

А какой механизм определния типа объекта для того, чтобы решить функцию какого класса вызвать? Там неявно instanceof делается?

Илья Геков

Уровень 40

Master

11 августа 2018, 15:20

Никакого механизма нет, в любой момент программы переменная ссылается на один определенный конкретный объект (если она не null конечно), метод этого объекта и вызывается, все просто.