Зачем в PHP разрешили отключать проверку типа аргумента у наследников?

Question

[Посторонним В.]

Читаю список изменений PHP 7.2:

2. New Features
========================================

- Core:
. It is now possible to remove argument type annotations when overriding an
inherited method. This complies with contravariance of method argument types
under the Liskov Substitution Principle.
https://wiki.php.net/rfc/parameter-no-type-variance

Зачем они это добавили? В примере по ссылке - какой-то абсурд. Якобы в базовом классе добавляется проверка типа, после чего все наследники ломаются из-за отсутствия объявления типа. Ну ладно, теперь они ломаться не будут, но проверка типа-то в них работать не будет. Я бы еще понял, если бы разрешили переопределение подтипами:

class A
{
    public function doSmth(DateTimeInterface $date, string $str)
    {
        // code
    }
}

class B extends A
{

    public function doSmth(DateTime $date, string $str)
    {
        // code
    }
}

Но так...

Кто-то может дать адекватное объяснение/пример того, зачем они эту фичу сделали?

Comments

[Александр Шаповал]

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

[Александр Шаповал]

лично мне эта фича не сильно нравится

[Посторонним В.]

Александр Шаповал: ок, но если бы я вместо int $num хотел передавать array $nums - я бы так и прописал в декларации метода, но ведь изменить тип на другой нельзя, можно его только убрать!

[Александр Шаповал]

Посторонним В.: там внизу голосование есть, ЗА - 24 голоса, ПРОТИВ - 5, это голосование закрытое или открытое? если открытое предлагаю всем собраться и проголосовать против)

[Посторонним В.]

Александр Шаповал: отличная идея, только оно уже давно прошло (фичу-то внедрили, уже бета вышла), и к тому же принимали в нём участие только авторитетные "отцы основатели".

[Александр Шаповал]

OnYourLips: нет, мне это не нравится и я с вами согласен.
Вот только что теперь получается. сейчас если написать
getUserById(int $id_user){}
то в теле метода не нужно фильтровать переменную и делать условие мол число ли это как было раньше до php7.
В php7 уже ясно будет что это число и ничто другое, а теперь что..снова городить проверки и фильтры ;-(

Answer 1

[Александр Аксентьев]

Зачем они это добавили?

This complies with contravariance of method argument types
under the Liskov Substitution Principle.

Comments

[Посторонним В.]

Какое этому реальное практическое применение? Зачем может понадобиться обрабатывать в методе наследника аргументы любого типа, если родитель задал конкретный класс объектов? Это же может создать беспорядок, а контроль типов наоборот введён для возможности писать в более строгом стиле.

[Александр Аксентьев]

Посторонним В.:

наоборот введён для возможности писать в более строгом стиле.

ну вот как раз в наследниках можно ослаблять типизацию, а усиливать нельзя.

В php7 уже ясно будет что это число и ничто другое, а теперь что..снова городить проверки и фильтры ;-(

какие проверки? если вы наследуете что-то и меняете тип, то это по другому быть не может.
А если вы пишете наследуемый класс, то никакие проверки и фильтры вам не нужны, с чего вдруг к вам в родителя попадет вызов с аргументами для дочернего класса? А если и попадет, то не пройдёт вызов так как и указано в типе.