Java의 일반 메소드에 여러 개의 와일드카드가 혼동을 일으키는 이유는 무엇입니까?

일반 메서드의 여러 와일드카드: 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!
    }
}

doNothing의 두 와일드카드는 서로 관련이 없는 것으로 나타나 List 및 List. 그러나 메소드에 다음을 추가하면 컴파일 오류가 발생합니다.

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가 lol의 요소와 다른 유형일 수 있더라도 이 코드는 오류 없이 컴파일됩니다. 그러나 이 시나리오는 유형 안전성에 대한 의문을 제기한다는 점에 유의하는 것이 중요합니다.

진실: 캡처 변환

캡처 변환이라는 개념에서 혼란이 발생합니다. 이를 통해 일반 메소드에 사용될 때 특정 와일드카드가 특정 유형을 캡처할 수 있습니다. 이것이 MaybeIllegal의 다음 변형이 컴파일되는 이유입니다.

static void probablyIllegalAgain(List<List<? extends Number>> lol, List<? extends Number> list) {
    lol.add(list); // compiles fine!!! how come???
}

여기서 LOL의 와일드카드는 List와 같이 Number를 확장하는 유형을 캡처할 수 있습니다. 또는 List입니다. 즉, 아마도IllegalAgain은 두 숫자 목록인 인수를 모두 받아들일 수 있습니다.

중첩된 와일드카드 이해

중요한 점은 여러 개의 와일드카드 자체는 문제가 되지 않는다는 것입니다. 유형 차이로 인해 '호환'되지 않는 유형을 캡처하기 위해 중첩된 와일드카드를 사용하려고 할 때 혼란이 발생합니다.

LOLUnknowns1의 경우 List> LOL의 가능한 모든 요소 유형에 대해 캡처가 안전하지 않기 때문에 특정 유형을 캡처할 수 없습니다. 이것이 목록이 모든 유형일 수 있고 잠재적인 유형 안전 문제로 이어질 수 있는 이유입니다.

결론

일반 메서드에 여러 개의 와일드카드가 있으면 혼란스러울 수 있지만 캡처 변환과 그 한계는 매우 중요합니다. 중첩된 와일드카드는 유형 안전성을 보장하기 위해 신중하게 고려해야 합니다. 이러한 원칙을 준수함으로써 Java 제네릭의 복잡성을 탐색하고 강력한 코드를 작성할 수 있습니다.

위 내용은 Java의 일반 메소드에 여러 개의 와일드카드가 혼동을 일으키는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!