[java] <의 차이점은 무엇입니까? 베이스 확장> 및 <T 확장베이스>?

다음과 같은 서명으로 메소드를 정의합니다.

static <T extends Number> void compiles(Map<Integer, List<T>> map) {}

다음과 같이 호출하십시오.

compiles(new HashMap<Integer, List<Integer>>());

jls §8.1.2에서 우리는 다음과 같은 사실을 발견했습니다.

일반 클래스 선언은 유형 인수로 유형 매개 변수 섹션을 호출 할 때마다 하나씩 매개 변수화 된 유형 세트 (§4.5)를 정의합니다 . 이러한 매개 변수화 된 유형은 모두 런타임에 동일한 클래스를 공유합니다.

즉, 유형 T이 입력 유형과 일치하고 할당됩니다 Integer. 서명이 효과적으로됩니다 static void compiles(Map<Integer, List<Integer>> map).

그것이 올 때 doesntCompile방법, JLS는 (하위 유형의 규칙을 정의 §4.5.1 내 옆에 굵은 글씨를)

유형 인수 T1은 T2로 표시되는 유형 세트가 다음 규칙의 재귀 및 전이 폐쇄에서 T1으로 표시되는 유형 세트의 서브 세트 인 경우 T2 <= T1로 작성된 다른 유형 인수 T2를 포함한다고합니다 ( 여기서 <:은 하위 유형을 나타냅니다 (§4.10).

• ? T <= 연장 T <: S 인 경우 S를 확장

• ? T <= 연장

• ? 슈퍼 T <=? S <: T 인 경우 슈퍼 S

• ? 슈퍼 T <=?

• ? 슈퍼 T <=? 객체를 확장

• T <= T

• T <=? T를 연장

• T <=? 슈퍼 T

즉, ? extends Number실제로 포함 Integer하거나 List<? extends Number>포함 List<Integer>하고 있지만 Map<Integer, List<? extends Number>>및 의 경우는 아닙니다 Map<Integer, List<Integer>>. 이 주제에 대한 자세한 내용은 이 SO 스레드에서 찾을 수 있습니다 . 다음과 ?같은 하위 유형이 있다고 선언 하여 와일드 카드를 사용하여 버전을 작동 시킬 수 있습니다 List<? extends Number>.

public class Example {
    // now it compiles
    static void doesntCompile(Map<Integer, ? extends List<? extends Number>> map) {}
    static <T extends Number> void compiles(Map<Integer, List<T>> map) {}

    public static void main(String[] args) {
        doesntCompile(new HashMap<Integer, List<Integer>>());
        compiles(new HashMap<Integer, List<Integer>>());
    }
}

답변

compiles(new HashMap<Integer, List<Integer>>());

static void doesntCompile(Map<Integer, List<? extends Number>> map) {
    map.put(1, new ArrayList<Double>());
}

static void demo(List<Pair<? extends Number>> lst) {} // doesn't work
static void demo(List<? extends Pair<? extends Number>> lst) {} // works
demo(new ArrayList<Pair<Integer>()); // works
demo(new ArrayList<SubPair<Integer>()); // works for subtype too

public static class Pair<T> {}
public static class SubPair<T> extends Pair<T> {}

static void doesntCompile(Map<Integer, List<? extends Number>> map) {}

doesntCompile(new HashMap<Integer, List<Integer>>());

    static void doesntCompile(Map<Integer, List<? extends Number>> map) {
        List<Double> list = new ArrayList<>();
        list.add(0.);
        map.put(0, list);
    }

    static <T extends Number> void compiles(Map<Integer, List<T>> map) {
        List<Double> list = new ArrayList<>();
        list.add(10.);
        map.put(10, list); // does not compile
    }