Интерфейсы

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

Go использует структурную типизацию (duck typing): если тип имеет все методы интерфейса, он его реализует. Не нужно писать implements. Тип может реализовать интерфейс из другого пакета, не зная о нём.

interface{} (или any с Go 1.18) не содержит методов, поэтому любой тип его реализует. Используется для хранения значений произвольного типа. Для извлечения конкретного типа нужен type assertion.

Однозначный type assertion x.(int) вызывает panic, если тип не совпадает. Безопасная форма v, ok := x.(int) возвращает ok = false и zero value, без паники.

any - встроенный алиас для interface{}, введённый в Go 1.18 для краткости. func Print(v any) читается лучше, чем func Print(v interface{}). Функционально они идентичны.

io.Reader содержит только один метод: Read(p []byte) (n int, err error). Минимальные интерфейсы с одним методом - философия Go. io.Writer тоже содержит только Write. Маленькие интерфейсы проще реализовать и комбинировать.

Type assertion проверяет, что интерфейсная переменная содержит значение конкретного типа, и извлекает его. v := x.(int) - если x не содержит int, будет panic. Безопасная форма: v, ok := x.(int).

Type switch позволяет выполнять разный код в зависимости от конкретного типа значения в интерфейсе: switch v := x.(type) { case int: ... case string: ... }. Удобнее цепочки type assertions.

Интерфейс - структура из двух указателей (type + value, 16 байт), поэтому передавать *MyInterface почти никогда не нужно. Это распространённая ошибка новичков. Передавайте интерфейс по значению - он уже легковесный.

Go best practice: интерфейс определяется потребителем, а не реализацией. Пакет-реализация возвращает конкретный тип. Потребитель определяет минимальный интерфейс, который ему нужен.

Интерфейс хранит пару (тип, значение). Он nil только когда оба компонента nil. Частая ловушка: var p *MyStruct = nil; var i interface{} = p; i != nil - true! Потому что тип (*MyStruct) не nil.

String() определён на *S (pointer receiver). Значение S{} имеет только value receiver методы, а *S - и value, и pointer. S не реализует Stringer, а *S реализует. Исправление: var _ fmt.Stringer = &S{}.

Интерфейсы можно сравнивать оператором ==, и код скомпилируется. Но если конкретный тип внутри интерфейса не поддерживает сравнение (слайсы не сравнимы), произойдёт panic: comparing uncomparable type []int.

Интерфейс можно встроить в структуру. Структура будет иметь все методы интерфейса и формально его реализовывать. Но если встроенному полю не присвоить конкретное значение, вызов метода приведёт к panic (nil pointer). Этот паттерн используется для декорирования.

Непустой интерфейс - структура iface из двух указателей: itab (информация о типе + таблица методов) и data (указатель на значение). Пустой интерфейс (any) - структура eface: только _type + data. Размер интерфейса - 16 байт на 64-bit.

false! Интерфейс == nil только когда оба поля (type и value) равны nil. При присвоении *int(nil) интерфейсу, type заполняется (*int), а value = nil. Интерфейс 'знает' свой тип, поэтому не nil. Частая ловушка при возврате ошибок: return (*MyError)(nil) != nil как error.