Java Generics의 유형 매개변수 경계에 \"구현\"을 사용할 수 없는 이유는 무엇입니까?

Java Generics의 상위 유형 경계 차이점

Java에서 유형 매개변수의 경계를 정의할 때 "extends"가 있음을 발견했을 수 있습니다. 하지만 "구현"은 아닙니다. 이러한 차이는 왜 그런지 이해하려는 호기심을 불러일으켰습니다.

왜 "T"를 구현하지 않습니까?

수퍼타입 관계를 나타내는 "확장"과 달리 하위 클래스는 동일한 인터페이스를 공유합니다. "구현"은 클래스가 인터페이스에서 지정한 메서드를 구현하는 구현 관계를 나타냅니다. 이러한 구별은 컴파일 중에 명백해집니다.

아래 예를 고려하십시오.

<code class="java">interface C {}
class A<B extends C> {} // Allowed
class A<B implements C> {} // Not allowed</code>

첫 번째 예에서 유형 매개변수 B는 "extends"를 사용하여 클래스 C에 의해 제한됩니다. 이를 통해 B는 C와 동일하거나 C의 하위 클래스가 될 수 있습니다. 두 번째 예에서는 "implements"가 사용되어 B가 C를 구현하는 인터페이스가 되도록 허용합니다. 그러나 유형 매개변수는 구현 인터페이스를 지정할 수 없습니다.

"extends T"의 이유

Java의 일반 제약 조건 언어는 상위 유형 관계에 중점을 둡니다. "extends"를 사용하면 유형 매개변수를 특정 슈퍼클래스나 인터페이스로 제한하여 해당 유형이 항상 해당 슈퍼유형에 할당될 수 있도록 할 수 있습니다. 이는 Java의 유형 안전성과 상속 원칙을 유지합니다.

반면, "구현"은 상위 유형 관계가 아닌 구현 관계를 정의하므로 이 패러다임에 맞지 않습니다. 따라서 "확장"은 유형 매개변수의 경계를 정의하는 데 선호되는 유일한 옵션입니다.

위 내용은 Java Generics의 유형 매개변수 경계에 \"구현\"을 사용할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!