Использование нескольких подстановочных знаков в общих методах очень сбивает с толку компилятор Java (и меня!)

Как указано в Приложении B, это не имеет ничего общего с несколько подстановочных знаков, а скорее неправильное понимание того, что на самом деле означает List > .

Давайте сначала напомним себе, что означает инвариантность дженериков Java:

1. Integer - это Number
2. A List is ] НЕ a Список
3. A Список IS a Список

Теперь мы просто применяем тот же аргумент к ситуации с нашим вложенным списком _{(см. приложение для более подробной информации)} :

1. A List is (захватывается ) a List
2. A List > is НЕ (захватывается) a List >
3. A List > IS (захватывается) a List >

С таким пониманием можно объяснить все фрагменты вопроса. Путаница возникает из-за (ложного) предположения, что такой тип, как List > , может захватывать такие типы, как List > , List > и т. Д. Это НЕ истина.

То есть List > :

• не является НЕ списком, элементы которого являются списками какого-то одного неизвестного типа.
  • ... это будет Список >
• Вместо этого это список, элементами которого являются списки типа ЛЮБОЙ .

Фрагменты

Вот фрагмент, иллюстрирующий вышеуказанные моменты:

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

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

// lolAny = new ArrayList<List<String>>(); // DOES NOT COMPILE!!

List<? extends List<?>> lolSome;

lolSome = new ArrayList<List<String>>();
lolSome = new ArrayList<List<Integer>>();

Дополнительные фрагменты

Вот еще один пример с ограниченным вложенным подстановочным знаком:

List<List<? extends Number>> lolAnyNum = new ArrayList<List<? extends Number>>();

lolAnyNum.add(new ArrayList<Integer>());
lolAnyNum.add(new ArrayList<Float>());
// lolAnyNum.add(new ArrayList<String>());     // DOES NOT COMPILE!!

// lolAnyNum = new ArrayList<List<Integer>>(); // DOES NOT COMPILE!!

List<? extends List<? extends Number>> lolSomeNum;

lolSomeNum = new ArrayList<List<Integer>>();
lolSomeNum = new ArrayList<List<Float>>();
// lolSomeNum = new ArrayList<List<String>>(); // DOES NOT COMPILE!!

Назад к вопросу

Чтобы вернуться к фрагментам в вопрос, следующее ведет себя так, как ожидалось (, как видно на ideone.com ):

public class LOLUnknowns1d {
    static void nowDefinitelyIllegal(List<? extends List<?>> lol, List<?> list) {
        lol.add(list); // DOES NOT COMPILE!!!
            // The method add(capture#1-of ? extends List<?>) in the
            // type List<capture#1-of ? extends List<?>> is not 
            // applicable for the arguments (List<capture#3-of ?>)
    }
    public static void main(String[] args) {
        List<Object> list = null;
        List<List<String>> lolString = null;
        List<List<Integer>> lolInteger = null;

        // these casts are valid
        nowDefinitelyIllegal(lolString, list);
        nowDefinitelyIllegal(lolInteger, list);
    }
}

lol.add (list); недопустимо, потому что у нас может быть List > lol и список List