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

Go выводит для параметра тот тип, который виден в статическом типе аргумента, а не фактический динамический тип значения внутри интерфейса. Поэтому при передаче переменной интерфейсного типа параметр типа обычно становится самим этим интерфейсным типом.

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

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

Вывод типа задуман как статический механизм компилятора. Он не выполняет анализ значения во время работы программы и не извлекает из интерфейса его динамический тип ради выбора параметра типа.

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

Интерфейсное значение состоит из статического интерфейсного типа и динамической пары «конкретный тип плюс значение». Эти сведения не следует смешивать: динамический тип используется виртуальным вызовом методов и проверками, но не меняет уже выведенный параметр обобщённой функции.

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

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

Рассмотрим минимальный пример:

type Stringer interface { String() string }
type item struct{}
func (item) String() string { return "item" }

func Keep[T Stringer](v T) T { return v }

func main() {
    var s Stringer = item{}
    a := Keep(s)
    b := Keep(item{})
    _, _ = a, b
}

В вызове Keep(s) компилятор видит аргумент как Stringer, поэтому T выводится как Stringer. Переменная a имеет статический тип Stringer, хотя её динамическое значение сейчас имеет тип item.

В вызове Keep(item{}) аргумент имеет статический тип item, поэтому T выводится как item, а b получает именно этот статический тип. Ограничение Stringer проверяет допустимость выбранного T, но не заменяет его на более конкретный динамический тип.

Во время вызова метода через a по-прежнему будет выбрана реализация для динамического типа item. Однако это механизм интерфейсной диспетчеризации, а не вывод параметра типа: после компиляции T уже определён.

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

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

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

Первый вариант — передать интерфейс напрямую. Он прост, не требует проверок и корректно использует методы интерфейса, но результат также будет иметь интерфейсный статический тип.

Второй вариант — заранее выполнить type assertion или использовать type switch, получить конкретный тип и передать его в обобщённую функцию. Это даёт конкретную типизацию внутри соответствующей ветки, но добавляет ветвление, обработку несовпадения типов и усложняет код.

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

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

Может ли компилятор вывести конкретный динамический тип интерфейсного значения?

Нет. Вывод параметров типа использует статические типы выражений, доступные компилятору в месте вызова. Динамический тип интерфейса становится известен только во время выполнения, поэтому он не может участвовать в выборе T.

Меняет ли методное ограничение интерфейса результат вывода типа?

Нет. Ограничение отвечает на вопрос, допустим ли уже выбранный тип: имеет ли он требуемые методы или входит ли в разрешённый набор типов. Если аргумент статически имеет тип интерфейса, соответствующий параметр всё равно может быть выведен как этот интерфейс.

Как получить конкретный тип перед вызовом обобщённой функции?

Нужно явно проверить или извлечь динамическое значение через type assertion либо type switch. После успешной проверки выражение имеет конкретный статический тип, и именно его можно передать для вывода T; при несовпадении необходимо отдельно выбрать обработку ошибки или другую ветку.