Java Generics가 공변적이지 않은 이유는 무엇입니까?

Java 제네릭 공분산

제공된 기사에 설명된 대로 Java에서 제네릭은 공분산이 아닙니다. 즉, 클래스가 일반 클래스를 확장하는 경우 하위 클래스의 일반 유형은 상위 클래스의 일반 유형의 하위 유형이 될 수 없습니다.

"별칭" 개념 이해

저자는 "ln이 li의 별칭으로 사용된다면" 형식 안전성 약속이 깨질 것이라고 언급합니다. 별칭은 개체에 대한 대체 이름이나 참조를 나타냅니다. 이 시나리오에서 li는 ln의 별칭입니다.

설명 예

다음 코드를 고려하세요.

List<Integer> li = new ArrayList<Integer>();
List<Number> ln = li; // illegal
ln.add(new Float(3.1415));

Integer는 번호, ln에 Float 객체를 추가하는 것은 불법입니다. 이는 li를 ln으로 별칭을 지정함으로써 본질적으로 li가 숫자를 보유할 수 있다고 말하고 있기 때문입니다. 그러나 li은 원래 정수만 보유하도록 선언되었습니다. 따라서 ln에 Float를 추가하는 것은 li의 유형 안전성 보장을 위반하는 것입니다.

결론

이 예는 Java에서 제네릭이 공변적이지 않음을 보여줍니다. 서브클래스의 제네릭 유형을 슈퍼클래스의 제네릭 유형에 할당하려고 하면 컴파일 시간 오류가 발생합니다.

위 내용은 Java Generics가 공변적이지 않은 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!