와일드카드 일반 유형(`? extends Parent`)을 사용하여 Java 컬렉션에 요소를 추가할 수 없는 이유는 무엇입니까?

유형 안전성 및 와일드카드 제네릭: 금지된 수정자 이해

Java에서 제네릭 컬렉션으로 작업할 때 와일드카드 제네릭의 개념은 다음을 도입할 수 있습니다. 처음에는 직관에 반하는 것처럼 보일 수 있는 제한 사항. 대표적인 예는 와일드카드 일반 유형을 사용하여 Java 컬렉션에 값을 추가할 수 없다는 것입니다.

다음 코드 조각을 고려하십시오.

List<? extends Parent> list = ...;
Parent p = factory.get(); // returns concrete implementation
list.set(0, p); // fails here: set(int, ? extends Parent) cannot be applied to (int, Parent)

이 코드가 컴파일에 실패하는 이유는 무엇입니까? 그 대답은 와일드카드 제네릭에 의해 시행되는 고유한 안전 메커니즘에 있습니다.

무제한 검색 및 제한된 추가 원칙

와일드카드 제네릭 유형은 ? Parent를 확장하고 Parent 인터페이스의 자손인 요소 목록을 나타냅니다. 이러한 요소를 제한 없이 검색할 수 있지만 유형 안전성에 따라 컬렉션에 값을 추가하는 데 제한이 있습니다.

코드 컴파일이 허용된 경우 목록 내의 요소에 상위 인스턴스를 할당하는 것이 허용됩니다. 그러나 이 작업은 잠재적으로 유형 안전성을 깨뜨릴 수 있습니다.

다음 시나리오를 고려하십시오.

List<Child> childList = new ArrayList<>();
childList.add(new Child());

List<? extends Parent> parentList = childList;
parentList.set(0, new Parent());

Child child = childList.get(0); // No! It's not a child! Type safety is broken...

이 시나리오에서는 하위 개체 목록이 목록으로 캐스팅됩니다. 의 ? 부모를 확장합니다. 목록의 첫 번째 요소에 대한 이후의 Parent 인스턴스 할당은 결과 목록에 유효한 Child 인스턴스가 아닌 요소가 포함되어 있기 때문에 유형 안전성을 위반합니다.

불변 유형 안전성 보장

Java는 와일드카드 일반 컬렉션에 값을 추가하는 것을 금지함으로써 불변 유형 안전성을 강화합니다. 이렇게 하면 목록의 요소가 선언된 유형에 의해 부과된 제약 조건을 항상 준수하게 됩니다.

이러한 제한이 없으면 유형 안전성이 손상되어 잠재적인 오류와 예상치 못한 동작이 발생할 수 있습니다.

위 내용은 와일드카드 일반 유형(`? extends Parent`)을 사용하여 Java 컬렉션에 요소를 추가할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!