PHP에서 하위 인터페이스를 사용하여 메서드 매개변수를 새 매개변수로 재정의할 수 없는 이유는 무엇입니까?

하위 인터페이스를 새 매개변수로 사용하여 메서드 매개변수 재정의: 실패하는 이유

PHP에서 메서드 재정의를 사용하면 하위 클래스가 동작을 재정의할 수 있습니다. 상위 클래스에서 상속된 메서드입니다. 그러나 유형 호환성과 OOP 원칙 준수를 보장하기 위해 특정 제한 사항이 있습니다.

WaterCar 인터페이스의 setEngine() 메서드를 HydroEngine 유형의 새 매개변수로 재정의하려고 시도하는 다음 코드 조각을 고려하세요. :

<code class="php"><?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)

이 오류가 발생하는 이유는 메서드 매개 변수 재정의가 Liskov 대체 원칙을 위반하기 때문입니다. WaterCar 인터페이스는 setEngine() 메서드에 대해 Car 인터페이스와 다른 매개변수 유형을 선언합니다.

구체적으로 Car 인터페이스는 Engine 유형의 매개변수를 기대하는 반면 WaterCar 인터페이스는 HydroEngine 유형의 매개변수를 기대합니다. HydroEngine은 Engine의 하위 클래스이지만 여전히 다른 유형으로 간주됩니다.

결과적으로 WaterCar를 구현하는 클래스는 Engine 매개변수를 허용할 수 없기 때문에 Car를 완전히 구현하지 못할 수 있습니다. 이는 예기치 않은 동작을 일으키지 않고 상위 유형 대신 하위 유형을 사용할 수 있어야 한다는 Liskov 대체 원칙을 위반합니다.

즉, 함수가 Car를 기대하는 경우 다음과 같은 기능을 수행할 수 있어야 합니다. 문제없이 WaterCar를 수락합니다. 그러나 이 경우 엔진 매개변수가 필요하기 때문에 WaterCar를 전달하면 함수가 실패합니다.

이 문제를 해결하려면 상위 인터페이스와 하위 인터페이스 간의 메소드 매개변수 호환성을 유지해야 합니다. 특정 하위 클래스에 특별한 동작이 필요한 경우 매개변수 유형을 재정의하는 대신 추가 메서드를 정의하는 것이 좋습니다.

위 내용은 PHP에서 하위 인터페이스를 사용하여 메서드 매개변수를 새 매개변수로 재정의할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!