Інтерфейси PHP 7, натяк на повернення та самості

ОНОВЛЕННЯ : PHP 7.4 тепер підтримує коваріацію та контраваріацію, які вирішують основну проблему, порушену в цьому питанні.

Я зіткнувся з якоюсь проблемою із використанням підказки типу return у PHP 7. Я розумію, що підказка : selfозначає, що ви маєте намір повернути сам клас-реалізатор. Тому я використовував : selfу своїх інтерфейсах це вказувати, але коли я намагався насправді реалізувати інтерфейс, у мене з'явилися помилки сумісності.

Далі - проста демонстрація проблеми, з якою я зіткнувся:

interface iFoo
{
    public function bar (string $baz) : self;
}

class Foo implements iFoo
{

    public function bar (string $baz) : self
    {
        echo $baz . PHP_EOL;
        return $this;
    }
}

(new Foo ()) -> bar ("Fred") 
    -> bar ("Wilma") 
    -> bar ("Barney") 
    -> bar ("Betty");

Очікуваний результат був:

Фред Вілма Барні Бетті

Я насправді отримую:

Фатальна помилка PHP: Декларація Foo :: bar (int $ baz): Foo повинен бути сумісним з iFoo :: bar (int $ baz): iFoo у test.php у рядку 7

Річ у тому, що Foo - це реалізація iFoo, тому, наскільки я можу зрозуміти, реалізація повинна бути повністю сумісною з даним інтерфейсом. Можливо, я міг би вирішити цю проблему, змінивши або інтерфейс, або клас реалізації (або обидва), щоб повернути підказку про інтерфейс за іменем, замість використання self, але я розумію, що семантично selfозначає "повернути екземпляр класу, який ви щойно викликали методом ". Тому зміна його на інтерфейс теоретично означало б, що я міг би повернути будь-який екземпляр чогось, що реалізує інтерфейс, коли я маю намір викликаний екземпляр - це те, що буде повернуто.

Це недогляд у PHP чи це свідоме дизайнерське рішення? Якщо це перший, чи є шанс побачити це виправленим у PHP 7.1? Якщо ні, то який правильний спосіб повернення натякаючи, що ваш інтерфейс очікує, що ви повернете екземпляр, для якого ви щойно викликали метод, для ланцюжка?

selfне посилається на екземпляр, а на поточний клас. Інтерфейс не може вказати, що той самий екземпляр повинен бути повернутий - використання selfспособу, який ви намагаєтесь, лише забезпечить, щоб повернутий екземпляр був того самого класу.

Тим не менш, оголошення поверненого типу в PHP повинні бути інваріантними, тоді як те, що ви намагаєтесь, є коваріантним.

Ваше використання selfеквівалентно:

interface iFoo
{
    public function bar (string $baz) : iFoo;
}

class Foo implements iFoo
{

    public function bar (string $baz) : Foo  {...}
}

що заборонено.

Повертається тип декларації RFC має це сказати :

Застосування оголошеного типу повернення під час успадкування є незмінним; це означає, що коли підтип замінює батьківський метод, тоді тип повернення дочірнього елемента повинен точно відповідати батьківському і не може бути опущений. Якщо батько не оголошує тип повернення, тоді дочірній дитині дозволяється заявити його.

...

Цей RFC спочатку пропонував коваріантні типи повернення, але був змінений на інваріантний через декілька проблем. Можна додати коваріантні типи повернення в якийсь момент у майбутньому.

На даний момент принаймні найкраще, що ви можете зробити, це:

interface iFoo
{
    public function bar (string $baz) : iFoo;
}

class Foo implements iFoo
{

    public function bar (string $baz) : iFoo  {...}
}

Це також може бути рішенням, що ви не визначаєте явно тип повернення в Інтерфейсі, лише в PHPDoc, а потім ви можете визначити певний тип повернення в реалізаціях:

interface iFoo
{
    public function bar (string $baz);
}

class Foo implements iFoo
{
    public function bar (string $baz) : Foo  {...}
}

У випадку, коли Ви хочете примусити інтерфейс, цей метод поверне об'єкт, але тип об'єкта буде не типом інтерфейсу, а самим класом, тоді Ви можете написати це так:

interface iFoo {
    public function bar (string $baz) : object;
}

class Foo implements iFoo {
    public function bar (string $baz) : self  {...}
}

Він працює з PHP 7.4.

PHP 8 додасть "статичний тип повернення", який вирішить вашу проблему.

Ознайомтеся з цим RFC: https://wiki.php.net/rfc/static_return_type

Це схоже на очікувану поведінку для мене.

Просто змініть свій Foo::barметод на повернення iFooзамість selfі закінчіть із цим.

Пояснення:

selfяк використовується в інтерфейсі, означає "об'єкт типу iFoo".
selfяк використовується в реалізації означає "об'єкт типу Foo".

Тому типи повернення в інтерфейсі та реалізації явно не однакові.

В одному з коментарів згадується Java і чи маєте ви цю проблему. Відповідь - так, у вас була б така сама проблема, якби Java дозволяла вам писати такий код - а це ні. Оскільки Java вимагає, щоб ви використовували ім'я типу замість selfярлика PHP , ви ніколи цього не побачите. (Див. Тут для обговорення подібної проблеми в Java.)