재정의된 메서드의 매개변수에 하위 유형을 사용할 수 없는 이유는 무엇입니까?

재정의 메서드의 매개변수 공분산

객체 지향 프로그래밍에서 재정의 메서드를 사용하면 하위 클래스가 슈퍼클래스에 정의된 메서드의 자체 버전을 구현할 수 있습니다. . 그러나 메서드를 재정의하는 경우 매개변수와 반환 유형은 슈퍼클래스 메서드의 선언과 호환되어야 합니다.

주어진 코드에는 다음 인터페이스를 사용하는 시나리오가 있습니다.

<code class="php">interface Engine {
    function run();
}

interface HydroEngine extends Engine {
    function run();
}</code>

클래스에 대한 유사한 구조:

<code class="php">interface Car {
    function setEngine(Engine $engine);
}

interface WaterCar extends Car {
    // This method is intended to override Car::setEngine()
    function setEngine(HydroEngine $engine);
}</code>

다음에서 setEngine()을 재정의하려고 할 때 문제가 발생합니다. WaterCar:

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

이 오류는 WaterCar의 setEngine() 매개변수 유형이 Engine의 하위 유형인 HydroEngine이고, 슈퍼클래스 Car의 매개변수 유형이 Engine이기 때문에 발생합니다.

리스코프 대체 원칙(LSP)이 이러한 시나리오에 적용됩니다. LSP는 하위 유형(예: HydroEngine)이 프로그램 기능을 손상하지 않고 상위 유형(예: 엔진)을 대체할 수 있어야 한다고 명시합니다. 그러나 이 원칙은 재정의된 메서드의 매개변수 유형에는 적용되지 않습니다.

이 경우 WaterCar는 setEngine()에서 더 좁은 매개변수 유형을 허용하기 때문에 Car를 완전히 구현하지 않습니다. 이는 WaterCar가 HydroEngine만 수용할 수 있는 반면 Car는 모든 엔진을 수용할 수 있기 때문입니다. 이는 LSP를 위반하고 Car 슈퍼클래스에 의해 설정된 계약을 위반합니다.

이 문제를 해결하려면 재정의된 메서드의 매개변수 유형이 슈퍼클래스의 선언과 호환되는지 확인하세요. 이 예에서 WaterCar::setEngine()은 다음과 같이 수정될 수 있습니다.

<code class="php">function setEngine(Engine $engine): void;</code>

이 수정은 Car::setEngine()과의 호환성을 유지하면서 WaterCar가 HydroEngine을 전문적으로 수용하도록 허용합니다.

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