List>가 다양한 유형의 중첩 목록을 허용하는 이유는 무엇입니까?

> 다양한 유형의 중첩 목록을 허용하시겠습니까? " />

일반 메서드에 여러 개의 와일드카드를 사용하면 Java 컴파일러가 혼동될 수 있습니다

문제:

Java 컴파일러에서 여러 개의 와일드카드 사용 일반적인 메소드는 Java 컴파일러와 프로그래머 모두에게 혼란을 초래할 수 있습니다. 다음 예를 고려하십시오.

public class TwoListsOfUnknowns {
    static void doNothing(List<?> list1, List<?> list2) {}

    public static void main(String[] args) {
        List<String> list1 = null;
        List<Integer> list2 = null;
        doNothing(list1, list2); // compiles fine!
    }
}

List 및 List . 그러나 다음 변형은 컴파일되지 않습니다.

public class TwoListsOfUnknowns2 {
    static void doSomethingIllegal(List<?> list1, List<?> list2) {
        list1.addAll(list2); 
            // DOES NOT COMPILE!!!
    }
}

list1과 list2가 완전히 다른 유형을 참조하기 때문에 이 동작이 예상됩니다.

다음 코드에서는 혼란이 발생합니다.

public class LOLUnknowns1 {
    static void probablyIllegal(List<List<?>> lol, List<?> list) {
        lol.add(list); // this compiles!! how come???
    }
}

이 코드는 컴파일되지만 그래야 하나요? List> 및 List 🎜>

컴파일러가 작업을 수행하는 것 같지만 다음 변형으로 인해 혼란이 지속됩니다.

public class LOLUnknowns2 {
    static void rightfullyIllegal(
            List<List<? extends Number>> lol, List<?> list) {

        lol.add(list); // DOES NOT COMPILE! As expected!!!
    }
}

이 코드에는 List>가 포함될 수 있으므로 이 코드는 컴파일되지 않아야 하지 않나요? ; ㅋㅋㅋ 그리고 List 목록?

public class LOLUnknowns3 {
    static void probablyIllegalAgain(
            List<List<? extends Number>> lol, List<? extends Number> list) {

        lol.add(list); // compiles fine!!! how come???
    }
}

이러한 동작을 명확히 하기 위해 코드를 다시 LOLUnknowns1로 단순화하고 아마도Illegal:

두 가지 모두에 대해 동일한 유형을 사용해 보겠습니다. 와일드카드를 사용하면 코드가 컴파일되지 않습니다. 그러나 첫 번째 인수에 대한 null 유형은 다음과 같이 컴파일됩니다.

public class LOLUnknowns1a {
    static void probablyIllegal(List<List<?>> lol, List<?> list) {
        lol.add(list); // this compiles!! how come???
    }

    public static void main(String[] args) {
        List<List<String>> lol = null;
        List<String> list = null;
        probablyIllegal(lol, list); // DOES NOT COMPILE!!
    }
}

public class LOLUnknowns1b {
    static void probablyIllegal(List<List<?>> lol, List<?> list) {
        lol.add(list); // this compiles!! how come???
    }

    public static void main(String[] args) {
        List<String> list = null;
        probablyIllegal(null, list); // compiles fine!
    }
}

답변:

혼란은 List<와 같은 중첩된 와일드카드가 무엇인지에 대한 오해에서 비롯됩니다. ;List>는 실제로 의미합니다. Java Generics는 불변입니다. 즉, 유형 간의 관계는 일반 인스턴스화에 적용되지 않습니다. 이는 중첩 목록에도 적용됩니다.

따라서 List> 요소가 특정 유형이 아닌 모든 유형의 목록인 목록을 나타냅니다. 이는 다음 코드가 합법적임을 의미합니다.

A List<String> is (captureable by) a List<?>.
A List<List<String>> is NOT (captureable by) a List<List<?>>.
A List<List<String>> IS (captureable by) a List<? extends List<?>>.

List<List<?>> lolAny = new ArrayList<>();

lolAny.add(new ArrayList<Integer>());
lolAny.add(new ArrayList<String>());

요약

여러 일반 와일드카드를 사용하는 Java 컴파일러의 동작은 캡처 변환 규칙에 따라 결정됩니다. 혼란을 피하려면 와일드카드 캡처의 한계를 이해하는 것이 중요합니다.

위 내용은 List>가 다양한 유형의 중첩 목록을 허용하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!