배열과 리스트의 차이

차이점1

• 배열 Sub가 Super의 하위 타입이라면 배열 Sub[]는 Super[] 의 하위 타입이 됨
  • JAVA에서 배열을 공변으로 만든 이유는?
• List<Type1> 은 List<Type2> 의 하위타입도 아니고 상위 타입도 아님

배열의 문제점

// 배열 사용 시 런타임에서 예외를 던짐
Object[] objectArray = new Long[1];
objectArray[0] = "타입이 달라 넣을 수 없음";

// 리스트 사용 시 컴파일할 때 잘못됨을 바로 알 수 있음
List<Object> ol = new ArrayList<Long>();
ol.add("타입이 달라 넣을 수 없음");

차이점2

• 배열은 런타임에도 자신이 담기로 한 원소의 타입을 확인함

• 제네릭은 타입 정보가 런타임에는 소거됨

  → 원소의 타입을 컴파일 타임에만 검사함

제네릭 배열을 만들지 못하는 이유

List<String>[] stringLists = new List<String>[1]; // 제네릭 배열을 생성할 수 있다고 가정
List<Integer> intList = List.of(42);
Object[] objs = stringLists;
objs[0] = intList;
String s = stringLists[0].get(0);

• 배열은 공변이기 때문에 List<String> 배열을 Object배열에 할당할 수 있음
• List<String> 만 담겠다고 선언한 배열에 List<Integer> 이 저장됨
• stringLists[0].get(0); 로 꺼낼 때 꺼낸 원소를 String으로 형변환하는데, 원소가 Integer이므로 ClassCastException 발생

→ 위와 같은 일을 방지하기 위해 컴파일 오류가 필요