Java руководство для начинающих - Шилдт Герберт (2012)

Gen<Integer> iOb = new Gen<Integer>(50, n);

// Нельзя создать массив обобщенных ссылок

// на объекты конкретного типа.

// Gen<Integer> gens[] = new Gen<Integer>[10]; // Ошибка!

// Следующее выражение составлено верно.

Gen<?> gens[] = new Gen<?>[10];

}

}

Как следует из исходного кода приведенной выше программы, допускается создавать ссылку на массив типа т. Это демонстрируется в следующей строке кода:

Т vals[]; // Допустимо.

Но получить экземпляр самого массива типа т нельзя. Именно поэтому приведенная ниже строка кода закомментирована.

// vals = new Т[10]; // Нельзя создать массив типа Т.

В данном случае ограничение на массив типа т состоит в том, что компилятору не известно, какого типа массив следует создавать на самом деле. Но в то же время конструктору Gen () можно передать ссылку на массив совместимого типа при создании объекта, а также присвоить это значение переменной vals. Примером тому может служить следующая строка кода:

vals = nums; // Переменной допускается присваивать ссылку

// на существующий массив.

Это выражение составлено верно, поскольку тип массива, передаваемого конструктору Gen () при создании объекта, известен и совпадает с типом Т. В теле метода main () содержится выражение, демонстрирующее невозможность объявить массив обобщенных ссылок на объекты конкретного типа. Поэтому приведенная ниже строка кода не будет скомпилирована.

// Gen gens[] = new Gen[10] ; // Ошибка!

### Ограничения, накладываемые на обобщенные исключения

Обобщенный класс не может расширять класс Throwable. Это означает, что создавать обобщенные классы исключений нельзя.

### Дальнейшее изучение обобщений

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

Читатели, которых заинтересовала эта тема, вероятно, захотят узнать побольше о томвлиянии, которое обобщения оказывают на иерархию классов и, в частности, каким образом осуществляется сравнение типов при выполнении программы, как переопределяются методы и т.д. Все эти и многие другие вопросы употребления обобщений подробно освещены в книге Java. Полное руководство, 8-е издание, ИД “Вильямс”, 2012 г.

## Упражнение для самопроверки по материалу главы 13

1. Обобщения очень важны, поскольку они позволяют создавать код, который:

a) обеспечивает типовую безопасность;

b) пригоден для повторного использования;

c) отличается высокой надежностью;

d) обладает всеми перечисленными выше свойствами.

2. Можно ли указывать простой тип в качестве аргумента типа?

3. Как объявить класс FlightSched с двумя параметрами типа?

4. Измените ваш ответ на вопрос 3 таким образом, чтобы второй параметр типа обозначал подкласс, производный от класса Thread.

5. Внесите изменения в класс FlightSched таким образом, чтобы второй параметр типа стал подклассом первого параметра типа.

6. Что обозначает знак ? в обобщениях?

7. Может ли метасимвольный аргумент быть ограниченным?

8. У обобщенного метода My Gen () имеется один параметр типа, определяющий тип передаваемого ему аргумента. Этот метод возвращает также объект, тип которого соответствует параметру типа. Как должен быть объявлен метод My Gen () ?

9. Допустим, обобщенный интерфейс объявлен так, как показано ниже.

interface IGenIF<T, V extends Т> { // ...

```

Составьте объявление класса MyClass, который реализует интерфейс iGenlF.

Допустим, имеется обобщенный класс Counter. Как создать объект его базового типа?

Существуют ли параметры типа на стадии выполнения программы?