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

Barbara Streisand
풀어 주다: 2024-11-13 16:32:02
원래의
444명이 탐색했습니다.

Why Can't I Use a Subtype in an Overridden Method's Parameter?

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

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

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

<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>
로그인 후 복사

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

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

이 오류는 WaterCar는 Engine의 하위 유형인 HydroEngine이고, Superclass Car의 매개변수 유형은 Engine입니다.

Liskov 대체 원칙(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 중국어 웹사이트의 기타 관련 기사를 참조하세요!

원천:php.cn
본 웹사이트의 성명
본 글의 내용은 네티즌들의 자발적인 기여로 작성되었으며, 저작권은 원저작자에게 있습니다. 본 사이트는 이에 상응하는 법적 책임을 지지 않습니다. 표절이나 침해가 의심되는 콘텐츠를 발견한 경우 admin@php.cn으로 문의하세요.
저자별 최신 기사
인기 튜토리얼
더>
최신 다운로드
더>
웹 효과
웹사이트 소스 코드
웹사이트 자료
프론트엔드 템플릿