Java에서 \'super\'로 일반 유형 매개변수를 바인딩할 수 없는 이유는 무엇입니까?

'super'를 사용한 제네릭 경계: 설명

Java에서 제네릭으로 작업할 때 특정 유형과의 호환성을 보장하기 위해 유형 매개변수를 결합해야 하는 경우가 많습니다. 'super' 키워드는 유형 매개변수가 지정된 유형의 슈퍼클래스 또는 슈퍼인터페이스여야 함을 지정하는 데 사용될 수 있습니다. 그러나 이 사용은 유형 매개변수가 아닌 와일드카드에서만 허용됩니다.

Collection 인터페이스에서 toArray 메소드는 다음과 같이 선언됩니다.

<T> T[] toArray(T[] a);

이 메소드를 사용하면 컬렉션을 변환할 수 있습니다. 'T' 유형의 요소를 동일한 유형의 요소 배열로 변환합니다. 그러나 메소드를 다음과 같이 작성할 수는 없습니다.

<T> <S super T> S[] toArray(S[] a);

이유는 제네릭의 'super' 키워드가 유형 매개변수가 아닌 와일드카드를 바인딩하는 데 사용되기 때문입니다. 위의 예에서는 'super'를 사용하여 유형 매개변수 'S'를 'T'의 슈퍼클래스 또는 슈퍼인터페이스로 바인딩하려고 합니다. 이 사용은 잠재적으로 유형 안전성 문제로 이어질 수 있으므로 허용되지 않습니다.

예를 들어 다음 코드를 고려하세요.

List<Integer> integerList = new ArrayList<>();
Integer[] integerArray = new Integer[5];
Number[] numberArray = new Number[5];
Object[] objectArray = new Object[5];
// hypothetical method
integerList.toArray(super T numberArray)

제안된 구문에 따르면 위 코드는 다음을 허용합니다. 다음 유형 할당:

integerList.toArray(super T integerArray)  // compiles fine!
integerList.toArray(super T numberArray)   // compiles fine!
integerList.toArray(super T objectArray)  // compiles fine!

그러나 'String'은 'Integer'의 상위 클래스가 아니므로 다음 코드는 컴파일하면 안 됩니다.

integerList.toArray(super T stringArray)  // should not compile

그러나 다시, 'Object'이므로 '가 'Integer'와 'String'의 슈퍼클래스인 경우 다음 코드는 런타임에 'ArrayStoreException'이 발생하더라도 여전히 컴파일됩니다.

integerList.toArray(super T stringArray)  // compiles fine!

이 동작은 다음과 같은 결과를 초래할 수 있으므로 바람직하지 않습니다. 안전 위반을 입력합니다. 이를 방지하기 위해 Java에서는 유형 매개변수를 바인딩하기 위해 'super'를 사용하는 것을 허용하지 않습니다. 대신 'super'를 사용하여 와일드카드를 바인딩할 수만 있습니다.

예를 들어 와일드카드를 사용하여 다음과 같이 toArray 메서드를 다시 작성할 수 있습니다.

<T> T[] toArray(T[] a);

이 메서드를 사용하면 코드를 작성할 수 있습니다. 이는 유형이 안전하고 유연합니다. 예를 들어 다음 코드는 컴파일되고 런타임 시 'ArrayStoreException'을 발생시키지 않습니다.

List<Integer> integerList = new ArrayList<>();
Integer[] integerArray = new Integer[5];
Number[] numberArray = new Number[5];
Object[] objectArray = new Object[5];

integerList.toArray(objectArray);

위 내용은 Java에서 \'super\'로 일반 유형 매개변수를 바인딩할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!