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

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 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...

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

불변 유형 안전성 보장

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

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