Dlaczego naruszenia LSP w PHP są czasami śmiertelne, a czasem ostrzeżenia?

Question

Ten LSP naruszenie 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) {} } 

Ten LSP naruszenie 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) {} } 

Chociaż naruszenie LSP tylko raises a Warning:

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

Dlaczego? Czy nie wszystkie powinny być śmiertelne, ponieważ wszystkie są sprzeczne?

Answer 1

W pierwszym przypadku jest to błąd krytyczny, ponieważ PHP requires you to be compatible with a parent abstract class:

Kiedy dziedziczenie z klasy abstrakcyjnej ... podpisy metody muszą być zgodne.

same is true w drugim przypadku:

klasa tworzenia interfejsu muszą stosować te same metody, jak podpisy są zdefiniowane w interfejsie. Nieprzestrzeganie tego spowoduje błąd krytyczny.

W trzecim przypadku rozszerzasz normalną klasę PHP, a nie abstrakcję. PHP pozwala na zmianę podpisu, aczkolwiek z ostrzeżeniem.

Oczywiście nie jest to dobra praktyka i narusza LSP, jak wskazujesz. To tylko jeden z wielu sposobów, w jaki PHP daje ci ostre przedmioty i pozwala zranić się, jeśli nie jesteś ostrożny. =)

Jeśli chcesz wymusić LSP, musisz użyć interfejsu, abstrakcji lub uczynić swoją metodę final w klasie nadrzędnej.

Oto przykład z final: https://3v4l.org/s42XG