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

Да. Область видимости имени, объявленного на уровне пакета, охватывает весь пакетный блок, поэтому на него можно ссылаться до текстового места объявления. Локальное имя обычно становится видимым только после своего объявления в соответствующем блоке.

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

Такой подход делает объявления пакета независимыми от их физического порядка в исходном файле. Разработчик может группировать типы, переменные и функции по смыслу, не добавляя искусственные перестановки только ради видимости имён.

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

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

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

Для локальных переменных правило иное: обращение к имени до объявления обычно приводит к ошибке компиляции. Это предотвращает неоднозначность и случайное использование другого имени из внешней области видимости.

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

Имена, объявленные в блоке пакета, видимы во всём этом блоке, включая другие файлы того же пакета. Поэтому переменная, функция или тип могут ссылаться на объявление, расположенное ниже.

package main

import "fmt"

var message = suffix + "!"
var suffix = "ok"

func main() {
	fmt.Println(message)
}

Здесь ссылка на suffix корректна, хотя его объявление находится ниже. При инициализации пакета Go учитывает зависимость message от suffix, поэтому сначала вычисляется suffix, затем message.

У локального объявления область видимости начинается после объявления. Например, короткое объявление переменной не делает имя доступным в выражении, которое находится до этой строки. Имена параметров функции и локальных переменных также ограничены телом функции или соответствующим блоком.

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

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

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

Вариант с перестановкой объявлений работает, но ухудшает структуру файла, если порядок выбран только из-за страха перед ссылкой вперёд. Вариант с функцией инициализации даёт явный контроль, однако добавляет исполняемую логику и может усложнить анализ зависимостей.

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

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

Означает ли видимость пакетного имени до объявления, что так же можно обращаться к локальной переменной?

Нет. Область видимости локального имени начинается после объявления. Поэтому ссылка до локального объявления не становится допустимой только потому, что компилятор в целом может увидеть последующий текст функции.

Работает ли ссылка вперёд между разными файлами одного пакета?

Да, если файлы действительно принадлежат одному пакету. Объявления уровня пакета имеют область видимости всего пакетного блока, а не отдельного файла. Исключение по смыслу составляют импортированные имена: импорт действует только в конкретном файле.

Определяет ли порядок строк порядок инициализации переменных пакета?

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