Type Php allusion à ne pas s'entendre avec les interfaces et les classes abstraites?

Je pense que ça va être beaucoup plus facile de voir le problème dans un exemple de code que pour la rédaction de la question en premier lieu. Voici mon code php:

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

Le code ci-dessus les causes de l'erreur suivante:

Erreur fatale: Déclaration de ConcreteClass::methode() doit être compatible avec celle de AnAbstractClass::methode()

Le problème est que php ne semble pas être reconnaissant la signature de AnAbstractClass::méthode et ConcreteClass::méthode comme compatible. Suis-je en train de faire quelque chose de mal? Merci!

  • S'il vous plaît, prenez l'habitude de poster le message d'erreur de votre code à générer. Poster du code sans affichage de la sortie (ou d'erreur) est inutile.
InformationsquelleAutor Muc | 2010-12-30
  1. 26

    php ne semble pas être reconnaissant la signature de AnAbstractClass::method et ConcreteClass::method comme compatible.

    PHP est correct, ils sont pas compatible. En autorisant uniquement les instances de AClass (ou ses enfants) pour être transmis à ConcreteClass::method, vous êtes de rompre le contrat qui AnAbstractClass offre: l'un de ses sous-classes doivent accepter AnInterface comme un argument de son method().

    Si votre exemple, et j'ai eu une autre classe BClass la mise en œuvre de AnInterface, nous aurions une situation où, selon AnAbstractClass, method() doit accepter les instances de BClass, alors que, selon ConcreteClass, il ne devrait pas.

    Modifier votre signature pour ConcreteClass::method correspondre à celui de la AnAbstractClass::method.

    • Après y avoir réfléchi, je suis venu à la conclusion que vous êtes en droit. Je crois que j'essayais de missuse un modèle. Je vous remercie beaucoup.
    • puis-je le remplacer dans phpdoc pour autocompleting dans mon IDE (phpStorm)? Parce que maintenant, il ne me donne pas cette capacité
    InformationsquelleAutor meagar
  2. 2

    Ne calcule pas. Nous avons eu la même discussion d'hier:

    Peut les types de paramètre être spécialisé en PHP

    Tous vos classes dérivées doivent mettre en œuvre la méthode des signatures de la même manière.

    C'est quelque chose qui devrait idéalement être vérifié au moment de l'exécution. Mais en PHP, l'analyseur ne. (Pour compenser, PHP ne permet pas de vérifier privé/attribut protégé l'accès à l'analyse en temps, mais le laisser plutôt exploser au moment de l'exécution.)

    Si vous souhaitez appliquer des mesures plus strictes type, je vous conseille:

     assert( is_a($Object, "AClass") );
    • Étant donné que c'est PHP 5, cette affirmation devrait lire assert($Object instanceof AClass);
    • Oui, ça pourrait marcher, mais en fait c'est pas la façon dont il est censé être, je pense que j'ai eu une idée fausse, en premier lieu, voir la réponse de @meagar
    • Des cas comme héritant de ArrayObject serait ISTM être de bons candidats pour faire une assertion de type ou de jeter si le mauvais type ont été reçues. Mais vous ne pouvez pas modifier l'interface de base (par exemple, ArrayAccess::offsetSet va toujours prendre un mixte paramètre de la valeur).
    InformationsquelleAutor mario
  3. 2

    Voici un exemple qui montre, pourquoi cela n'est pas permis:

    <?php
class BClass implements AnInterface { }

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

    Ce serait un code valide, mais il ne pourrait pas, si vous passez un ConcreteClass de moo, car sa méthode ConcreteClass::method ne permet pas BClass.

    C'est compliqué, mais c'est plus facile à comprendre, si vous pouvez voir un exemple.

    InformationsquelleAutor naitsirch