Объясните, в какой момент Go проверяет соответствие обобщённого типа интерфейсу.
Для обобщённого типа соответствие интерфейсу проверяется не при объявлении типа как абстрактного шаблона, а для конкретной инстанциации, когда она используется там, где требуется интерфейс. Поэтому разные подстановки параметра типа могут по-разному удовлетворять одному интерфейсу.
Интерфейсы в Go основаны на структурной типизации: типу не нужно явно объявлять реализацию интерфейса, достаточно иметь требуемый набор методов. Generics добавляют параметризованные типы, но не отменяют это правило: после подстановки параметров получается конкретный тип, для которого и анализируется методный набор.
Такой подход позволяет писать один обобщённый тип и сохранять статическую проверку его совместимости с интерфейсами для каждой конкретной подстановки.
Обобщённый тип может объявить метод, использующий параметр типа в сигнатуре. После инстанциации сигнатура метода будет зависеть от аргумента типа, поэтому одна инстанциация способна удовлетворять интерфейсу, а другая — нет.
Ошибочно считать, что интерфейс проверяется один раз для всего шаблона. Это может привести к неверному ожиданию, что любой Holder[T] совместим с интерфейсом, хотя требуемый интерфейс фиксирует конкретный тип параметра.
Рассмотрим тип с методом Put(T). Для Holder[int] этот метод имеет сигнатуру Put(int), а для Holder[string] — Put(string). Интерфейс с методом Put(int) совместим только с первой инстанциацией.
Объявление Holder[T] само по себе не является завершённым конкретным типом. При подстановке T = int компилятор формирует методный набор Holder[int] и сравнивает его с Sink: имена методов, число параметров и их типы должны совпасть точно.
Подстановка не допускает ковариантность или автоматическое приведение типов. Например, Holder[MyInt] с методом Put(MyInt) не удовлетворяет Sink, требующему Put(int), даже если MyInt имеет базовый тип int.
При использовании значения в присваивании интерфейсной переменной или в качестве аргумента интерфейсного типа проверка выполняется статически. Если конкретная инстанциация не имеет нужного метода, программа не компилируется; динамическая проверка через type assertion здесь не заменяет проверку типов.
Библиотека хранит обобщённые обработчики и хочет передавать числовые обработчики через интерфейс Sink, принимающий int. Вариант с методом Put(T) удобен тем, что сохраняет типобезопасность для каждого T, но ограничивает совместимость ровно теми инстанциациями, где T равен int.
Можно объявить метод с параметром any, чтобы принимать больше значений, но тогда интерфейс Sink с методом Put(int) всё равно не будет реализован: сигнатуры методов в Go не совместимы по принципу «более общего параметра». Можно также сделать интерфейс обобщённым, например Sink[T], если потребителю важно сохранить тип параметра; это обычно наиболее точное решение, но требует передавать конкретную инстанциацию интерфейса по всей цепочке вызовов.
В выбранном варианте оставляют Sink с int и явно используют Holder[int]. Результат — проверяемая на этапе компиляции совместимость без преобразований и без риска передать обработчик для другого типа данных.
Holder[MyInt] реализовать интерфейс с методом Put(int), если MyInt основан на int?Нет. После инстанциации метод имеет сигнатуру Put(MyInt). Для реализации интерфейса сигнатуры должны совпадать точно; совпадение базовых типов или возможность преобразования значения не учитываются.
Holder[int] в any?Нет. Если значение присваивается интерфейсу, компилятор заранее проверяет, что конкретный тип имеет нужный методный набор. Во время выполнения интерфейс сохраняет динамический тип и значение, но не выполняет повторную проверку уже гарантированной компилятором реализации.
Holder[T] удовлетворять интерфейсу с методом, использующим ограничение параметра вместо самого T?Нет, ограничение не подставляется в сигнатуру метода. Если T ограничен, например, интерфейсом Number, это лишь определяет допустимое множество аргументов типа и доступные операции внутри обобщённого кода. Метод Put(T) после инстанциации получает конкретный тип аргумента, а не тип ограничения Number.