0

Допустим есть класс A и наследуемый от него класс B.

И у А, и у B есть метод get(), который в первом случае возвращает переменную из класса А, а во втором из класса B. И есть ссылочная переменная ptr класса A. Как будет работать такой код?

A ptr = new A();  
ptr.get(); // это выполнится  
ptr = new B(); // ссылочная переменная суперкласса может  
               // указывать на объект подкласса, если я все правильно понял.    
ptr.get(); // тут будет вызван метод get() класса В
           // т.к. ссылка на объект В. 
           // Но сам метод берет приватную переменную из объекта В. 
           // А суперкласс о ней не знает, и для него она не существует.".   

Как это работает? Или я что-то не верно понял?

2

2 ответа 2

3

Определение переменной ptr класса A ограничивает доступные для объекта методы интерфейсом класса A (перечнем методов с их параметрами и возвращаемыми значениями). Т.е. нельзя будет вызвать методы, добавленные в наследниках.

При переопределении метода C get() в классе-наследнике B мы имеем доступ ко всем приватным полям B. При вызове метода будет возвращена копия ссылки на объект из приватного поля. При этом поле останется недоступным: обращение к приватному полю ptr.reference не скомпилируется ни для суперкласса, ни для наследника.

Возьмём следующие классы:

class A {
    private C reference=new C();
    C get() {
         return reference;
    }
}

class B extends A {
    private D reference=new D();
    @Override
    C get() {
        return reference;
    }
}

class C {}

class D extends C {}

Выполним следующий код:

A ptr=new A();
System.out.println(ptr.get() instanceof C);
ptr= new B();
System.out.println(ptr.get() instanceof C);
System.out.println(ptr.get() instanceof D);

Получим

true
true
true

Кстати, при переопределении метода в качестве возвращаемого значения можно использовать наследника класса из родительского определения, т.е. в классе B можно написать D get(). В данном примере результат не изменится.

2

Это полиморфизм, объект класса A определяет только возвращаемый тип объекта (предоставляет интерфейс), а реализация полностью лежит в классе B. Когда будет вызван метод get по сути просто вызовется метода класса B, а компилятор не будет ругаться, потому что сигнатура методов будет полностью совпадать.

2
  • Это я понял. Но get возвращает переменную из объекта В, которую класс А по-сути не видит. Ошибки не будет? Метод найдет переменную из класса В?
    – Belenot
    24 окт 2017 в 15:30
  • 1
    Ошибки не будет. Опять же, реализация полностью в классе B, класс A в данном случае вообще ни причём
    – Komdosh
    24 окт 2017 в 15:33

Ваш ответ

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

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