Java: руководство для начинающих (ЛП)

Но из этого строгого правила соблюдения типов имеется следующее важное исключение: переменной ссылки на объект суперкласса может быть присвоена ссылка на объект любого производного от него подкласса. Следовательно, по ссылке на объект суперкласса можно обращаться к объекту подкласса. Ниже приведен соответствующий пример. // Обращение к объекту подкласса по ссылке на объект суперкласса, class X { int а; X(int i) { а = i; } } class Y extends X { int b; Y(int i, int j) { super(j) ; b = i; } } class SupSubRef { public static void main(String args[]) { X x = new X(10); X x2; Y у = new Y(5, 6) ; x2 = x; // Допустимо, так как обе переменные одного типа. System.out.println("х2.а: " + х2.а); // Класс Y является подклассом X, поэтому переменные х2 и у 1 // могут ссылаться на один и тот же объект производного класса. х2 = у; // По-прежнему допустимо по указанной выше причине. System.out.println("х2.а: " + х2.а); // В классе X известны только члены класса X. х2.а = 19; // Допустимо. //х2.b=27; // Ошибка, так как переменная Ь не является членом класса X. } }

В данном примере класс Y является подклассом X. Следовательно, переменной х2 можно присвоить ссылку на объект типа Y.

Следует особо подчеркнуть, что доступ к конкретным членам класса определяется типом переменной ссылки на объект, а не типом объекта, на который она ссылается. Это означает, что если ссылка на объект подкласса присваивается переменной ссылки на объект суперкласса, то доступ разрешается только к тем частям этого объекта, которые определяются суперклассом. Именно поэтому переменной х2 недоступен член b класса Y, когда она ссылается на объект этого класса. И в этом есть своя логика, поскольку суперклассу ничего не известно о тех членах, которые добавлены в производный от него подкласс. Именно поэтому последняя строка кода в приведенном выше примере была закомментирована.

Несмотря на кажущийся несколько отвлеченным характер приведенных выше рассуждений, им можно найти ряд важных применений на практике. Одно из них рассматривается ниже, а другое — далее в этой главе, когда речь пойдет о переопределении методов.