Почему type hint ругается на наследника?

Question

[devastation_kvlt]

Не могу понять одну вещь:

Есть абстрактный класс Model, у него наследники Employee и Department.

Есть абстрактный класс TableDataGateway, у него наследники EmployeeTDGW и DepartmentTDGW

Я в классе TableDataGateway пишу: abstract public function add(Model $object); - подразумевая, что можно передавать только Model и её наследников

В дочерних классах я хочу видеть что-то типа public function add(Department $department) - уточняю, что не любой Model, а только Department

Но выскакивает warning кричащий о несоответствии типов. Пришлось в наследниках так-же прописывать Model в качестве переданных параметров.

Как можно сделать такое уточнение и что-бы валидатору понравилось моё решение?

Answer 1

[mistergonza]

Для абстрактных методов в классах потомках область видимости может варьироваться (она должна быть такой же или менее строгой), а вот сигнатуры методов должны совпадать. В интерфейсах также сигнатуры методов должны совпадать.

Как вариант можно сделать проверку внутри реализации метода дочернего класса через instanceof.

P.S. Судя по названию классов вы случаем там не ZF2 ковыряете?

Comments

[devastation_kvlt]

Нет, ковыряю свой самопис. Сделал через instanceof, спасибо!

Answer 2

[Arman]

Может попробовать указывать не класса, а интерфейсы?

Comments

[devastation_kvlt]

Из статьи по ссылке:
Замечание:
Сигнатуры методов в классе, реализующем интерфейс, должны точно совпадать с сигнатурами, используемыми в интерфейсе, в противном случае будет вызвана фатальная ошибка.

То есть даже не warning, а fatal error

Answer 3

[Melkij]

Пока нельзя. Наследник должен строго соответствовать контракту родителя.
https://wiki.php.net/rfc/generics Under Discussion