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

Java запрещает такие перегрузки из-за стирания типов. После компиляции параметры Список<Строка> и Список<Число> имеют одну и ту же JVM-сигнатуру — Список, поэтому методы нельзя однозначно различить на уровне байткода.

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

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

Такой подход позволил старому и новому коду взаимодействовать без обязательного изменения существующих классов. Компромисс состоит в том, что некоторые конструкции, естественные для обобщённого исходного кода, невозможно выразить в сигнатурах методов.

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

Предположим, API хочет отдельно обрабатывать список строк и список чисел, объявив две перегрузки. Для вызывающего кода это выглядело бы различимо по типам элементов, но JVM не использует эти параметры при различении методов.

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

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

Для перегрузки Java должна получить разные сигнатуры методов. Однако параметризованные типы не участвуют в сигнатуре после стирания: Список<Строка> и Список<Число> превращаются в один сырой тип Список.

import java.util.List;

class Processor {
    void process(List<String> values) {}
    void process(List<Integer> values) {}
}

Такой класс не компилируется: после стирания оба метода имеют конфликтующую сигнатуру process(List). Разные возвращаемые типы не исправили бы ситуацию, поскольку возвращаемый тип не используется для выбора перегрузки.

Рабочие варианты — изменить имя метода, добавить различающий параметр другого типа или использовать один обобщённый метод. Последний вариант сохраняет единый контракт, но может потребовать проверки типа элементов во время выполнения, если логика действительно зависит от их конкретного класса.

Стирание также означает, что нельзя надёжно проверить параметр типа через обычную конструкцию instanceof, например определить, является ли объект именно списком строк: во время выполнения доступен только тип Список. Для таких случаев применяют явный объект типа, отдельный параметр, специализированный класс или другой дизайн API.

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

В библиотеке обработки данных понадобились разные правила для списка строк и списка чисел. Команда рассматривала два варианта: две перегрузки с параметризованными списками и единый метод с параметром-режимом.

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

Выбрали два явно названных метода, отражающих разные операции. Это немного увеличило поверхность API, зато сделало контракт однозначным, сохранило статическую проверку типов и не зависело от недоступной во время выполнения информации об аргументе типа.

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

Можно ли различить такие методы разными возвращаемыми типами?

Нет. Java не разрешает методы, отличающиеся только возвращаемым типом, потому что вызов метода не выбирается по контексту возвращаемого значения. Кроме того, после стирания параметров у рассматриваемых методов всё равно остаётся одинаковая сигнатура.

Сохраняется ли параметр обобщённого типа где-либо после компиляции?

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

Почему один обобщённый метод иногда может безопасно обработать разные типы элементов?

Потому что его контракт может быть параметризован типом вызова, а сама реализация — не зависеть от конкретного класса элемента. Если же реализация должна различать строки и числа во время выполнения, одного параметра типа недостаточно: стирание скрывает эту информацию, поэтому её передают явно или используют специализированные методы и классы.