Java 제네릭 타입 제한 완전 정복, extends와 super의 차이점까지 한 번에 이해하기

🔗 제네릭 타입 제한이란?

자바에서 제네릭(Generic)은 다양한 타입에 대해 재사용 가능한 코드를 작성할 수 있게 해주는 강력한 기능입니다.
하지만 무분별한 타입 사용은 오류를 유발할 수 있고, 의도하지 않은 타입이 들어오면서 코드의 안정성이 떨어지게 됩니다.
이런 문제를 방지하기 위해 제네릭 타입 제한(Type Bound)이라는 개념이 등장하게 되었죠.

타입 제한은 제네릭에서 사용할 수 있는 타입의 범위를 extends나 super 키워드를 통해 제한하는 기능입니다.
즉, 어떤 타입만 사용 가능하게 지정함으로써 컴파일 타임에 오류를 예방하고, 코드의 안정성과 명확성을 향상시킬 수 있습니다.

📌 왜 타입 제한이 필요한가요?

다음과 같은 경우에 타입 제한이 유용하게 사용됩니다.

• ✅특정 클래스 또는 인터페이스의 하위 타입만 사용하도록 제한하고 싶을 때
• ✅제네릭 메서드나 클래스에서 상속 계층을 기반으로 기능을 처리할 때
• ✅입력값과 반환값 사이의 타입 안정성을 보장하고자 할 때

// T는 Number 클래스 또는 그 하위 클래스만 허용됨
public class Box<T extends Number> {
    private T value;

    public void set(T value) {
        this.value = value;
    }

    public T get() {
        return value;
    }
}

위 예제에서 T extends Number는 T 타입으로 Number 또는 그 하위 클래스만 허용하도록 제한하고 있습니다.
따라서 Box<Integer>, Box<Double> 등은 사용 가능하지만 Box<String>과 같은 타입은 컴파일 에러가 발생합니다.

🛠️ extends 키워드로 상한 제한하기

제네릭에서 extends 키워드는 상한 제한(Upper Bound)을 설정할 때 사용됩니다.
즉, 특정 타입의 하위 클래스나 구현체만 허용하겠다는 의미로, 클래스뿐 아니라 인터페이스를 기준으로도 제한할 수 있습니다.

이는 메서드나 클래스에서 상속 관계를 고려한 처리가 필요할 때 유용하며, 주로 읽기 전용 상황에서 사용됩니다.
왜냐하면, 상한 제한이 걸린 제네릭은 내부적으로 해당 타입 이상의 정확한 구조를 알 수 없기 때문에 데이터를 꺼내올 순 있어도 넣는 것은 제한되기 때문입니다.

📌 예제: 상한 제한 사용하기

public static void printNumbers(List<? extends Number> list) {
    for (Number n : list) {
        System.out.println(n);
    }
}

위 메서드는 Number 또는 그 하위 클래스들을 담은 리스트만 받을 수 있습니다.
즉, List<Integer>, List<Double> 등은 전달할 수 있지만 List<String>은 전달할 수 없습니다.

💬 “Producer Extends”라는 표현이 있습니다.
데이터를 생산(읽기)하는 상황에서는 extends를 사용하는 것이 일반적입니다.

상한 제한을 활용하면 특정 타입을 기준으로 그 하위 구조에 대해 유연하게 코드를 설계할 수 있으면서도 불필요한 오류를 미리 차단할 수 있습니다.
이는 특히 컬렉션을 다룰 때 빈번히 활용되며, 실무 코드에서도 자주 접하게 되는 패턴입니다.

⚙️ super 키워드로 하한 제한하기

이번에는 제네릭 타입에 super 키워드를 사용해 하한 제한(Lower Bound)을 설정하는 방법을 알아보겠습니다.
이 방식은 상한 제한과 반대로, 특정 타입과 그 상위 클래스만 사용 가능하도록 제한하는 방식입니다.

일반적으로 하한 제한은 데이터를 넣는(consumer) 상황에서 사용됩니다.
왜냐하면, 해당 타입 이상의 구조를 알고 있기 때문에 타입 안정성을 보장하면서 값을 넣을 수 있기 때문입니다.
반대로 데이터를 꺼낼 경우에는 Object로밖에 받을 수 없어 불편할 수 있습니다.

📌 예제: 하한 제한 사용하기

public static void addNumbers(List<? super Integer> list) {
    list.add(10);
    list.add(20);
}

위 예제에서 ? super Integer는 Integer 타입 또는 그 상위 클래스만 받을 수 있음을 의미합니다.
따라서 List<Integer>, List<Number>, List<Object>는 모두 유효한 매개변수입니다.
하지만 List<Double>처럼 Integer보다 하위 타입은 허용되지 않습니다.

💬 “Consumer Super”는 데이터를 삽입하는 목적일 때 사용하는 대표 패턴입니다.

하한 제한은 자바의 컬렉션 프레임워크, 특히 Comparator나 Collections.sort() 등에서 빈번히 사용됩니다.
실제로는 유연하면서도 안전하게 데이터를 처리할 수 있게 해주는 기능으로, 제네릭 프로그래밍의 이해도를 한 단계 끌어올리는 데 중요한 역할을 합니다.

🔌 extends와 super의 차이점 비교

앞서 각각의 개념을 살펴보았지만, 실제 사용 시에는 extends와 super를 구분하는 것이 핵심입니다.
두 키워드는 모두 타입 제한에 사용되지만, 그 용도와 성격은 완전히 다르며 서로 반대되는 역할을 합니다.

기억하기 쉽도록 정리하면 다음과 같습니다.

💬 “PECS”는 Effective Java 2nd Edition에서 소개된 제네릭 활용의 핵심 원칙 중 하나입니다.

많은 자바 개발자들이 초기에 이 둘을 헷갈리곤 하지만, 실제 사용 목적을 구분하면 명확해집니다.
읽기 위주 작업에는 extends, 쓰기 위주 작업에는 super를 선택하는 것이 안전한 제네릭 설계의 출발점입니다.

💡 실무에서의 활용 예제

이제 제네릭의 타입 제한 개념을 실무 코드에 어떻게 적용할 수 있는지 살펴볼 차례입니다.
많은 라이브러리, 프레임워크, 그리고 컬렉션 API에서도 extends와 super를 적절히 활용하고 있습니다.
특히, 데이터를 유연하게 전달하거나 제네릭 메서드를 설계할 때 매우 유용하죠.

📌 예제 1: 리스트 합산 메서드 만들기 (extends 사용)

public static double sum(List<? extends Number> list) {
    double total = 0;
    for (Number n : list) {
        total += n.doubleValue();
    }
    return total;
}

이 메서드는 List<Integer>, List<Double> 등 다양한 숫자 타입의 리스트를 받아 총합을 구할 수 있습니다.
? extends Number 덕분에 타입마다 따로 오버로딩할 필요 없이 유연하게 작성할 수 있죠.

📌 예제 2: 리스트에 값 추가하기 (super 사용)

public static void addIntegers(List<? super Integer> list) {
    list.add(1);
    list.add(2);
}

이 메서드는 List<Integer>, List<Number>, List<Object> 모두에 정수를 추가할 수 있습니다.
super 키워드를 통해 타입의 하한을 보장하면서 안전하게 데이터를 추가하는 것이 핵심입니다.

• 📌읽기 전용이라면 extends
• 📌값을 추가할 목적이라면 super
• 📌유연한 제네릭 메서드를 설계할 때 타입 제한을 적극 활용

❓ 자주 묻는 질문 (FAQ)

🧩 타입 제한을 알면 제네릭이 쉬워집니다

이번 글에서는 Java 제네릭 프로그래밍에서 핵심 개념인 타입 제한(Type Bound)에 대해 살펴보았습니다.
특히 extends와 super 키워드를 활용한 상한/하한 제한 방식은 제네릭을 안전하고 유연하게 사용하는 데 필수적인 도구입니다.

단순히 문법적인 개념을 넘어서, 실제 실무 코드에서 타입 안정성과 재사용성을 모두 확보할 수 있는 구조를 만드는 데 큰 역할을 하죠.
PECS 원칙처럼 기억해두면 복잡한 상황에서도 올바른 방향을 쉽게 판단할 수 있습니다.

처음에는 다소 헷갈릴 수 있지만, 이번 글에서 소개한 개념과 예제를 기반으로 하나씩 직접 적용해보면 제네릭에 대한 자신감도 함께 자라날 거예요.
앞으로 제네릭 메서드를 구현하거나 라이브러리 API를 사용할 때도 보다 능동적으로 활용해보시길 바랍니다.

🏷️ 관련 태그 : Java제네릭, 타입제한, extends, super, bounded타입, PECS원칙, 자바스트림, 제네릭프로그래밍, 실무자바, 자바문법