Können untergeordnete Schnittstellen Schnittstellenmethodenparameter mit spezifischeren Typen überschreiben?

Überschreiben von Schnittstellenmethodenparametern mit untergeordneten Schnittstellen

Im angegebenen PHP-Code wird versucht, die setEngine-Methode der Car-Schnittstelle zu überschreiben mit einem spezifischeren Parametertyp in der untergeordneten Schnittstelle WaterCar. Dies führt jedoch zu einem schwerwiegenden Fehler:

<code class="php">Fatal error: Declaration of WaterCar::setEngine() must be compatible with Car::setEngine(Engine $engine)</code>

Erklärung des Fehlers

Der Fehler ist auf einen Verstoß gegen das Liskov-Substitutionsprinzip (LSP) zurückzuführen, das besagt dass ein Subtyp für seinen Supertyp ersetzbar sein muss. In diesem Fall ist die WaterCar-Schnittstelle ein Untertyp der Car-Schnittstelle, aber die setEngine-Methode in WaterCar hat einen anderen Parametertyp (HydroEngine) als die entsprechende Methode in Car (Engine).

Dies führt zu einem Kompatibilitätsproblem . Eine Klasse, die die WaterCar-Schnittstelle implementiert, kann möglicherweise nicht als Argument an Funktionen übergeben werden, die ein Car-Objekt erwarten, da die setEngine-Methode keinen Engine-Parameter akzeptiert. Daher erfüllt die Unterklasse nicht alle Anforderungen der Oberklasse und bricht den LSP.

Lösung

Um dieses Problem zu beheben, sollte die setEngine-Methode in der WaterCar-Schnittstelle verwendet werden Behalten Sie die Kompatibilität mit der Methode in der Car-Schnittstelle bei. Dies bedeutet, dass derselbe Parametertyp (Engine) beibehalten oder ein allgemeinerer Typ bereitgestellt werden muss, der Engine einschließt, z. B. Vehicle.

<code class="php">interface WaterCar extends Car {

    function setEngine(Vehicle $engine);
}</code>

Mit dieser Änderung kann jede Klasse, die WaterCar implementiert, weiterhin an Orten verwendet werden, an denen ein Car vorhanden ist wird erwartet, da es nun einen Parameter des gleichen oder eines allgemeineren Typs akzeptiert.

Das obige ist der detaillierte Inhalt vonKönnen untergeordnete Schnittstellen Schnittstellenmethodenparameter mit spezifischeren Typen überschreiben?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!