Два слова интерфейса

Два слова

На уровне языка интерфейс — логическая пара: динамический тип и значение. Как именно эта пара устроена в памяти — деталь реализации runtime, и она может меняться; текущая раскладка полезна как модель для понимания typed nil, но не является языковой гарантией.

// упрощённо
type iface struct {
    tab  *itab     // тип
    data unsafe.Pointer // данные
}

В текущей реализации интерфейс хранит динамический тип (что за значение внутри) и указатель на данные. Поэтому передача интерфейса по значению дёшева: копируются два слова, сам объект остаётся на месте. Именно поэтому persist(st Storage,...) из прошлого урока не гоняет бэкенд целиком.

В интерфейс кладётся копия

type Namer interface{ Name() string }
type FileMeta struct{ Name string }
func (f FileMeta) Name() string { return f.Name }

f := FileMeta{Name: "report.pdf"}
var n Namer = f // в n — копия f

Для значения конкретного типа в интерфейс попадает копия. Для указателей исключения нет — копируется сам указатель.

Any — интерфейс без методов

var a any = "строка"
a = 42
a = FileMeta{Name: "bob"}

any — это интерфейс без методов: контракт без требований. Ему удовлетворяет любой тип. Полезно для «передать что угодно», но платить приходится потерей информации о типе — достать значение обратно можно только через type assertion (урок).