Java 제네릭에서 `super` 키워드가 와일드카드로 제한되고 유형 매개변수가 아닌 이유는 무엇입니까?

'super' 키워드를 사용한 제네릭 경계

super 키워드가 Java 제네릭의 유형 매개변수가 아닌 와일드카드에만 적용되는 이유가 궁금할 수도 있습니다. . toArray 메소드가 다음과 같이 선언되지 않은 Collection 인터페이스의 다음 예를 고려하십시오.

interface Collection<T> {
    <S super T> S[] toArray(S[] a);
}

이 구문은 잘못된 선언으로 이어질 수 있으며 그 이유를 이해하려면 명명된 super 사용의 의미를 탐색해야 합니다. 유형 매개변수.

유형 매개변수의 'super' 제한

super를 사용하여 명명된 유형 매개변수()를 바인딩하면 다음을 달성할 수 없습니다. 의도된 효과. Object는 모든 참조 유형의 궁극적인 슈퍼클래스이므로 참조 유형의 모든 배열을 Object[]로 캐스팅할 수 있습니다. 즉, 가상 구문을 사용하더라도 다음 코드는 여전히 컴파일되어 런타임에 ArrayStoreException이 발생합니다.

List<Integer> integerList;
integerList.toArray(new String[0]);  // should be disallowed, but compiles

따라서 super는 명명된 유형 매개변수와 함께 허용되지 않습니다. 보장됩니다.

제네릭과 배열: 복잡한 관계

고려해야 할 또 다른 측면은 제네릭과 배열 간의 복잡한 상호 작용입니다. Java에서 배열은 다른 컬렉션 유형과 다르게 처리되므로 유형 안전성을 적용하는 데 제한이 있습니다. 이는 주어진 예에서 제네릭 유형 경계가 ArrayStoreException을 방지할 수 없는 이유를 설명합니다.

'super'를 사용한 불법 경계의 예

문제를 더 자세히 설명하려면 가상의 방법을 고려하십시오. 선언:

<T super Integer> void add(T number)  // hypothetical! currently illegal

이 구문을 사용하면 Integer 및 Number 인스턴스를 허용하지만 String은 허용하지 않을 것으로 예상할 수 있습니다. 그러나 String은 Object의 하위 클래스이고 Object는 Integer의 상위 클래스이므로 add(aString)가 컴파일되어 잠재적인 오류가 발생할 가능성이 여전히 있습니다.

결론

결론적으로, 유형 안전성을 보장하고 잘못된 가정을 방지하기 위해 이름이 지정된 유형 매개변수와 함께 super 사용을 제한합니다. Java의 제네릭과 배열에는 super를 사용한 경계 유형 매개변수의 효율성을 제한하는 고유한 특성이 있습니다.

위 내용은 Java 제네릭에서 `super` 키워드가 와일드카드로 제한되고 유형 매개변수가 아닌 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!