Что означает запись List<?> в сигнатуре метода?

Дженерики в Java инвариантны: List<String> не является подтипом List<Object>. Иначе можно было бы через List<Object> положить число в список строк.

List<?> означает «список чего-то одного, но неизвестно чего». Отсюда правила:

• читать можно — элемент гарантированно Object;
• добавлять нельзя — за ссылкой может стоять список строк, и положить туда что-либо (кроме null) было бы ошибкой;
• передать можно любой List<...>.

Ограниченные wildcards уточняют:

• List<? extends Number> — список чисел какого-то подтипа: читать как Number можно, добавлять нельзя;
• List<? super Integer> — список, куда можно положить Integer: писать можно, читать — только как Object.

Правило PECS — Producer Extends, Consumer Super: если коллекция отдаёт значения методу — extends, если принимает — super. Пример из JDK: Collections.copy(List<? super T> dest, List<? extends T> src).

static void printAll(List<?> list) {
    for (Object o : list) System.out.println(o);
    // list.add("x");   // ошибка компиляции
}

static double sum(List<? extends Number> nums) {
    return nums.stream().mapToDouble(Number::doubleValue).sum();
}

printAll(List.of("a", "b"));
sum(List.of(1, 2.5));