말랑이의 제네릭 변성, 그리고 이펙티브 자바 31 정리

[shin-mallang]

공부하시다보면 제네릭이 참 어렵다는 것을 느낄 때가 많은데, 이번에 이펙티브 자바를 공부하다가 제네릭 관련된 부분이 나와서, 조금 더 설명을 덧붙여서 정리해 보았습니다.

특히 변성 관련된 부분을 조금 쉽게 적어보려 노렸했는데, 잘 됐는지는 모르겠네요..ㅠㅠ

혹시 제네릭 공부하신다면, 한번 봐주실 수.. 있나요..? 😊

제네릭 변성과, 이펙티브 자바 아이템 31 - 한정적 와일드카드를 사용해 API 유연성을 높여라

[be-student]

반공변 질문이 있는데요
List<Ramen> 상위 타입만을 받아야 할 이유가 있나요?
List<?> 타입을 받아도, 동작하는 것에는 동일하게 할 수 있을 것 같아보여서요
어차피 instanceOf 메서드로 검사할 테니, Ramen 타입이 아니라면 걸러질 것 같아서요

[shin-mallang]

직접 해보시면 아시겠지만 List<?> store로 받으면 오류가 발생하는대요~

그 이유는 다음과 같습니다.

getRamens() 의 반환 타입이 List<Ramen> 이기 때문에, 이를 addAll 하기 위해서는, 대상 List가 Ramen을 처리할 수 있어야 합니다.
즉 List<Ramen>, List<Food>, List<Object> 등이 될 수 있겠네요!

그러나 List<?> 타입을 받으면 런타임 시에 들어오는 해당 타입이 정확히 무엇이 될 지 모르기 때문에 예외가 발생합니다.
(만약 이것이 가능하다면 런타임에 List<String> 등도 들어올 수 있게 되기 때문이예요!)

List<?> 대신 List<Ramen>, List<Food>, List<Object>를 사용하면 해당 메서드 상에서는 문제가 없는데요, 그러나 이는 변성이 없는, 즉 무변성이기 때문에
메서드 호출 시 다음과 같은 문제가 발생합니다.

코드를 다음과 같이 수정한 경우

// 냉장고
class Refrigerator {

    private final List<Food> foods = new ArrayList<>();
    
    // List<? super Ramen> 대신 List<Object> 사용
    public void moveRamens(final List<Object> store) {
        store.addAll(getRamens());
    }

    private List<Ramen> getRamens() {
        return foods.stream()
                .filter(it -> it instanceof Ramen)
                .map(Ramen.class::cast)
                .collect(Collectors.toList());
    }

}

public static void main(String[] args) {
    Refrigerator refrigerator = new Refrigerator();

    List<Food> foods = new ArrayList<>();
    refrigerator.moveRamens(foods);  // 예외, List<Food> 는 List<Object>의 하위 타입이 아님
}

그래서 글에 나온 것과 같이 super를 통해 반공변 관계로 만들어 주어야 합니다 :)

혹시 잘못된 부분이 있다면 말씀 부탁드려요!

[be-student]

아하 말해주신 대로 직접 해보니까 이해를 했어요
반공변으로 만들기 위한 예제만을 보고, 실제 반공변을 거의 본적이 없다보니까 완전히 이상하게 생각했던 것 같아요
감사합니다