простой универсальный список в Java

Это объявление:

List<?> getOuterList() { }

сообщает компилятору: «Я действительно не знаю, какой список я верну». Затем вы по существу выполняете

list<dunno-what-this-is>.add((MyObject)myObject)

. Он не может добавить MyObject в список того, что он не знает, какой это тип.

Это объявление:

protected List<? extends Object> getOuterList() { ... }

сообщает компилятору: «Это список вещей, которые являются подтипами объекта ". Итак, опять же, конечно, вы не можете преобразовать в «MyObject», а затем добавить его в список объектов. Поскольку все, что знает компилятор, это то, что список может содержать объекты.

Вы можете сделать что-то вроде этого:

List<? super MyObject>.getOuterList() { ... }

, а затем успешно добавить MyObject. Это потому, что теперь компилятор знает, что List - это список MyObject или любой супертип MyObject, поэтому он наверняка может принять MyObject.

Изменить: Что касается вашего примера DogKennel, этот фрагмент кода, я думаю, делает то, что вы хотите:

protected List<GreyHound> greyHounds;

// We only want a List of GreyHounds here:
public List<GreyHound> getGreyHounds() {
    return this.greyHounds;
}

// The list returned can be a List of any type of Dog:
public List<? extends Dog> getDogs() {
    return getGreyHounds();
}

You are saying that the method returns a "List of some unknown type" (which you can't add to, because you can't guarantee that the thing you are adding is a subtype of that type). You actually want to say, a "List of whatever type you want", so you have to make the method generic:

protected <T> List<T> getOuterList() {
  // blah blah
}

Okay, I just looked at your update:

It all depends on what you intend to be able to do with the result of getDogs(). If you do not intend to be able to add any items to the list, then getDogs() should return type List, and then the problem would be solved.

If you intend to be able to add things to it, and by the type List it means that you can add any kind of Dog to it, then logically this list cannot be the same list as greyHounds, because greyHounds has type List and so Dog objects should not go in it.

Which means that you must create a new list. Keeping in mind of course that any changes to the new list would not be reflected in the original list greyHouds.

a generic type of ? means "some specific type, but i don't know which". anything using a ? is essentially read-only because you can't write to it w/out knowing the actual type.

Уже есть принятый ответ, однако, пожалуйста, рассмотрите следующую модификацию кода.

public interface DogKernel {
    public List<? extends Dog> getDogs();
}

public class GreyHoundKennel implements DogKernel {
    protected List<GreyHound> greyHounds;

    public List<GreyHound> getGreyHounds() {
        return this.greyHounds;
    }

    public List<? extends Dog> getDogs() {
        return getGreyHounds(); // no compilation error
    }

    public static void main(String[] args) {
    GreyHoundKennel inst = new GreyHoundKennel();
    List<? extends Dog> dogs = inst.getDogs();
    }
}

Дженерики Java действительно сломаны, но не настолько. Кстати, Scala исправляет это очень элегантным способом, обеспечивая обработку отклонений.

ОБНОВЛЕНИЕ ----------

Обратите внимание на обновленный фрагмент кода.

public interface DogKennel<T extends Dog> {
    public List<T> getDogs();
}

public class GreyHoundKennel implements DogKennel<GreyHound> {
    private List<GreyHound> greyHounds;

    public List<GreyHound> getDogs() {
        return greyHounds; // no compilation error
    }

    public static void main(String[] args) {
        GreyHoundKennel inst = new GreyHoundKennel();
        inst.getDogs().add(new GreyHound()); // no compilation error
    }
}