Warum sind LSP-Verletzungen in PHP manchmal tödlich und manchmal Warnungen?

Question

Dieser LSP Verletzung raises a Fatal Error:

abstract class AbstractService { } 
abstract class AbstractFactory { abstract function make(AbstractService $s); } 
class ConcreteService extends AbstractService { } 
class ConcreteFactory extends AbstractFactory { function make(ConcreteService $s) {} } 

Dieser LSP Verletzung also raises a Fatal Error:

interface AbstractService { } 
interface AbstractFactory { function make(AbstractService $s); } 
class ConcreteService implements AbstractService { } 
class ConcreteFactory implements AbstractFactory { function make(ConcreteService $s) {} } 

Während diese LSP Verletzung nur raises a Warning:

class Service { } 
class Factory { function make(Service $s) {} } 
class MyService extends Service { } 
class MyFactory extends Factory { function make(MyService $s) {} } 

Warum? Sollten sie nicht alle fatal sein, da sie alle kontravariant sind?

Answer 1

Im ersten Fall ist es ein fataler Fehler, weil PHP requires you to be compatible with a parent abstract class:

Wenn von einer abstrakten Klasse erbt ... Signaturen der Methoden müssen übereinstimmen.

Die same is true im zweiten Fall:

Die Klasse der Schnittstelle implementieren müssen exakt die gleichen Methodensignaturen verwenden, wie in der Schnittstelle definiert sind. Andernfalls wird ein schwerwiegender Fehler angezeigt.

Im dritten Fall erweitern Sie eine normale PHP-Klasse, nicht abstrakt. Mit PHP können Sie die Signatur ändern, allerdings mit einer Warnung.

Es ist offensichtlich keine gute Praxis und verletzt LSP, wie Sie darauf hinweisen. Nur eine der vielen Möglichkeiten, mit denen Sie scharfe Objekte erhalten und sich verletzen können, wenn Sie nicht vorsichtig sind. =)

Wenn LSP erzwungen werden soll, müssen Sie eine Schnittstelle verwenden, abstrakt, oder machen Sie Ihre Methode final in der Elternklasse.

Hier ist ein Beispiel von final: https://3v4l.org/s42XG