유형 변수가 Java에서 자체 하위 유형을 참조할 수 있습니까?

유형 변수가 현재 유형을 참조할 수 있나요?

프로그래밍 언어에서 유형 변수는 유형 제약 조건과 다형성을 표현하는 데 필수적입니다. 그러나 이러한 변수를 사용하는 방법에는 제한이 있습니다. 일반적인 질문 중 하나는 유형 변수가 자신이 있는 정확한 하위 유형을 참조할 수 있는지 여부입니다.

다음 코드를 고려하세요.

class A {
    <T extends A> foo();
}

class B extends A {
    @Override
    T foo();
}

여기서 일반 메서드를 사용하여 클래스 A를 정의합니다. 유형 매개변수 T를 취하는 foo(). 또한 foo() 메소드를 대체하는 하위 클래스 B를 정의합니다. 문제는 foo()의 유형 매개변수 T를 사용하여 클래스 B의 정확한 하위 유형 B를 참조할 수 있느냐는 것입니다.

답변:

안타깝게도 Java는 유형 변수가 자신이 속한 정확한 하위 유형을 참조하는 것을 허용하지 않습니다. 위 예의 유형 변수 T는 foo() 범위 내에서 알 수 없는 유형으로 남아 있으며 확인할 수 없습니다. 하위 유형 B로.

이상하게 반복되는 템플릿 패턴(자기 유형):

"자기" 유형을 갖는 원하는 동작을 달성하려면 디자인을 사용할 수 있습니다. CRT(Curiously Recurring Template) 패턴으로 알려진 패턴이며 "자체 유형"이라고도 합니다. 이 패턴에는 인스턴스의 런타임 유형을 반환하기 위한 계약을 적용하는 추상 기본 클래스 정의가 포함됩니다. 파생 클래스는 유형 매개변수를 자체 유형으로 확인하여 자체 유형을 구현합니다.

다음은 Java의 CRT 패턴 예입니다.

abstract class SelfTyped<SELF extends SelfTyped<SELF>> {
    abstract SELF self();
}

public class MyLeafClass extends SelfTyped<MyLeafClass> {
    @Override
    MyLeafClass self() {
        return this;
    }
}

MyLeafClass mlc = new MyLeafClass();
mlc.self(); // returns mlc

이 패턴은 참조 방법을 제공합니다. self()를 사용하는 현재 유형은 오용 가능성이 있고 유형 안전성을 손상시킬 수 있으므로 주의해서 사용해야 합니다.

위 내용은 유형 변수가 Java에서 자체 하위 유형을 참조할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!