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

Нет, wildcard нельзя указывать в списке extends или implements. Класс должен наследовать или реализовывать конкретную параметризацию, например Box<String>, либо передавать собственный параметр типа: Box<T>.

Wildcard предназначен для использования типов в переменных, параметрах и возвращаемых значениях, но не для объявления фиксированного суперкласса или супертипа.

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

Generics появились в Java 5, чтобы добавить статическую проверку типов без отказа от совместимости существующего кода и байткода. Одной из целей было выразить связи между типами, например реализовать интерфейс с тем же параметром типа, который получает обобщённый класс.

Wildcard решает другую задачу: описывает использование объекта с неизвестным параметром типа. Это механизм гибкости на стороне использования типа, а не способ объявить неизвестный суперинтерфейс класса.

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

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

Box<?> означает «Box с некоторым неизвестным параметром», причём этот параметр может быть разным у разных объектов. Такая запись подходит для работы с уже существующим объектом, но не задаёт конкретный тип, который класс реализует для всех своих экземпляров.

Попытка использовать wildcard в extends или implements приводит к ошибке компиляции. Замена wildcard на Object не является эквивалентом: из-за инвариантности Box<Object> и Box<String> — разные, несовместимые параметризации.

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

Корректные варианты фиксируют параметризацию или связывают её с параметром объявляемого класса:

interface Box<T> {
    T get();
}

// class AnyBox implements Box<?> {} // ошибка компиляции
class StringBox implements Box<String> {
    public String get() { return "value"; }
}
class GenericBox<T> implements Box<T> {
    public T get() { return null; }
}

StringBox является реализацией именно Box<String>. GenericBox<T> реализует Box<T>, поэтому конкретный параметр определяется при использовании класса, например как GenericBox<Integer>.

Если нужно принять любой объект Box, wildcard используется в сигнатуре метода: параметр типа Box<?> позволяет передать Box<String>, Box<Integer или другую параметризацию. При этом значение из такого объекта обычно можно безопасно читать только как Object, поскольку конкретный параметр неизвестен.

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

Ограничение связано с системой типов на уровне исходного кода, а не со стиранием типов. После стирания разные параметризации могут использовать одну JVM-представленную форму, но компилятор всё равно обязан построить корректную статическую иерархию до стирания.

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

Библиотека предоставляет контейнеры Box<T>. Разработчик хочет создать универсальный адаптер, который «реализует Box с любым параметром». Вариант с implements Box<?> не компилируется.

Возможны три решения:

Зафиксировать тип, например implements Box<String>. Это просто и даёт точный API, но ограничивает адаптер одним типом.
Сделать адаптер обобщённым, то есть GenericBox<T> implements Box<T>. Это сохраняет типобезопасность и связь между входом и результатом, но требует передавать параметр типа.
Не реализовывать Box, а принимать Box<?> в методах адаптера. Это подходит, если адаптеру достаточно читать значения как Object, однако он теряет информацию о конкретном типе.

Обычно выбирают обобщённый адаптер: он позволяет переиспользовать реализацию и не разрушает типовую информацию. Box<?> оставляют для операций, которым конкретный параметр не нужен.

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

Означает ли Box<?> то же самое, что класс, реализующий Box с неизвестным типом?

Нет. Box<?> — тип выражения или параметра, описывающий конкретный объект Box с неизвестным извне параметром. Это не объявление нового класса и не элемент иерархии наследования. Класс должен иметь конкретный супертип или параметр типа, связывающий его с этим супертипом.
Почему нельзя заменить Box<?> на Box<Object>?

Потому что Box<Object> означает контейнер, который действительно может содержать значения типа Object. Box<String> не является его подтипом: generics в Java инвариантны. Box<?>, напротив, совместим с любой параметризацией Box, но запись в него ограничена, поскольку фактический параметр неизвестен.
Можно ли сохранить универсальность через параметр типа класса?

Да. Объявляется обобщённый класс, реализующий интерфейс с тем же параметром: GenericBox<T> implements Box<T>. Тогда для каждого экземпляра параметр фиксируется конкретным типом, но сама реализация остаётся универсальной. Это отличается от wildcard тем, что T можно использовать согласованно в нескольких членах класса и возвращать как конкретный тип для GenericBox<String>.