Каким образом происходит выделение и управление памятью при объединении двух строк в программировании?

В Go строки являются неизменяемыми (immutable). При объединении двух строк создаётся новая строка, в памяти выделяется новый блок, достаточный для хранения результата, и копируются символы из обеих исходных строк.

Пример:

s1 := "Hello, "
s2 := "world!"
s3 := s1 + s2 // создаётся новая строка с содержимым "Hello, world!"

Под капотом происходит выделение памяти под новую строку длиной len(s1)+len(s2), затем копирование байтов из s1 и s2 в новый буфер. Исходные строки остаются без изменений. Это важно учитывать при частом конкатенировании строк, чтобы избежать лишних аллокаций — для этого используют strings.Builder.