Структуры и методы

struct — это составной тип, группирующий именованные поля, каждое со своим типом. Это значимый тип: присваивание или передача копирует все поля. struct поддерживает встраивание (композицию), методы и теги полей. Его нулевое значение имеет каждое поле в собственном нулевом значении, а две struct сравнимы через ==, когда все их поля сравнимы.

В Go нет конструкторов. Идиома — это обычная фабричная функция, по соглашению NewT(...), которая принимает входные данные, проверяет их и возвращает инициализированный *T или T. Это рядовая функция, а не особый синтаксис — ничто не заставляет вызывающих её использовать. Часто нулевое значение struct уже пригодно к работе, так что конструктор вообще не нужен; NewT пишут лишь тогда, когда при создании надо проверить входы или задать ненулевые умолчания.

Встраивание помещает тип как безымянное поле, например struct{ A }, что продвигает поля и методы A на внешнюю struct, так что к ним можно обращаться напрямую. Это композиция, А НЕ наследование: нет полиморфизма и нет виртуальной диспетчеризации — внешний тип не является подтипом A. Собственный член с тем же именем затеняет встроенный, а до встроенного значения всё ещё можно добраться явно через имя его типа, например outer.A.

Метод — это функция с дополнительным параметром-получателем, записанным перед именем, например func (c Counter) Inc(). Получатель привязывает метод к именованному типу — обычно к struct — объявленному в том же пакете, и вызывают его как c.Inc(). У обычной функции получателя нет, и её вызывают по голому имени. То есть метод — это просто функция, чей первый аргумент и есть получатель, но с более удобным синтаксисом вызова и набором методов на типе.

Используйте pointer-получатель, когда метод должен изменять получателя, ведь value-получатель получает лишь копию, и изменение теряется. Используйте его и когда struct большая, чтобы не копировать каждое поле при каждом вызове, или ради единообразия, когда часть методов типа уже требует указателя — смешивать виды получателей не рекомендуется. Value-получатель подходит для маленьких неизменяемых типов, где копия дёшева и безопасна, и оставляет значение пригодным при конкурентном чтении.

Печатает foo. Вызов метода — это сахар для передачи получателя аргументом, а у Set значимый получатель, поэтому b — копия: b.Value = s меняет копию, а оригинал не трогается. Даже передача &bs всё равно напечатает foo, ведь Set копирует значение в любом случае. Исправление: сделать Set с указательным получателем, func (b *BasicStruct) Set(s string), и передавать &bs.