PHP des Normes Strictes: la Déclaration doit être compatible

Votre code est une violation claire de le principe de Substitution de Liskov. La classe abstraite requiert une instance de O_Base être transmis à la save méthode, donc tous des enfants de la A_Abstract devraient être définies de telle manière qu'ils peuvent accepter de tous instances de O_Base. Votre enfant classe implémente une version de save qui limite davantage l'API. voir un autre exemple ici

Dans votre code, A viole le contrat qui Abstract_A applique/décrit. Tout comme dans la vraie vie, si vous signez un contrat, vous devez être d'accord sur certains termes, et tous être d'accord sur la terminologie que vous allez utiliser. C'est pourquoi la plupart des contrats de commencer par nommer les parties, et puis dire quelque chose le long des lignes de "Désormais, M. X sera appelé le employé".

Ces termes, comme votre type abstrait conseils sont non-négociable, de sorte que, en bas de la ligne, vous ne pouvez pas dire: "Oh, eh bien... ce que vous appelez des charges, j'appelle les salaires"

Ok, je vais arrêter d'utiliser ces demi-arsed analogies, et il suffit d'utiliser un exemple simple pour illustrer pourquoi ce que vous faites est, à juste titre, pas le droit.

Considérez ceci:

abstract class Foo
{
    abstract public function save(Guaranteed $obj);
    //or worse still:
    final public function doStuff(Guaranteed $obj)
    {
        $obj->setSomething('to string');
        return $this->save($obj);//<====!!!!
    }
}

class FBar extends Foo
{
    public function save(Guaranteed $obj)
    {
        return $obj->setFine(true);
    }
}

class FBar2 extends Foo
{
    public function save(ChildOfGuaranteed $obj)
    {//FAIL: This method is required by Foo::doStuff to accept ALL instances of Guaranteed
    }
}

Voir ici, dans ce cas, le parfaitement valide classe abstraite est l'appel de la save méthode avec un exemple de Guaranteed. Si vous avez été autorisé à appliquer une approche plus stricte type de l'indice dans les enfants de cette classe, vous pouvez facilement briser ce doStuff méthode. Pour vous aider à vous protéger contre ces types de blessures auto-infligées, les enfants des classes ne devraient pas être autorisés à mettre en application plus stricte des types sur les méthodes qu'ils héritent de leurs parents des classes.

Également envisager le cas où nous sommes en boucle sur certains cas et vérifier si ils ont ce save méthode, sur la base de ces instances étant un instanceof Foo:

$arg = new OtherChildOfGuaranteed;
$array = array(
    'fb'  => new FBar,
    'fb2' => new FBar2
);
foreach($array as $k => $class)
{
    if ($class instanceof Foo) $class->save($arg);
}

Maintenant cela fonctionne bien si vous avez simplement allusion à Guaranteed dans la signature de la méthode. Mais dans le second cas, nous avons fait le type de l'indice un peu trop strict, et ce code entraînera une erreur fatale. Ont le plaisir de débogage de plus en plus de projets complexes...

PHP est très indulgent, si pas trop indulgent dans la plupart des cas, mais pas ici. Plutôt que de vous gratter la tête jusqu'à ce que vous entendez tombe, PHP très judicieusement vous donne une tête, en disant: la mise en œuvre de votre méthode de violation du contrat, de sorte que vous doit résoudre ce problème.

Maintenant la solution de contournement rapide (et il est d'un usage courant, trop) serait celui-ci:

class FBar2 extends Foo
{
    /**
     * FBar2 save implementation requires instance of ChildOfGuaranteed
     *  Signature enforced by Foo
     * @return Fbar2
     * @throw InvalidArgumentException
     **/
    public function save(Guaranteed $obj)
    {
        if (!$obj instanceof ChildOfGuaranteed)
            throw new InvalidArgumentException(__METHOD__.' Expects instance of ChildOfGuaranteed, you passed '.get_class($obj));
        //do save here...
    }
}

Donc, vous venez de quitter le type abstrait-indice est-à -, mais utiliser les éléments de documenter votre code

OriginalL'auteur Elias Van Ootegem

Changement A_Abstract à

abstract class A_Abstract {
    public function save(O $obj) {...}
}

N'importe qui O est étendu à partir d' O_Base, ils sont deux objets différents, et que A s'étend A_Abstract la sauver des fonctions doivent être compatibles les uns avec les autres, ce qui signifie que vous devez passer la même objet, O.

OriginalL'auteur Styphon