К. Арнольд, Д. Гослинг - Язык программирования Java (1160779), страница 18
Текст из файла (страница 18)
В этой книге используется следующий порядок: сначала следуютмодификаторы доступа (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 не смог определить, при каком значении управляющей переменной завершился цикл.Вложение помогает усилить роль локального кода.
Если бы скрытие внешних переменных не допускалось, то включение нового поля в класс илиинтерфейс могло бы привести к нарушению работы существующих программ, в которых используются переменные с тем же именем. Концепцияобластей видимости предназначена скорее для общей защиты системы, нежели для поддержки повторного использования имен.5.8. МассивыМассив представляет собой упорядоченный набор элементов. Элементы массива могут иметь примитивный тип или являться ссылками наобъекты, в том числе и ссылками на другие массивы.
Строкаint[] ia = new int[3];объявляет массив с именем ia, в котором изначально хранится три значения типа int.При объявлении переменной-массива размер не указывается. Количество элементов в массиве задается при его создании оператором new, а непри объявлении. Размер объекта-массива фиксируется в момент его создания и не может изменяться в дальнейшем. Обратите внимание:фиксируется именно размер объекта-массива; в приведенном выше примере ia может быть присвоена ссылка на любой массив другого размера.Первый элемент массива имеет индекс 0 (ноль), а последний — индекс размер–1. В нашем примере последним элементом массива является ia[2].При каждом использовании индекса проверяется, лежит ли он в диапазоне допустимых значений.
При выходе индекса за его пределывозбуждается исключение IndexOutOfBounds.Размер массива можно получить из поля length. Для нашего примера следующий фрагмент программы перебирает все элементы массива ивыводит каждое значение:for (int i =0; i << ia.length; i++)System.out.println(i + ": " + ia[i]);Массивы всегда являются неявным расширением класса Object. Если у вас имеется класс X, расширяющий его класс Y и массивы каждого из этихклассов, то иерархия будет выглядеть следующим образом:Благодаря этому обстоятельству массивы ведут себя полиморфно. Вы можете присвоить массив переменной типа Object, после чего осуществитьобратное преобразование. Массив объектов типа Y допускается использовать всюду, где разрешено присутствие массива объектов базовоготипа X.Как и к любым другим созданным объектам, к массивам применяется сборка мусора.Основное ограничение на “объектность” массивов заключается в том, что они не могут расширяться для включения в них новых методов.
Так,следующая конструкция является недопустимой:class ScaleVector extends double[] { //// ...}При объявлении массива объектов вы на самом деле объявляете массив переменных соответствующего типа. Рассмотрим следующий фрагмент:Attr[] attrs = new Attr[12];for (int i = 0; i << attrs.length; i++)attrs[i] = new Attr(names[i], values[i]);После выполнения первого оператора new, attrs содержит ссылку на массив из 12 переменных, инициализированных значением null. ОбъектыAttr создаются только при выполнении цикла.Если вы пожелаете, Java допускает присутствие квадратных скобок после переменной, а не после типа, как в следующем объявлении:int ia[] = new int[3];Оно эквивалентно приведенному выше.
Тем не менее первый вариант все же считается более предпочтительным, поскольку тип объявляется водном месте.5.8.1. Многомерные массивыЭлементами массивов в Java могут быть другие массивы. Например, фрагмент программы для объявления и вывода двумерной матрицы можетвыглядеть следующим образом:float[][] mat = new float[4][4];setupMatrix(mat);for (int y = 0; y << mat.length; y++) {for (int x = 0; x << mat[y].length; x++)System.out.println(mat[x][y] + " ");System.out.println();}Первый (левый) размер массива должен задаваться при его создании.
Другие размеры могут указываться позже. Использование более чем однойразмерности является сокращением для вложенного набора операторов new. Приведенный выше массив может быть создан следующимобразом:float[][] mat = new float[4][];for (int y = 0; y << mat.length; y++)mat[y] = new float[4];Одно из преимуществ многомерных массивов состоит в том, что каждый вложенный массив может иметь свои размеры.
Вы можете имитироватьработу с массивом 4x4, но при этом создать массив из четырех массивов типа int, каждый из которых имеет свою собственную длину,необходимую для хранения его данных.Упражнение 5.1Напишите программу, которая строит треугольник Паскаля до глубины 12. Каждый числовой ряд треугольника сохраняется в массивесоответствующей длины, а массивы рядов заносятся в массив, элементами которого являются 12 массивов типа int. Спроектируйте свое решениетак, чтобы результаты выводились методом, который печатает содержимое двумерного массива с использованием длины каждого из вложенныхмассивов, а не константы 12.
Теперь модифицируйте программу так, чтобы в ней использовалась константа, отличная от 12, а метод вывода приэтом не изменился.5.9. ИнициализацияПеременная может инициализироваться при ее объявлении. Чтобы задать начальное значений переменной, следует после ее имени поставить =и выражение:final double p = 3.14159;float radius = 1.0f;// начать с единичного радиусаЕсли при объявлении поля класса не инициализируются, то Java присваивает им исходные значения по умолчанию. Значение по умолчаниюзависит от типа поля:Тип поляТип поляbooleanfalsechar‘\u0000’целое (byte, short, int, long)0с плавающей точкой+0.0f или+0.0dссылка на объектnullJava не присваивает никаких исходных значений локальным переменным метода, конструктора или статического инициализатора.
Отсутствиеисходного значения у локальной переменной обычно представляет собой программную ошибку, и перед использованием локальныхпеременных их необходимо инициализировать.Момент инициализации переменной зависит от ее области видимости. Локальные переменные инициализируются каждый раз, когдавыполняется их объявление. Поля объектов и элементы массивов инициализируются при создании объекта или массива оператором new —см.
“Порядок вызова конструкторов”. Инициализация статических переменных класса происходит перед выполнением какого-либо кода,относящегося к данному классу.Инициализаторы полей не могут возбуждать проверяемые исключения или вызывать методы, которые могут это сделать, так как не существуетспособа перехватить эти исключения. Для нестатических полей можно обойти данное правило, присваивая исходное значение в конструкторе(конструктор может обрабатывать исключения).