Краткий ответ

Преобразование строки в []byte создаёт срез с независимым содержимым: изменение его элементов не изменяет исходную строку. Строка остаётся неизменяемым значением, а полученный срез можно изменять.

package main

import "fmt"

func main() {
    text := "go"
    data := []byte(text)
    data[0] = 'G'

    fmt.Println(text) // go
    fmt.Println(string(data)) // Go
}

Исторический контекст

В модели Go string предназначен для неизменяемого текста, а []byte — для изменяемого набора байтов. Такое разделение позволяет безопасно использовать строки как значения и отдельно работать с буферами при вводе-выводе, сериализации и обработке сетевых данных.

Преобразование между этими типами служит явной границей между неизменяемым текстом и изменяемыми данными. Оно не меняет семантику исходного значения и не даёт срезу скрытого доступа к изменяемой памяти строки.

Постановка проблемы

Если разработчик ошибочно предполагает, что строка и полученный из неё срез используют одно изменяемое хранилище, он может ожидать изменения строки после записи в срез. В Go это неверно: строковые значения нельзя изменять через срез байтов.

Обратная проблема тоже важна: преобразование требует получить представление данных в другом типе. На горячем участке кода частые преобразования могут увеличить количество копирований и нагрузку на память, поэтому их следует выполнять осознанно.

Подробное решение

При преобразовании string → []byte результат содержит те же байты, но является отдельным изменяемым срезом. Изменение, добавление элементов или передача этого среза функции не меняют исходную строку.

Гарантия относится к наблюдаемому поведению программы. Компилятор может оптимизировать реализацию и избежать физического копирования, если это безопасно, но такая оптимизация не должна сделать изменение среза видимым через строку.

Обратное преобразование []byte → string также даёт строковое значение с соответствующим содержимым. После этого изменения исходного среза не должны менять уже созданную строку. Если данные нужно многократно изменять, обычно лучше хранить их как []byte, а преобразование в строку выполнять на границе API или перед выводом.

Важно учитывать, что срез имеет заголовок с указателем на массив, длиной и ёмкостью. Независимость преобразованного среза от строки не означает независимость копий самого среза: обычное присваивание среза копирует только его заголовок, и два таких среза могут совместно изменять один массив.

Ситуация из практики

Сетевой обработчик получает строковый идентификатор, временно добавляет к нему служебный байт и передаёт результат в функцию записи. Вариант с преобразованием строки в []byte прост и прозрачен, но создаёт отдельное представление данных. Вариант с постоянным использованием строк удобнее для неизменяемого текста, однако плохо подходит для последовательных изменений; bytes.Buffer или strings.Builder эффективнее при построении результата из множества частей, но решают уже задачу накопления, а не произвольного редактирования готового массива.

Если служебная модификация выполняется один раз, выбранное преобразование в []byte оправдано: оно явно показывает смену семантики и не создаёт зависимости между буфером и исходной строкой. При обнаружении частых преобразований в профиле следует изменить границы API и передавать байтовый буфер напрямую. Это уменьшает лишние копирования, сохраняя корректность.

Что кандидаты часто упускают

Вопрос: Можно ли изменить строку через срез, полученный из неё преобразованием?

Ответ: Нет. Полученный []byte — самостоятельный изменяемый срез. Запись в него меняет только его содержимое; строка остаётся прежней.
Вопрос: Обязательно ли каждое преобразование между string и []byte физически выделяет новую память?

Ответ: На уровне семантики нужно рассуждать так, будто данные независимы. Компилятор вправе применить оптимизацию без копирования, если она не меняет наблюдаемое поведение, например когда результат не изменяется или не выходит за безопасную область использования. Полагаться на совместное хранилище нельзя.
Вопрос: Почему присваивание одного []byte другому не даёт такой же независимости, как преобразование из string?

Ответ: Присваивание среза копирует его заголовок, но не массив элементов. Поэтому оба среза обычно обращаются к одному массиву и видят изменения друг друга. Для независимой копии нужен явный перенос элементов в новый массив, например через выделение среза нужной длины и copy.