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

Тип ключа map должен быть сравнимым: для его значений должна существовать операция ==. Поэтому ключами могут быть числа, строки, указатели, каналы, массивы и структуры с сравнимыми элементами. Срезы, map и функции ключами быть не могут.

Для интерфейсного типа есть дополнительный риск: сам интерфейс сравним, но операция с конкретным значением внутри него завершится паникой, если это значение содержит несравнимый динамический тип.

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

Хеш-таблица должна уметь определить, совпадает ли искомый ключ с уже сохранённым. Для этого Go требует не только вычислимый хеш, но и определённое равенство ключей.

Такое правило делает поведение map предсказуемым: одинаковые ключи должны однозначно сопоставляться с одной записью. Типы без операции ==, например срезы, не могут удовлетворить этому требованию.

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

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

Структура также не всегда пригодна: если хотя бы одно её поле имеет несравнимый тип, сама структура становится несравнимой. Ошибка в выборе ключа обнаружится уже на этапе компиляции, а для интерфейсного ключа иногда только во время выполнения.

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

Сравнимость распространяется рекурсивно. Массив сравним, если сравним его элемент; структура сравнима, если сравнимы все её поля. В частности, массив байтов можно использовать как ключ, а срез байтов — нельзя.

Интерфейсный тип допускается как тип ключа, поскольку интерфейсные значения в языке сравнимы. Но при обращении к map Go сравнивает динамические значения внутри интерфейсов. Если там окажется срез, map или функция, возникнет паника comparing uncomparable type.

package main

type UserKey struct {
    Tenant string
    ID     uint64
}

var users = map[UserKey]string{}
var bad = map[[16]byte]string{}
// var invalid = map[[]byte]string{} // срез несравним

func main() {}

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

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

Сервис кэширует результаты по идентификатору, полученному из сетевого запроса как []byte. Первый вариант — использовать map[string]Result и преобразовывать идентификатор в строку. Это просто и безопасно, но преобразование может создавать дополнительное значение.

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

Использовать map[interface{}]Result как универсальное решение не следует: оно скрывает тип ключа и позволяет передать несравнимое динамическое значение, вызвав панику в рабочем коде. Практичный выбор — конкретный тип ключа, соответствующий доменной модели; для фиксированного бинарного идентификатора предпочтителен массив, для текстового — строка.

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

Почему структура с полем-срезом не может быть ключом map?

Сравнимость структуры определяется всеми её полями. Поскольку срез нельзя сравнивать с другим срезом оператором ==, структура, содержащая такое поле, также несравнима. Наличие других сравнимых полей это правило не меняет.
Можно ли использовать интерфейс как ключ map, если его статический тип сравним?

Да, объявление такой map допустимо. Однако каждая конкретная операция чтения, записи или удаления сравнивает динамические значения ключей. Если динамическое значение имеет тип среза, map или функции, операция может завершиться паникой, поэтому интерфейсный ключ не гарантирует безопасную работу для любых значений.
Почему массив байтов подходит как ключ, а срез байтов — нет?

Массив содержит фиксированное число элементов и сравнивается поэлементно, если сравним его элемент. Срез состоит из указателя на массив, длины и вместимости, но Go не определяет для срезов содержательное сравнение через ==; разрешено только сравнение с nil. Поэтому [32]byte может быть ключом, а []byte — нет.