Программирование на JAVA

начать возвра­щать null в качестве значения ссылочного типа, если родительский метод такого не допускал), это может привести к сбоям в работе родительского класса, а значит, объекта наследника. Более того, существуют и некоторые обязательные ограничения.

Вспомним, что заголовок метода состоит из модификаторов, воз-вРащаемого значения, сигнатуры и throws-выражения. Сигнатура (имя и набор аргументов) остается неизменной, если говорить о пере­определении. Возвращаемое значение также не может меняться, ина-Че это приведет к появлению двух разных методов с одинаковыми сиг-Натурами.

Рассмотрим модификаторы доступа.

class Parent {

protected int getValueO { return 0;

}

}

class Child extends Parent {

/* ??? 7 protected int getValueO { return 1;

}

}

Пусть родительский метод был объявлен как protected. Понято, что метод наследника можно оставить с таким же уровнем доступа, но можно ли его расширить (public), или сузить (доступ по умолчанию)? Несколько строк для проверки:

Parent р = new Child(); p.getValue();

Обращение к методу осуществляется с помощью ссылки типа Parent. Именно компилятор выполняет проверку уровня доступа, и он будет ори­ентироваться на родительский класс. Но ссылка-то указывает на объект, порожденный от Child, и по правилам полиморфизма исполняться будет метод именно этого класса. А значит, доступ к переопределенному методу не может быть более ограниченным, чем к исходному. Итак, методы с до­ступом по умолчанию можно переопределять с таким же доступом, либо protected или public. Protected-методы переопределяются такими же, или public, а для public менять модификатор доступа и вовсе нельзя.

Что касается private-методов, то они определены только внутри класса, снаружи не видны, а потому наследники могут без ограничений объявлять методы с такими же сигнатурами и произвольными возвраща­емыми значениями, модификаторами доступа и т.д.

Аналогичные ограничения накладываются и на throws-выражение, которое будет рассмотрено в следующих лекциях.

Если абстрактный метод переопределяется неабстрактным, то гово­рят, что он его реализовал (implements). Как ни странно, абстрактный ме­тод может переопределить другой абстрактный, или даже неабстрактный, метод. В первом случае такое действие может иметь смысл только при из­менении модификатора доступа (расширении), либо throws-выражения. Во втором случае полностью утрачивается старая реализация метода, что может потребоваться в особенных случаях.