Java Generics에서 명명된 유형 매개변수와 함께 \'Super\' 키워드를 사용할 수 없는 이유는 무엇입니까?

반공변 'Super' 키워드를 사용한 경계 제네릭

Java 제네릭에서 'super' 키워드는 하위 유형을 설정하는 데 중요한 역할을 합니다. 유형 매개변수. 그러나 와일드카드에만 사용할 수 있으며 명명된 유형 매개변수에는 사용할 수 없습니다. 이는 일반적인 질문을 제시합니다: 왜?

유형 매개변수를 사용하면 안 되는 이유는 무엇입니까?

'super'를 유형 매개변수와 함께 사용할 수 없는 이유는 그러한 제약 조건이 다음과 같기 때문입니다. 예상치 못한 행동을 예방하는 데는 효과적이지 않습니다. 모든 참조 유형의 궁극적인 슈퍼 클래스인 Object는 가상의 '수퍼' 경계를 실제로 의미 없게 만듭니다.

예를 들어 Collection 인터페이스에서 다음과 같은 가상 메서드를 고려해보세요.

<code class="java"><S super T> S[] toArray(S[] a);</code>

이러한 메서드를 선언하려는 시도는 컴파일 타임에 실패합니다. 허용되더라도 의도한 목적을 달성할 수는 없습니다. 모든 참조 유형 배열은 객체 배열이므로 모든 배열 유형을 인수로 사용할 수 있어 '수퍼' 바운드를 무효화할 수 있습니다.

배열의 결과

제네릭 및 배열은 복잡한 관계를 갖고 있으며 명명된 유형 매개변수에 대한 '슈퍼' 경계가 없다는 것은 이를 반영합니다. 매개변수 배열을 매개변수화된 유형의 슈퍼클래스가 있는 배열로만 제한하는 것이 바람직해 보일 수도 있지만 배열에서는 불가능합니다.

예를 들어 'List' 이론적으로는 'toArray'에 대한 인수로 Integer[], Number[] 또는 Object[]만 허용해야 합니다. 그러나 배열 공분산으로 인해 모든 참조 유형 배열은 객체 배열이기도 합니다. 결과적으로 'Integer[]'의 하위 클래스가 아닌 'String[]'이 여전히 'toArray'에 전달되어 잠재적으로 런타임에 'ArrayStoreException'이 발생할 수 있습니다.

결론

결국 Java 제네릭의 명명된 유형 매개변수에서 'super' 키워드가 제외되는 것은 제네릭 컨텍스트에서 배열의 본질적인 한계 때문입니다. Java는 이러한 경계를 금지함으로써 개발자가 원하는 안전 보장을 제공하지 못하는 오해의 소지가 있는 제약 조건을 생성하는 것을 방지합니다.

위 내용은 Java Generics에서 명명된 유형 매개변수와 함께 \'Super\' 키워드를 사용할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!