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

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

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

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

В Java 8 механизм вывода был расширен: для некоторых выражений компилятор стал учитывать ожидаемый тип результата. Это уменьшает многословность API, но требует понимать, когда контекст действительно участвует в выводе, а когда нет.

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

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

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

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

Компилятор формирует ограничения для неизвестного параметра типа метода. Источниками ограничений могут быть типы аргументов, явные параметры типа и целевой тип выражения. Если вызов используется как выражение с ожидаемым типом результата, этот тип также учитывается при выборе решения.

class Factory {
    static <T> T create() {
        return null;
    }

    public static void main(String[] args) {
        String text = Factory.create();
        Object value = Factory.create();
        var inferred = Factory.create();
    }
}

В первом присваивании целевой тип String позволяет вывести T как String. Во втором T выводится как Object. В третьем var не задаёт внешний целевой тип для вызова; локальная переменная получает тип, выведенный самим выражением, обычно Object для такого неограниченного параметра.

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

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

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

В библиотеке есть обобщённая фабрика результата, которая не принимает объект создаваемого типа, а возвращает его через общий метод. Разработчик использует вызов в присваивании конкретному типу и ожидает, что компилятор сам выберет нужный параметр.

Рассматривались варианты:

Явно указывать параметр типа в каждом вызове. Это максимально прозрачно, но увеличивает шум и дублирование.
Полагаться на вывод из целевого типа. Код короче, а компилятор проверяет совместимость, но понимание зависит от знания правил вывода.
Использовать var. Запись короче, однако она не передаёт вызову ожидаемый тип и может привести к слишком общему результату.

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

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

1. Участвует ли тип аргумента всегда сильнее целевого типа?

Нет. Компилятор учитывает все доступные ограничения, а не применяет простое правило приоритета. Если аргумент фиксирует параметр как Integer, целевой тип Number обычно совместим с этим выбором; если целевой тип требует несовместимый результат, вывод завершается ошибкой, а не выполняется произвольное расширение.

2. Почему var не помогает вывести тип из левой части?

var не является конкретным целевым типом. Он просит компилятор вывести тип локальной переменной из инициализирующего выражения, поэтому сначала должен быть выведен тип самого вызова. Если аргументы не дают информации о T, результат может оказаться Object или другим наиболее общим допустимым типом.

3. Можно ли считать тип результата доказательством фактического типа объекта?

Нет. Вывод параметра типа является статической проверкой типов, а не созданием объекта и не проверкой его класса во время выполнения. Из-за стирания типов параметры generics в основном недоступны во время выполнения, поэтому корректность вывода не отменяет возможных особенностей реализации метода, включая возврат null или объекта, совместимого только с объявленным контрактом.