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

Имя, объявленное в инициализаторе if, доступно в условии, обеих ветвях if и else, а также во вложенных блоках внутри этого условного оператора. После завершения всего оператора if имя недоступно.

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

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

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

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

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

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

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

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

package main

import "fmt"

func main() {
	if n := len("go"); n > 0 {
		fmt.Println(n)
	} else {
		fmt.Println(n)
	}
	// fmt.Println(n) // ошибка: n вне области видимости
}

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

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

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

Обработчик получает объект и должен продолжить работу только после успешной проверки. Возможны два варианта: объявить объект до if, увеличив его область видимости, или создать его в инициализаторе if.

Первый вариант проще, если объект действительно нужен после проверки, но повышает риск использования неподготовленного значения и затенения. Второй вариант лучше ограничивает область видимости, однако объект нельзя использовать после if без отдельного присваивания.

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

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

Входит ли условие if в область видимости имени из его инициализатора?

Да. Имя доступно не только в телах ветвей, но и в самом условии, которое вычисляется после выполнения инициализатора. Именно поэтому краткое объявление в инициализаторе может сразу участвовать в проверке.

Доступно ли такое имя в ветви else if и в конечной else?

Да. Цепочка else if и else является продолжением того же оператора if, поэтому область видимости имени из его инициализатора распространяется на всю цепочку. Она заканчивается только после последней ветви.

Что произойдёт, если внутри ветви снова объявить имя с тем же названием?

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