Краткий ответ

Wildcard не является конкретным аргументом типа, который можно явно подставить в параметр метода. Он описывает неизвестный тип внутри параметризованного типа, тогда как явный вызов обобщённого метода требует выбрать определённый тип; для wildcard-сценариев Java использует вывод типа и механизм захвата wildcard.

Исторический контекст

Обобщения Java создавались для статической проверки типов без дублирования реализаций для разных типов. Wildcards добавили отдельный механизм безопасной вариативности: API может принимать или возвращать параметризованные типы с неизвестным аргументом, не раскрывая его точное имя.

При этом wildcard предназначен для описания отношений между типами в параметризованном типе, например неизвестного элемента коллекции. Он не заменяет параметр типа T, который является именуемой переменной и может быть выбран при вызове обобщённого метода.

Постановка проблемы

При явном вызове метода разработчик должен сообщить компилятору конкретный тип, с которым будет работать параметр метода и его возвращаемое значение. Запись wildcard не выбирает тип: она сообщает лишь, что существует некоторый неизвестный тип с заданными ограничениями.

Если разрешить подставлять wildcard напрямую, было бы неясно, является ли он одним конкретным типом, новым неизвестным типом или независимым неизвестным типом при каждом использовании. Это нарушило бы однозначность вывода и проверки типов.

Подробное решение

Явный аргумент типа и wildcard имеют разную семантику. Параметр типа T можно связать с конкретным типом, например String; wildcard ? означает существование некоторого типа, но не предоставляет его имени вызывающему коду.

class Demo {
    static <T> T same(T value) {
        return value;
    }

    static void example() {
        String a = Demo.<String>same("ok");
        String b = Demo.same("ok");
        // Demo.<?>same("ok"); // ошибка компиляции
    }
}

В первом вызове String — явный аргумент типа. Во втором компилятор выводит тот же тип автоматически. В третьем случае ? нельзя использовать как явный аргумент метода, поскольку это не выбранный тип, а wildcard-обозначение.

Это не означает, что wildcard нельзя использовать при работе с результатом или параметром метода. Например, тип List<?> корректен: wildcard является частью параметризации List, а не самостоятельным явным аргументом вызываемого метода.

Когда параметризованный тип с wildcard передаётся в другой обобщённый метод, компилятор может выполнить захват wildcard. Он создаёт внутренний неизвестный тип, условно обозначаемый CAP#1, и проверяет операции относительно него. Этот тип существует только внутри конкретной проверки вызова и не становится доступным именем в исходном коде.

Если требуется сохранить неизвестный тип между несколькими параметрами или в результате, следует объявить собственный параметр типа T. Если точный тип не нужно именовать, обычно достаточно позволить компилятору вывести его автоматически.

Ситуация из практики

Библиотечный метод возвращает List<?>, потому что он может предоставить список любого элементного типа и не хочет раскрывать этот тип в публичном контракте. Вызывающий код может безопасно читать элементы как Object, но не может явно вызвать другой обобщённый метод с ? в качестве его аргумента типа.

Вариант с ручной подстановкой Object некорректен: Object — конкретный тип, а List<?> не равен List<Object>. Вариант с wildcard в явном вызове невозможен синтаксически и семантически.

Практическое решение — передать значение в метод без явного аргумента типа и позволить компилятору захватить wildcard. Если же API должно выразить связь типов между несколькими аргументами, его проектируют с именованным параметром типа T, а не пытаются использовать wildcard как замену этому имени. Так сохраняется типобезопасность без необоснованных приведений типов.

Что кандидаты часто упускают

1. Является ли List<?> тем же самым, что List<Object>?

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

2. Можно ли передать List<?> в обобщённый метод без явного аргумента типа?

Во многих случаях да. Компилятор выполняет захват wildcard и выводит внутренний тип, например условный CAP#1. Это не противоречит запрету на запись wildcard в явной позиции: автоматический захват — внутренняя операция компилятора, а не выбор wildcard как конкретного аргумента разработчиком.

3. Когда вместо wildcard нужен именованный параметр типа?

Именованный T нужен, когда необходимо выразить связь между несколькими позициями API или сохранить тип в результате. Wildcard подходит для независимого ограничения одной позиции, например «коллекция некоторого подтипа Number»; T нужен для требования «оба параметра имеют один и тот же конкретный тип».