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

메서드 매개변수 재정의: 함정 및 원칙

객체 지향 프로그래밍에서 상속을 사용하면 파생 클래스가 상위 클래스의 동작을 확장하거나 수정할 수 있습니다. 수업. 그러나 메서드 매개 변수를 재정의하는 데에는 특정 제한 사항이 있습니다.

Engine 유형의 매개 변수를 허용하는 setEngine 메서드가 있는 Car 인터페이스가 있는 다음 코드를 고려해 보세요. Car를 확장하고 Engine의 하위 유형인 HydroEngine 유형의 매개변수를 허용하는 다른 메소드 setEngine을 선언하는 하위 인터페이스 WaterCar도 있습니다.

<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가 Liskov 대체 원칙을 위반하기 때문입니다. 이 원칙은 "하위 클래스는 기본 클래스를 대체할 수 있어야 한다"고 명시합니다. 이 경우 setEngine 메소드의 매개변수 유형이 다르기 때문에 WaterCar 인스턴스는 Car 인스턴스를 대체할 수 없습니다.

HydroEngine은 Engine의 하위 유형이지만 여전히 다른 유형입니다. WaterCar는 하위 인터페이스의 메서드 매개변수를 재정의함으로써 상위 인터페이스와의 호환성을 깨뜨립니다.

Car 인스턴스를 예상하는 코드가 WaterCar 인스턴스에 전달되면 런타임 오류가 발생할 수 있습니다. 예를 들어 다음 코드는

<code class="php">function checkEngine(Car $car) {
    $engine = new EngineImplementation();
    $car->setEngine($engine);
}</code>

Engine 매개변수를 허용할 수 없기 때문에 WaterCar 인스턴스와 함께 호출하면 실패합니다.

결론:

파생 클래스의 메서드를 재정의하는 경우 동일한 매개변수 유형을 유지하여 상위 클래스와의 호환성을 유지하는 것이 중요합니다. 그렇지 않으면 런타임 오류가 발생하고 객체 지향 설계 원칙을 위반할 수 있습니다.

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