Java의 재정의 메서드가 다른 반환 유형을 가질 수 있습니까?

Java에서 공변 반환 유형을 사용하여 메서드 재정의

대중적인 믿음에도 불구하고 재정의된 메서드가 반환 측면에서 벗어나는 것이 실제로 가능합니다. Java의 유형. 보다 구체적으로, Java는 공변 반환 유형을 허용하므로 재정의 메서드가 재정의된 메서드보다 더 세련된 반환 유형을 소유할 수 있습니다. 이는 재정의된 메서드의 반환 유형을 재정의된 메서드의 반환 유형에 할당할 수 있어야 함을 의미합니다.

다음 코드 조각은 예시입니다.

class ShapeBuilder {
    ...
    public Shape build() {
        ....
    }
}

class CircleBuilder extends ShapeBuilder{
    ...
    @Override
    public Circle build() {
        ....
    }
}

이 경우 , CircleBuilder 클래스의 build() 메서드는 ShapeBuilder에서 상속된 build() 메서드를 재정의합니다. 결정적으로 CircleBuilder의 build() 메소드는 ShapeBuilder에서 반환된 Shape 객체에 비해 더 구체적인 유형인 Circle 객체를 반환합니다.

이 동작은 Java 언어 사양의 섹션 8.4.5에 성문화되어 있습니다. 이는 "반환 유형이 참조 유형인 경우 서로 재정의하는 메서드에 따라 반환 유형이 다를 수 있습니다."라고 명시적으로 명시하고 있습니다. 이 원칙은 공변 반환 개념을 뒷받침하며, 이를 통해 재정의 메서드의 반환 유형을 하위 유형으로 특화할 수 있습니다.

또한 사양에는 두 메서드 간의 반환 유형 대체 가능성을 위해 충족해야 하는 특정 조건이 설명되어 있습니다. :

• Void 반환 유형은 정확히 일치해야 합니다.
• 기본 반환 유형은 다음과 같아야 합니다. 동일합니다.

• 참조 반환 유형은 다음 중 하나여야 합니다.

  • 서로의 하위 유형이어야 합니다.
  • 검사되지 않은 변환을 통해 서로의 하위 유형으로 변환될 수 있어야 합니다.

Java 이전 5, Java는 불변 반환 유형을 고수했습니다. 이와 대조적으로 공변 반환 유형은 메서드 재정의에 더 큰 유연성을 제공하므로 반환 유형이 재정의된 메서드의 특정 구현과 더 밀접하게 정렬될 수 있습니다.

위 내용은 Java의 재정의 메서드가 다른 반환 유형을 가질 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!