유형 매개변수 경계에서 \'확장 T\'는 허용되지만 \'T 구현\'은 허용되지 않는 이유는 무엇입니까?

유형 매개변수 경계에서 "T 연장"은 허용되지만 "T 구현"은 허용되지 않는 이유는 무엇입니까?

Java에서 유형 경계를 정의할 때 매개변수에서는 "T 확장"을 사용할 수 있지만 "T 구현"은 사용할 수 없습니다. 이는 임의적인 구분처럼 보일 수 있지만 Java 제네릭 구현에 뿌리를 둔 구체적인 이유가 있습니다.

이러한 차이의 이유는 상속과 구현의 의미에 있습니다. Java에서 클래스는 하나의 인터페이스만 구현할 수 있지만 여러 클래스를 확장할 수 있습니다. 따라서 유형 매개변수 경계에 "extends"를 사용하면 허용되는 유형을 더 유연하게 지정할 수 있습니다.

예:

다음 코드를 고려하세요.

<code class="java">public interface C {}
public class A<B extends C> {}</code>

유형 매개변수 범위에서 "구현"을 허용한다면 이 코드는 유효할 것입니다. 그러나 클래스 B가 어떤 인터페이스를 구현해야 하는지에 대한 의문이 제기됩니다. 이 컨텍스트에서는 여러 인터페이스가 지원되지 않으므로 모호성이 발생합니다.

반면에 경계에서 "extends"를 사용하면 클래스 B가 인터페이스 C의 하위 유형이어야 합니다. 이는 다음과 같습니다. 모호성을 유발하지 않는 보다 일반적인 제약 조건입니다.

따라서 Java는 인터페이스의 유형 매개변수 범위에서 "extends" 사용을 제한함으로써 제네릭 구현의 일관성과 명확성을 보장합니다.

위 내용은 유형 매개변수 경계에서 \'확장 T\'는 허용되지만 \'T 구현\'은 허용되지 않는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!