Объектно-ориентированное программирование в Java

// инициализаций при объявлениях переменных

р = 999; // Оператор выполняется вне всякого метода!

}

static void f(int b){ // Параметр метода b -- локальная

// переменная, известна только внутри метода

int a = 2; // Это вторая переменная с тем же именем "а"

// Она известна только внутри метода f() и

// здесь перекрывает первую "а"

int с; // Локальная переменная, известна только в методе f()

//Не получает никакого начального значения

//и должна быть определена перед применением

{ int с = 555; // Ошибка! Попытка повторного объявления

int х = 333; // Локальная переменная, известна только в этом блоке

}

// Здесь переменная х уже неизвестна

for (int d = 0; d < 10; d++){

// Переменная цикла d известна только в цикле

int а = 4; // Ошибка!

int e = 5; // Локальная переменная, известна только в цикле for

е++; // Инициализируется при каждом выполнении цикла

System.out.println("e = " + e) ; // Выводится всегда "е = 6"

}

// Здесь переменные d и е неизвестны

}

public static void main(String!] args){

int a = 9999; // Локальная переменная, известна

// только внутри метода main()

f (a);

}

}

Обратите внимание на то, что переменным класса и экземпляра неявно присваиваются нулевые значения. Символы неявно получают значение '\u0000', логические переменные -- значение false , ссылки получают неявно значение null .

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

Внимание

Поля класса при объявлении обнуляются, локальные переменные автоматически не инициализируются.

В листинге 2.6 появилась еще одна новая конструкция: блок инициализации экземпляра (instance initialization). Это просто блок операторов в фигурных скобках, но записывается он вне всякого метода, прямо в теле класса. Этот блок выполняется при создании каждого экземпляра, после инициализации при объявлении переменных, но до выполнения конструктора. Он играет такую же роль, как и static-блок для статических переменных. Зачем же он нужен, ведь все его содержимое можно написать в начале конструктора? В тех случаях, когда конструктор написать нельзя, а именно, в безымянных внутренних классах.

Вложенные классы

В этой главе уже несколько раз упоминалось, что в теле класса можно сделать описание другого, вложенного (nested) класса. А во вложенном классе можно снова описать вложенный, внутренний (inner) класс и т. д. Эта матрешка кажется вполне естественной, но вы уже поднаторели в написании классов, и у вас возникает масса вопросов.

· Можем ли мы из вложенного класса обратиться к членам внешнего класса? Можем, для того это все и задумывалось.

· А можем ли мы в таком случае определить экземпляр вложенного класса, не определяя экземпляры внешнего класса? Нет, не можем, сначала надо определить хоть один экземпляр внешнего класса, матрешка ведь!

· А если экземпляров внешнего класса несколько, как узнать, с каким экземпляром внешнего класса работает данный экземпляр вложенного класса? Имя экземпляра вложенного класса уточняется именем связанного с ним экземпляра внешнего класса. Более того, при создании вложенного экземпляра операция new тоже уточняется именем внешнего экземпляра.

· А...?

Хватит вопросов, давайте разберем все по порядку.

Все вложенные классы можно разделить на вложенные классы-члены класса (member classes), описанные вне методов, и вложенные локальные классы (local classes), описанные внутри методов и/или блоков. Локальные классы, как и все локальные переменные, не являются членами класса.

Классы-члены могут быть объявлены статическим модификатором static. Поведение статических классов-членов ничем не отличается от поведения обычных классов, отличается только обращение к таким классам. Поэтому они называются вложенными классами верхнего уровня (nestee tep-level classes), хотя статические классы-члены можно вкладывать друг в друга. В них можно объявлять статические члены. Используются они обычно для того, чтобы сгруппировать вспомогательные классы вместе с основным классом.

Все нестатические вложенные классы называются внутренними (inner). В них нельзя объявлять статические члены.

Локальные классы, как и все локальные переменные, известны только в блоке, в котором они определены. Они могут быть безымянными (anonymous classes).

В листинге 2.7 рассмотрены все эти случаи.

Листинг 2.7. Вложенные классы

class Nested{

static private int pr; // Переменная pr объявленa статической

// чтобы к ней был доступ из статических классов А и АВ

String s = "Member of Nested";

// Вкладываем статический класс.

static class .А{ // Полное имя этого класса -- Nested.A

private int a=pr;

String s = "Member of A";

// Во вложенньм класс А вкладываем еще один статический класс

static class AB{ // Полное имя класса -- Nested.А.АВ

private int ab=pr;

String s = "Member of AB";

}

}

//В класс Nested вкладываем нестатический класс

class В{ // Полное имя этого класса -- Nested.В

private int b=pr;

String s = "Member of B";

// В класс В вкладываем еще один класс

class ВС{ // Полное имя класса -- Nested.В.ВС

private int bc=pr;

String s = "Member of ВС";

}

void f(final int i){ // Без слова final переменные i и j

final int j = 99; // нельзя использовать в локальном классе D

class D{ // Локальный класс D известен только внутри f()

private int d=pr;

String s = "Member of D";

void pr(){

// Обратите внимание на то, как различаются

// переменные с одним и тем же именем "s"

System.out.println(s + (i+j)); // "s" эквивалентно "this.s"

System.out.println(B.this.s);

System.out.println(Nested.this.s);

// System.out.println(AB.this.s); // Нет доступа

// System.out.println(A.this.s); // Нет доступа

}

}

D d = new D(); // Объект определяется тут же, в методе f()

d.pr(); // Объект известен только в методе f()

}

}

void m(){

new Object(){ // Создается объект безымянного класса,

// указывается конструктор его суперкласса

private int e = pr;

void g(){

System.out.println("From g()) ;

}

}.g(); // Тут же выполняется метод только что созданного объекта

}

}

public class NestedClasses{

public static void main(String[] args){

Nested nest = new Nested(); // Последовательно раскрываются

// три матрешки

Nested.A theA = nest.new A(); // Полное имя класса и уточненная

// операция new. Но конструктор только вложенного класса

Nested.A.AB theAB = theA.new AB(); // Те же правила. Операция

// new уточняется только одним именем

Nested.В theB = nest.new B(); // Еще одна матрешка

Nested.В.ВС theBC = theB.new BC();

theB.f(999); // Методы вызываются обычным образом

nest.m();

}

}

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

Для остальных дадим пояснения.

· Как видите, доступ к полям внешнего класса Nested возможен отовсюду, даже к закрытому полю pr . Именно для этого в Java и введены вложенные классы. Остальные конструкции введены вынужденно, для того чтобы увязать концы с концами.

· Язык Java позволяет использовать одни и те же имена в разных областях видимости -- пришлось уточнять константу this именем класса:Nested.this, В.this .

· В безымянном классе не может быть конструктора, ведь имя конструктора должно совпадать с именем класса, -- пришлось использовать имя суперкласса, в примере это класс object . Вместо конструктора в безымянном классе используется блок инициализации экземпляра.

· Нельзя создать экземпляр вложенного класса, не создав предварительно экземпляр внешнего класса, -- пришлось подстраховать это правило уточнением операции new именем экземпляра внешнего класса-- nest.new , theA.new, theB.new .

· При определении экземпляра указывается полное имя вложенного класса, но в операции new записывается просто конструктор класса.

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

· Можно ли наследовать вложенные классы? Можно.

· Как из подкласса обратиться к методу суперкласса? Константа super уточняется именем соответствующего суперкласса, подобно константе this .

· А могут ли вложенные классы быть расширениями других классов? Могут.

· А как? KISS!!!

Механизм вложенных классов станет понятнее, если посмотреть, какие файлы с байт-кодами создал компилятор:

· Nested$l$D.class -- локальный класс о, вложенный в класс Nested ;

· NestedSl.class -- безымянный класс;

· Nested$A$AB.class -- класс Nested.A.AB ;

· Nested$A.class -- класс Nested.А ;

· Nested$B$BC.class -- класс Nested.в.вс ;

· NestedSB.class -- класс Nested.в ;

· Nested.class -- внешний класс Nested ;

· NestedClasses.class - класс с методом main () .

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

Оказывается, вложенные классы существуют только на уровне исходного кода. Виртуальная машина Java ничего не знает о вложенных классах. Она работает с обычными внешними классами. Для взаимодействия объектов вложенных классов компилятор вставляет в них специальные закрытые поля. Поэтому в локальных классах можно использовать только константы объемлющего метода, т. е. переменные, помеченные словом final . Виртуальная машина просто не догадается передавать изменяющиеся значения переменных в локальный класс. Таким образом не имеет смысла помечать вложенные классы private , все равно они выходят на самый внешний уровень.

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

В каких же случаях создавать вложенные классы? В теории ООП вопрос о создании вложенных классов решается при рассмотрении отношений "быть частью" и "являться".

Отношения "быть частью" и "являться"

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

Определив, какие классы будут написаны в вашей программе, и сколько их будет, подумайте, как спроектировать взаимодействие классов? Вырастить пышное генеалогическое дерево классов-наследников или расписать матрешку вложенных классов?

Теория ООП советует прежде всего выяснить, в каком отношении находятся ваши классы р и Q -- в отношении "класс Q является экземпляром класса р" ("a class Q is a class р") или в отношении "класс Q -- часть класса р" ("a class Q has a class P").

Например: "Собака является животным" или "Собака -- часть животного"? Ясно, что верно первое отношение "is-a", поэтому мы и определили класс Dog как расширение класса Pet.

Отношение "is-a" -- это отношение "обобщение-детализация", отношение большей или меньшей абстракции, и ему соответствует наследование классов.

Отношение "has-a" -- это отношение "целое-часть", ему соответствует вложение.



Заключение

После прочтения этой главы вы получили представление о современной парадигме программирования -- объектно-ориентированном программировании и реализации этой парадигмы в языке Java. Если вас заинтересовало ООП, обратитесь к специальной литературе [3, 4, 5, 6].

Не беда, если вы не усвоили сразу принципы ООП. Для выработки "объектного" взгляда на программирование нужны время и практика. Вторая и третья части книги как раз и дадут вам эту практику. Но сначала необходимо ознакомиться с важными понятиями языка Java -- пакетами и интерфейсами.

Размещено на Allbest.ru