PHP 7-Schnittstellen, Rückgabetyp und Self

UPDATE : PHP 7.4 unterstützt jetzt Kovarianz und Kontravarianz, wodurch das in dieser Frage aufgeworfene Hauptproblem behoben wird.

Ich bin auf ein Problem mit der Verwendung von Hinweisen zum Rückgabetyp in PHP 7 gestoßen. Mein Verständnis ist, dass Hinweise : selfbedeuten, dass Sie beabsichtigen, dass eine implementierende Klasse sich selbst zurückgibt. Daher habe ich : selfin meinen Schnittstellen darauf hingewiesen, aber als ich versuchte, die Schnittstelle tatsächlich zu implementieren, bekam ich Kompatibilitätsfehler.

Das Folgende ist eine einfache Demonstration des Problems, auf das ich gestoßen bin:

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");

Die erwartete Ausgabe war:

Fred Wilma Barney Betty

Was ich tatsächlich bekomme ist:

Schwerwiegender PHP-Fehler: Deklaration von Foo :: bar (int $ baz): Foo muss mit iFoo :: bar (int $ baz) kompatibel sein: iFoo in test.php in Zeile 7

Die Sache ist, dass Foo eine Implementierung von iFoo ist, soweit ich das beurteilen kann, sollte die Implementierung perfekt mit der angegebenen Schnittstelle kompatibel sein. Vermutlich könnte ich dieses Problem beheben, indem ich entweder die Schnittstelle oder die implementierende Klasse (oder beide) so ändere, dass ein Hinweis auf die Schnittstelle nach Namen zurückgegeben wird, anstatt sie zu verwendenself . Mein Verständnis ist jedoch, dass semantisch self"die Instanz der Klasse zurückgeben, für die Sie gerade die Methode aufgerufen haben" bedeutet ". Eine Änderung an der Schnittstelle würde daher theoretisch bedeuten, dass ich jede Instanz von etwas zurückgeben könnte, die die Schnittstelle implementiert, wenn meine Absicht für die aufgerufene Instanz ist, was zurückgegeben wird.

Ist dies ein Versehen in PHP oder ist dies eine bewusste Designentscheidung? Wenn es das erstere ist, gibt es eine Chance, es in PHP 7.1 behoben zu sehen? Wenn nicht, was ist dann die richtige Art der Rückgabe, die darauf hindeutet, dass Ihre Schnittstelle erwartet, dass Sie die Instanz zurückgeben, für die Sie gerade die Methode zur Verkettung aufgerufen haben?

selfbezieht sich nicht auf die Instanz, sondern auf die aktuelle Klasse. Es gibt keine Möglichkeit für eine Schnittstelle anzugeben, dass dieselbe Instanz zurückgegeben werden muss. selfWenn Sie auf die von Ihnen versuchte Weise verwenden, wird nur erzwungen, dass die zurückgegebene Instanz derselben Klasse angehört.

Das heißt, Rückgabetypdeklarationen in PHP müssen unveränderlich sein, während das, was Sie versuchen, kovariant ist.

Ihre Verwendung von selfentspricht:

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

class Foo implements iFoo
{

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

was nicht erlaubt ist.

Der Return Type Declarations RFC hat Folgendes zu sagen :

Die Durchsetzung des deklarierten Rückgabetyps während der Vererbung ist unveränderlich. Dies bedeutet, dass, wenn ein Untertyp eine übergeordnete Methode überschreibt, der Rückgabetyp des untergeordneten Elements genau mit dem übergeordneten übereinstimmen muss und nicht weggelassen werden darf. Wenn der Elternteil keinen Rückgabetyp deklariert, darf das Kind einen deklarieren.

...

Dieser RFC schlug ursprünglich kovariante Rückgabetypen vor, wurde jedoch aufgrund einiger Probleme in invariant geändert. Es ist möglich, zu einem späteren Zeitpunkt kovariante Rückgabetypen hinzuzufügen.

Zumindest das Beste, was Sie vorerst tun können, ist:

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

class Foo implements iFoo
{

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

Es kann auch eine Lösung sein, dass Sie den Rückgabetyp nicht explizit in der Schnittstelle definieren, sondern nur im PHPDoc und dann den bestimmten Rückgabetyp in den Implementierungen definieren:

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

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

Wenn Sie von der Schnittstelle erzwingen möchten, gibt diese Methode ein Objekt zurück, aber der Objekttyp ist nicht der Schnittstellentyp, sondern die Klasse selbst. Dann können Sie es folgendermaßen schreiben:

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

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

Es funktioniert seit PHP 7.4.

Das sieht für mich nach dem erwarteten Verhalten aus.

Ändern Sie einfach Ihre Foo::barMethode, um iFoostatt zurückzukehren, selfund fertig.

Erläuterung:

selfwie in der Schnittstelle verwendet bedeutet "ein Objekt vom Typ iFoo".
selfwie in der Implementierung verwendet bedeutet "ein Objekt vom Typ Foo".

Daher sind die Rückgabetypen in der Schnittstelle und der Implementierung eindeutig nicht identisch.

In einem der Kommentare wird Java erwähnt und ob Sie dieses Problem haben würden. Die Antwort lautet: Ja, Sie hätten das gleiche Problem, wenn Java Ihnen erlauben würde , solchen Code zu schreiben - was nicht der Fall ist. Da Java erfordert, dass Sie den Namen des Typs anstelle der PHP- selfVerknüpfung verwenden, werden Sie dies nie wirklich sehen. (Siehe hier für eine Diskussion eines ähnlichen Problems in Java.)

PHP 8 fügt einen "statischen Rückgabetyp" hinzu, der Ihr Problem löst.

Überprüfen Sie diesen RFC: https://wiki.php.net/rfc/static_return_type