La vérification de l'implémentation de l'interface dans une classe abstraite est-elle un anti-pattern?

Question

Le code suivant viole-t-il un principe/modèle de POO?

En particulier, je suis intéressé par le instanceof chèque à l'intérieur du véhicule :: whatCanDo() méthode, qui contrôle si une sous-classe implents une interface spécifique. À première vue, cela semble aller à l'encontre du principe de Liskov, mais ce n'est pas le cas, car les classes avion et voiture sont toujours interchangeables.

abstract class Vehicle { 

    public function whatCanDo() { 
    if ($this instanceof CanFly) { 
     echo "can fly"; 
    } 
    } 

} 

interface CanFly { 
} 

class Airplane extends Vehicle implements CanFly { 
} 

class Car extends Vehicle { 
} 

Answer 1

Si vous faites référence à SOLID, cela enfreint le principe ouvert/fermé. Si vous devez ajouter une nouvelle sous-classe, vous devrez modifier la superclasse et provoquer indirectement toutes les autres sous-classes.

Il semble également étrange qu'une instance teste quel type il est. Cela traverse le même champ de mines que les "méthodes d'usine" et pourrait être considéré comme constituant une violation du principe de responsabilité unique.

Et c'est juste un mauvais code en général, puisque vous avez une super-classe, qui écrit dans le tampon de sortie (utilise echo).