Библиотека Go для собеса | вопросы с собеседований

💬Как можно гарантировать, что тип удовлетворяет интерфейсу?



Мы можем «попросить» компилятор проверить, реализует ли тип T интерфейс I, попытавшись выполнить присваивание с использованием нулевого значения для T или указателя на T, в зависимости от ситуации:

type T struct{}

var _ I = T{}       // Проверяем, реализует ли T интерфейс I

var _ I = (*T)(nil) // Проверяем, реализует ли *T интерфейс I

Если T (или *T соответственно) не реализует I, ошибка будет обнаружена во время компиляции. Если мы хотим, чтобы реализация интерфейса была более очевидной, мы можем включить в определение интерфейса специальный метод с уникальным названием.



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

type Fooer interface {

    Foo()

    ImplementsFooer()

}

Тип должен тогда реализовать метод ImplementsFooer, чтобы быть Fooer, ясно документируя этот факт и объявляя его в выводе go doc.

type Bar struct{}

func (b Bar) ImplementsFooer() {}

func (b Bar) Foo() {}

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