Как работает escape analysis для оптимизации?

Escape analysis определяет, может ли переменная жить на стеке или должна уйти на хип. go build -gcflags="-m" покажет решения компилятора. Если объект не "убегает" из функции — стек, бесплатная аллокация. Возвращаешь указатель, передаёшь в интерфейс, замыкание — escape на хип. Зная это, можно писать код, который меньше аллоцирует.