Php type hinting nicht immer zusammen mit interfaces und abstrakten Klassen?

Ich denke, es wird viel leichter sein, zu sehen, dass das problem in ein code-Beispiel schreiben die Frage in den ersten Platz. Hier ist mein php code:

<?php

interface AnInterface
{
        public function method();
}    

class AClass implements AnInterface
{
        public function method()
        {
                echo __METHOD__;
        }
}    

abstract class AnAbstractClass
{
        abstract public function method( AnInterface $Object );
}

class ConcreteClass extends AnAbstractClass
{
        public function method( AClass $Object )
        {
                $Object->method();
        }
}

$Object1 = new ConcreteClass();
$Object2 = new AClass();

$Object1->method( $Object2 );

Dem obigen code die folgende Fehlermeldung verursacht:

Fatal error: Declaration of ConcreteClass::Methode() muss kompatibel mit der AnAbstractClass::Methode()

Das problem ist, dass php nicht zu sein scheinen, erkennen die Unterschriften von AnAbstractClass::Methode und ConcreteClass::Methode als kompatibel. Mache ich etwas falsch? Danke!

  • Bitte, bitte kommen Sie in die Gewohnheit der Entsendung der Fehlermeldung, der code wird generiert. Posting-code ohne die Buchung der Ausgabe (oder Fehler) ist nutzlos.
InformationsquelleAutor Muc | 2010-12-30
  1. 26

    php scheint nicht zu erkennen, die Unterschriften von AnAbstractClass::method und ConcreteClass::method als kompatibel.

    PHP ist richtig, Sie sind nicht kompatibel. Da nur Instanzen von AClass (oder seine Kinder) zu übergeben ConcreteClass::method, du brichst den Vertrag, den AnAbstractClass bietet: einer Ihrer Unterklassen müssen akzeptieren AnInterface als argument für seine method().

    Wenn Ihr Beispiel arbeitete, und ich hatte eine andere Klasse BClass Umsetzung AnInterface sein, hätten wir eine situation, wo nach AnAbstractClass, method() sollten akzeptieren, Instanzen von BClass, während nach der ConcreteClass sollte es auch nicht.

    Ändern Sie Ihre Signatur-für ConcreteClass::method zu entsprechen, die von AnAbstractClass::method.

    • Nach einiger überlegung kam ich zu dem Schluss, dass Sie Recht haben. Ich glaube, ich war versucht, eine Fehlanwendung, ein Muster. Ich danke Ihnen sehr.
    • kann ich das außer Kraft setzen, in phpdoc für autocompleting in meine IDE (phpStorm)? Da es jetzt nicht, gib mir die Fähigkeit
    InformationsquelleAutor meagar
  2. 2

    Nicht berechnen. Wir hatten die gleiche Diskussion gestern:

    Können parameter-Typen spezialisiert werden in PHP

    Alle Ihre abgeleiteten Klassen implementieren müssen, die Signaturen identisch.

    Dies ist etwas, das im Idealfall werden zur Laufzeit überprüft. Aber in PHP der parser führt. (Um das zu kompensieren, PHP nicht überprüfen private/protected-Attribut-Zugriff auf der parsing-Zeit, aber lassen Sie dass man sich eher sprengen zur Laufzeit.)

    Wenn Sie erzwingen möchten ein strenger Typ, würde ich dir raten:

     assert( is_a($Object, "AClass") );
    • Da es PHP 5, dass die Aussage Lesen sollte assert($Object instanceof AClass);
    • Ja, das könnte funktionieren, aber eigentlich ist es nicht so, wie es sein soll, hatte ich glaube ich ein Missverständnis in der erste Ort, siehe die Antwort von @meagar
    • Fälle wie die von ArrayObject würde ISTM gute Kandidaten für eine Art Behauptung oder werfen, wenn Sie den falschen Typ empfangen wurden. Aber Sie können nicht ändern die grundlegende Schnittstelle (z.B. ArrayAccess::offsetSet ist immer noch eine mixed-parameter für den Wert).
    InformationsquelleAutor mario
  3. 2

    Hier ist ein Beispiel, das zeigt, warum ist dies nicht erlaubt:

    <?php
class BClass implements AnInterface { }

function moo(AnAbstractClass $abstract)
{
    $b = new BClass();
    $abstract->method($b);
}

    Wäre dies ein Gültiger code, aber es wäre ein Fehler, wenn Sie passieren einen ConcreteClass zu moo, weil seine Methode ConcreteClass::method nicht erlauben BClass.

    Es ist kompliziert, aber es ist einfacher zu verstehen, wenn Sie ein Beispiel sehen.

    InformationsquelleAutor naitsirch
Schreibe einen Kommentar