하위 인터페이스로 인터페이스 메서드 매개 변수를 재정의하는 것은 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 대체 원칙을 위반하기 때문입니다. 이 원칙은 프로그램의 동작을 방해하지 않고 하위 클래스가 상위 클래스를 대체할 수 있어야 한다고 명시합니다.

Car의 하위 클래스인 WaterCar 인터페이스는 상위 인터페이스의 setEngine 메소드와 동일한 매개변수 유형을 허용해야 합니다. 엔진. 이를 HydroEngine으로 재정의하면 허용되는 매개변수 유형이 좁아져 WaterCar가 Car보다 대체 가능성이 낮아지게 됩니다.

해결책

이 문제를 해결하려면 다음 사항을 확인해야 합니다. 인터페이스의 하위 클래스는 상위 인터페이스와 동일한 매개변수 유형을 따릅니다. 이 경우 WaterCar 인터페이스의 setEngine 메소드를 재정의해서는 안 되며 대신 Car 인터페이스의 정의를 상속받아야 합니다.

위 내용은 하위 인터페이스로 인터페이스 메서드 매개 변수를 재정의하는 것은 Liskov 대체 원칙을 위반하는 것입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!