子インターフェイスを使用してインターフェイス メソッドのパラメータをオーバーライドすることは、Liskov 置換原則に違反しますか?

インターフェイス メソッド パラメーターのオーバーライド: Liskov 置換違反のケース

PHP では、インターフェイス メソッド パラメーターをオーバーライドする状況が発生することがあります。子インターフェイスはエラーにつながります。次のコードを考えてみましょう:

<code class="php">interface Engine {

    function run();
}

interface HydroEngine extends Engine {

    function run();
}

interface Car {

    function setEngine(Engine $engine);

}

interface WaterCar extends Car {

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

残念ながら、このコードではエラーが発生します:

Fatal error: Declaration of WaterCar::setEngine() must be compatible with Car::setEngine(Engine $engine)

エラーの理由

エラーが発生しますWaterCar インターフェースで setEngine メソッドをオーバーライドすることにより、Liskov 置換原則に違反することになるためです。この原則は、プログラムの動作を損なうことなく、サブクラスがその親クラスの代わりに使用できる必要があることを示しています。

WaterCar インターフェイスは、Car のサブクラスとして、親インターフェイスの setEngine メソッドと同じパラメータ タイプを受け入れる必要があります。エンジン。 HydroEngine でオーバーライドすることにより、許容可能なパラメータ タイプが狭まり、WaterCar は Car よりも代替可能性が低くなります。

解決策

この問題を解決するには、次のことを確認する必要があります。インターフェイスのサブクラスは、親インターフェイスと同じパラメータ タイプに従います。この場合、WaterCar インターフェースの setEngine メソッドをオーバーライドするのではなく、Car インターフェースの定義を継承する必要があります。

以上が子インターフェイスを使用してインターフェイス メソッドのパラメータをオーバーライドすることは、Liskov 置換原則に違反しますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。