Как работают встраиваемые структуры (embedding) в Go

Что проверяют

Понимаете ли вы, что встраивание это композиция с продвижением полей и методов, а не наследование. Следом обычно спрашивают, реализует ли структура интерфейс через встроенный тип и что будет при совпадении имён.

Как отвечать

Встраивание это поле без имени: type Person struct { Address; Name string }. Имя поля совпадает с именем типа, так что встроенное значение доступно как p.Address.

• продвижение: поля и методы встроенного типа доступны напрямую, p.City и p.Validate(). Это синтаксический сахар, компилятор сам подставляет p.Address.City;
• нет виртуальности: продвинутый метод получает в качестве получателя Address, а не Person. Если внутри Address.Describe() вызывается a.Label(), выполнится метод Address, даже если у Person есть свой Label();
• наборы методов: при встраивании T методы с получателем T есть и у S, и у *S, а методы с получателем *T только у *S. При встраивании *T оба набора получают всё. Отсюда вопрос, реализует ли интерфейс значение или только указатель;
• интерфейсы: встроенный тип может сделать внешнюю структуру реализацией интерфейса. Интерфейсы встраиваются и в интерфейсы (io.ReadWriter собран из io.Reader и io.Writer), и в структуры, это частый приём в тестах, когда нужно переопределить один метод из десяти;
• совпадение имён: имя на меньшей глубине скрывает более глубокое, поле Person.City перекроет Address.City. Два одинаковых имени на одной глубине допустимы, пока к ним не обратиться: обращение не скомпилируется;
• encoding/json: поля встроенной структуры без собственного тега попадают в JSON на верхний уровень, как будто объявлены во внешней.

Где спотыкаются

Называют встраивание наследованием и ждут переопределения, как в Java. Методы встроенного типа ничего не знают о внешней структуре.

Встраивают sync.Mutex в экспортируемый тип: Lock и Unlock становятся частью его публичного API. Лучше именованное поле mu sync.Mutex, а копирование структуры с мьютексом поймает go vet.

Встраивают интерфейс в структуру и не присваивают ему значение. Вызов метода, который структура сама не реализовала, падает с паникой из-за nil.