Что хотят услышать интервьюеры:

В Go тип интерфейса обычно проверяют через type assertion или type switch. Если нужен сам факт реализации интерфейса, это чаще проверяют не в рантайме, а через присваивание в переменную интерфейсного типа или через compile-time проверку. Для сравнения с конкретным типом reflect обычно не нужен.

Определение:

В Go значение типа interface{} или интерфейса с методами хранит конкретный динамический тип и значение. Проверка типа интерфейса означает выяснить, какой именно тип находится внутри интерфейса, либо соответствует ли значение нужному интерфейсу.

Есть три распространённых подхода:

type assertion — проверить, что внутри интерфейса лежит конкретный тип
type switch — выбрать ветку по конкретному типу
compile-time проверка — убедиться, что тип реализует интерфейс ещё до запуска программы

Пример использования:

package main

import "fmt"

type Reader interface {
	Read() string
}

type File struct{}

func (File) Read() string { return "file data" }

func main() {
	var v interface{} = File{}

	// Проверка конкретного типа
	if f, ok := v.(File); ok {
		fmt.Println("Это File:", f.Read())
	}

	// Проверка через type switch
	switch t := v.(type) {
	case File:
		fmt.Println("type switch: File", t.Read())
	case string:
		fmt.Println("type switch: string", t)
	default:
		fmt.Println("неизвестный тип")
	}

	// Проверка, что тип реализует интерфейс, на этапе компиляции
	var _ Reader = File{}
}

Пояснение кода:

В этом примере v имеет тип interface{}, но внутри лежит значение File{}.

Сначала используется type assertion:

v.(File) пытается извлечь конкретный тип File
ok показывает, удалось ли это без паники
если тип совпал, можно вызвать метод Read()

Затем используется type switch:

switch t := v.(type) позволяет проверить, какой конкретный тип лежит в интерфейсе
каждая ветка case обрабатывает свой тип
это удобно, когда возможных типов несколько

Последняя строка:

var _ Reader = File{}
это способ проверки на этапе компиляции
если File перестанет реализовывать Reader, код не скомпилируется

Код не требуется для проверки реализации интерфейса через reflection, потому что для этой задачи достаточно стандартных механизмов Go: type assertion, type switch и compile-time check.

Ключевые моменты:

type assertion используют, чтобы проверить конкретный динамический тип внутри интерфейса.
type switch удобен, когда нужно обработать несколько возможных типов.
Для проверки реализации интерфейса лучше использовать компилятор, а не reflect.
Проверка var _ Interface = Type{} — простой и распространённый способ catch-нуть ошибку на этапе сборки.
Если type assertion без ok, при несовпадении типов будет panic.

Как можно проверить тип интерфейса в Go?