[Java] Generic vs WildCard

 

 

🎯 Goals

• WildCard 가 왜 필요한지 안다.
• 언제 Generic 을 쓸지 안다.
• 언제 wildcard 를 쓸지 안다.

 

Java 의 다양한 컬렉션을 사용하거나 라이브러리를 만들다보면 제네릭을 자주 사용하게 된다.

이 때 `?` 로 표현되는 와일드카드도 심심치 않게 보게 되는데, 이 두녀석의 역할과 용례를 알아보자.

 

 

WildCard 예제: 와일드 카드는 왜 나왔나?

class ShapeTest {
  void drawAll(List<Shape> shapeList) {
    for (Shape shape : shapeList) {
      shape.draw();
    }
  }

  @DisplayName("Could not print all shapes with collection type hierarchy")
  @Test
  void drawAllTest() {
    List<Rectangle> rectangles = List.of(new Rectangle(), new Rectangle());
    this.drawAll(rectangles); // 🚫 Error occurs
  }

}

 

에러 메시지는 간단하다.

 

Rectangle 은 Shape 의 자식 클래스인데 왜 에러가나지?

 

컬렉션의 원소 타입이 상속 관계를 만족한다고 해서 컬렉션<타입> 상속 관계도 성립되는 것은 아니다.

 

(i.e.) Rectangle 이 Shape 을 상속했다고 해서 List<Rectangle> 이 List<Shape>을 상속 받은 것은 아니다.

 

WildCard : 컬렉션 타입을 제한할 때 

class ShapeTest {
  // Shape 을 상속받은 타입은 연산 가능하다.
  void drawAll(List<? extends Shape> shapeList) {
    for (Shape shape : shapeList) {
      shape.draw();
    }
  }

  @DisplayName("It's possible to use method when collection wildcard is defined")
  @Test
  void drawAllTest() {
    List<Rectangle> rectangles = List.of(new Rectangle(), new Rectangle());
    this.drawAll(rectangles); // ✅
  }

}

 

 

Genreic

제네릭 상속 방식으로도 구현 가능하다.

class ShapeTest {

  <T extends Shape> void drawAll(List<T> shapeList) {
    for (T shape : shapeList) {
      shape.draw();
    }
  }

  @DisplayName("It's possible to use method when it's defined as type variable hierarchy")
  @Test
  void drawAllTest() {
    List<Rectangle> rectangles = List.of(new Rectangle(), new Rectangle());
    this.drawAll(rectangles);
  }

}

 

 

Generic + WildCard 공통점

둘다 타입 안정성을 런타임 -> 컴파일 타임으로 옮겨 안정적인 코드를 작성하기 위해서 만들어졌다.

 

차이점

(추가 예정)