Вопросы на собеседовании: Go-разработчик

Предопределённые базовые типы Go делятся на логические, числовые и строковые.

• bool представляет значения true и false.
• К числовым типам относятся знаковые и беззнаковые целые числа, числа с плавающей точкой и комплексные числа.
• string представляет неизменяемую последовательность байтов.

Обе формы объявляют переменные, но различаются правилами области видимости и указания типа.

• var работает на уровне пакета или функции и может включать явный тип, начальное значение либо и то и другое.
• Объявление var без явного типа выводит его из начального значения, а без начального значения использует zero value этого типа.
• := работает только внутри функций и всегда выводит типы объявляемых переменных.
• Короткое объявление нескольких переменных может повторно использовать переменные из того же блока, только если хотя бы одна переменная, кроме _, является новой.

Нулевое значение присваивается переменной по умолчанию, если она создана без явного начального значения.

• Логические значения по умолчанию равны false, числовые равны 0, а строки являются пустыми.
• Указатели, срезы, карты, функции, каналы и интерфейсы по умолчанию равны nil.
• Каждый элемент массива изначально содержит нулевое значение типа элемента.
• Каждое поле структуры изначально содержит нулевое значение типа поля.

Константы Go могут быть нетипизированными или явно типизированными, а iota помогает создавать связанные наборы констант.

• Нетипизированная константа сохраняет абстрактный вид константы, пока контекст не потребует конкретный тип.
• Типизированная константа имеет явный тип из объявления, и её значение должно быть представимо этим типом.
• Значения констант фиксируются во время компиляции и не могут изменяться после объявления.
• Внутри блока const значение iota начинается с 0 и увеличивается на 1 для каждого следующего объявления константы.

Явное преобразование в Go применяет целевой тип в форме T(value).

• Go не выполняет неявные преобразования между разными числовыми типами, например int32 и int64.
• Исходное значение должно допускать преобразование в целевой тип по правилам языка.
• При преобразовании числа с плавающей точкой в целое дробная часть отбрасывается.
• Сужение диапазона или смена числового представления может привести к потере диапазона или точности.

Строка Go хранит доступную только для чтения последовательность байтов, содержимое которой нельзя изменить на месте.

• Строка может содержать произвольные байты и не обязана быть корректной последовательностью UTF-8.
• Индексация строки возвращает байт в указанной позиции.
• Срез строки выбирает диапазон байтов и создаёт другое строковое значение.
• Для изменения текста нужно создать новую строку, часто через преобразование в []byte или []rune.

byte и rune являются предопределёнными псевдонимами для двух разных представлений текстовых или бинарных данных.

• byte является псевдонимом uint8 и представляет один необработанный байт.
• rune является псевдонимом int32 и по соглашению представляет одну кодовую точку Unicode.
• Символьный литерал в одинарных кавычках создаёт значение rune.
• Индексация строки работает с байтами, а range по строке декодирует кодовые точки UTF-8 в значения rune.

Для строки len сообщает количество байтов, а не декодированных кодовых точек Unicode.

• Символы ASCII занимают один байт, поэтому для строк только из ASCII количество байтов и rune совпадает.
• utf8.RuneCountInString считает значения rune, полученные при декодировании UTF-8.
• Преобразование в []rune с последующим вызовом len тоже считает декодированные rune, но создаёт срез rune.
• Количество rune не всегда равно числу символов, воспринимаемых пользователем, потому что один видимый знак может состоять из нескольких кодовых точек.

Функция Go может объявлять и возвращать несколько значений в фиксированном порядке.

• Сигнатура функции перечисляет все типы результатов, а каждый return передаёт соответствующие значения.
• Результаты вызова с несколькими значениями можно присвоить такому же количеству переменных.
• Blank identifier _ отбрасывает значение, не создавая доступную для использования привязку.
• Любая другая локальная переменная должна использоваться, поэтому _ позволяет явно игнорировать ненужный результат.

Объявление именованного типа создаёт отдельный тип, а псевдоним даёт другое имя существующему типу.

• type UserID int определяет UserID как новый именованный тип с базовым типом int.
• При передаче значений между UserID и int обычно требуется явное преобразование.
• type UserID = int делает UserID идентичным int с точки зрения идентичности типов и присваивания.
• Псевдоним не создаёт отдельный тип или отдельное базовое представление.

Массив имеет фиксированную длину, которая входит в его тип, а срез является гибким представлением нижележащего массива.

• Длина входит в тип массива, поэтому [3]int и [4]int являются разными типами.
• При присваивании массива копируются все его элементы.
• Срез может менять длину в пределах своей емкости и расти с помощью append.
• При присваивании среза копируется его дескриптор, поэтому оба среза могут ссылаться на одни элементы.

Срез описывается указателем на нижележащий массив, длиной и емкостью.

• Указатель определяет, где начинаются элементы среза.
• Длина показывает количество элементов, доступных через срез в данный момент.
• Емкость показывает количество доступных элементов от начала среза до конца нижележащего хранилища.
• При копировании значения среза копируется этот дескриптор, а не нижележащие элементы.

Nil-срез не ссылается на нижележащее хранилище, а пустой срез, не равный nil, инициализирован, но не содержит элементов.

• У обоих длина и емкость могут быть равны нулю.
• Только nil-срез равен nil при сравнении.
• append, len, cap и range работают с обоими видами срезов.
• make([]T, 0) и []T{} создают пустые срезы, не равные nil.

Функция make создает инициализированный срез с указанной длиной и необязательной емкостью.

• make([]T, length) создает срез, емкость которого не меньше его длины.
• make([]T, length, capacity) задает оба значения, причем емкость не может быть меньше длины.
• Все элементы в пределах начальной длины содержат нулевое значение типа T.
• make возвращает значение среза, а не указатель на срез.

append возвращает срез, содержащий исходные элементы, за которыми следуют новые.

• Если емкости достаточно, append может повторно использовать существующий нижележащий массив.
• Если емкости недостаточно, append выделяет новое нижележащее хранилище и копирует элементы.
• Возвращенный срез нужно использовать, потому что его указатель, длина или емкость могут измениться.
• При повторном использовании хранилища другие срезы с тем же массивом могут увидеть изменения элементов.

Подсрез обычно использует тот же нижележащий массив, что и исходный срез.

• Изменение общего элемента через один срез видно через другой.
• Длина подсреза определяется выбранным диапазоном индексов.
• Его емкость обычно продолжается от новой начальной позиции до предела емкости исходного среза.
• Полное срезающее выражение позволяет задать подсрезу меньший предел емкости.

copy переносит элементы из исходного среза в существующий целевой срез.

• Она копирует min(len(dst), len(src)) элементов.
• Она возвращает количество скопированных элементов.
• Она не увеличивает целевой срез и не меняет его длину.
• Она дает правильный результат, даже если исходный и целевой диапазоны перекрываются.

Тип ключа map должен поддерживать сравнение на равенство с помощью == и !=.

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

Чтение отсутствующего ключа map возвращает нулевое значение типа значений этой map.

• Прямое чтение имеет форму value := m[key].
• Форма comma-ok value, ok := m[key] также сообщает, существует ли ключ.
• ok равен false для отсутствующего ключа и true для существующего.
• Логическое значение отличает отсутствующий ключ от существующего ключа с нулевым значением.

Nil-map можно читать, но перед сохранением элементов ее нужно инициализировать.

• Чтение nil-map возвращает нулевое значение типа значений.
• Присваивание элемента nil-map вызывает панику во время выполнения.
• make(map[K]V) создает инициализированную map, в которую можно записывать элементы.
• delete(m, key) удаляет ключ и безопасен для отсутствующих ключей и nil-map.