Java에서 일반 배열을 직접 생성할 수 없는 이유는 무엇입니까?

제네릭과 배열의 상호 작용

제네릭 유형(E[] 요소)으로 배열 참조를 생성할 수 있지만 제네릭 유형( elements = new E[10])는 금지됩니다. 이는 제네릭과 배열이 유형 적용을 처리하는 방식이 근본적으로 다르기 때문입니다.

배열 및 공분산

제네릭과 달리 배열은 공분산입니다. 이는 상위 유형의 배열(예: Object[])이 하위 유형의 배열(예: String[])에 할당될 수 있음을 의미합니다. 이는 불변성을 적용하는 제네릭의 경우에는 해당되지 않습니다(예: List

유형 적용

제네릭은 컴파일 타임에 더 강력한 유형 검사를 적용합니다. , 런타임 예외를 방지하고 유형 안전성을 유지합니다. 그러나 배열은 런타임 유형 정보를 전달하므로 호환되지 않는 유형의 요소가 삽입되면 잠재적인 ArrayStoreException이 발생할 수 있습니다.

일반 배열 생성 관련 문제

일반 구성 요소 유형(예: , T[])는 런타임에 유형을 알 수 없으므로 안전하지 않습니다. 생성된 배열이 실제로는 Object[]로 변장할 수 있으므로 이로 인해 유형 캐스팅 오류나 ArrayStoreException이 발생할 수 있습니다.

Typecasting이 작동하는 이유

왜 elements = (E[])인지 궁금할 것입니다. new Object[10]이 작동하는 것 같습니다. 이는 컴파일 시간 경고를 억제하지만 여전히 런타임 예외 위험이 있는 확인되지 않은 유형 캐스팅 때문입니다. 이 경우 배열 요소가 일반 유형과 호환되면 캐스트가 성공할 수 있지만 항상 작동하지는 않을 수 있습니다.

E[]에 대한 해결 방법

일반 유형의 배열을 만들려면 확인되지 않은 캐스팅에 의존하지 않고 유형을 입력하려면 Array#newInstance() 메서드를 사용하세요.

public <E> E[] getArray(Class<E> clazz, int size) {
    @SuppressWarnings("unchecked")
    E[] arr = (E[]) Array.newInstance(clazz, size);

    return arr;
}

와일드카드 유형

와일드카드는 런타임 시 매개변수화를 유지하는 수정 가능한 유형이기 때문에 와일드카드 매개변수화된 유형(예: List<?>[])의 배열을 생성하는 것이 허용됩니다. 예를 들어 List<?>[]는 List[]와 동일합니다.

위 내용은 Java에서 일반 배열을 직접 생성할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!