5.7. Объявления переменных

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

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

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

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

float[] x, y;

равносильно

float[] x;

float[] y;

Объявления могут находиться в произвольном месте исходного текста программы. Вы не обязаны ставить их в начале класса, метода или блока. В общем случае, идентификатором можно пользоваться в любой момент после его объявления в некотором блоке (см.раздел “Операторы и блоки”), за одним исключением: нестатические поля недоступны в статических методах.

Поля с модификатором final должны инициализироваться при объявлении.

Объявлению члена класса может предшествовать один из нескольких модификаторов. Модификаторы могут следовать в произвольном порядке, но мы рекомендуем выработать некоторое соглашение и придерживаться его. В этой книге используется следующий порядок: сначала следуют модификаторы доступа (public, private или protected), затем static, затем synchronized, и, наконец, final. Использование единого порядка модификаторов облегчает чтение исходного текста программы.

5.7.1. Значение имени

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

1. Локальные переменные, объявленные в блоке, цикле for или среди параметров обработчика исключений. Блок представляет собой один или несколько операторов, заключенных в фигурные скобки. Переменные также могут объявляться во время инициализации в цикле for.

2. Параметры метода или конструктора, если код входит в метод или конструктор.

3. Члены данного класса или интерфейсного типа, то есть его поля и методы, в том числе все унаследованные члены.

4. Импортированные типы с явным именованием.

5. Другие типы, объявленные в том же пакете.

6. Импортированные типы с неявным именованием.

7. Прочие пакеты, доступные в системе.

В каждом из вложенных блоков или операторов for могут объявляться новые имена. Чтобы избежать путаницы, вы не можете воспользоваться вложением для переобъявления параметра или идентификатора из внешнего блока или оператора for. Так, после появления локального идентификатора или параметра с именем über вы не можете создать во вложенном блоке новый, отличный от него идентификатор с тем же именем über.

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

class Reuse {

Reuse Reuse(Reuse Reuse) {

Reuse:

for (;;) {

if (Reuse.Reuse(Reuse) == Reuse)

break Reuse;

}

return Reuse;

}

}

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

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

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