Java Core. Lecture#6. Part#1. Generics.

Язык программирования
JAVA
Лекция# 6 (Часть 1)
Generics
Моисеенко Антон
canggu@mail.ru
СПГУАП
Кафедра Информационно-Сетевых Технологий

Содержание курса
1. Java до generic-ов
2. Java 5
3. Сырые типы - Raw types
4. Стирание информации в runtime (Type Erasure)

Java до generic-ов
List list = new ArrayList();
list.add("hello");
String s = (String) list.get(0);
Integer i = (Integer) list.get(0);

• Программисту самому приходилось
проверять типы
• Компилятор не мог обнаружить ошибки
• Ошибки появлялись во время выполнения
(runtime)
• Приходилось делать дополнительные
проверки типов с использованием instanceof

Когда контейнер поддерживал объекты
разных типов, код сильно разрастался…
public class Container {
private Object item;
void checkItem() {
if (item instanceof SomeClass){
...
}
}

Java 5
Основная цель введения generic-ов –
проверка соответствия типов на этапе
компиляции
List<Integer> l = new ArrayList<Integer>();
List<List<Integer>> l = new ArrayList<List<Integer>>();
In Java 7:
List<List<Integer>> list = new ArrayList<>();

Java 5
Дженерализация классов
public class Container<T> {
private T item;
}
Дженерализация методов
public class Processor {
<T> T process(T item);
<T, E> T process(T item, E smth);
}
Компилятор автоматически подставляет типы

Сырые типы - Raw types
• Если типы не указывать - коллекции превращаются
в т.н. Raw types, где можно хранить элементы любых
типов.
• Приведение типов должен обеспечить
программист.
List rawList = new ArrayList();
List<String> list = new ArrayList<>();
rawList = list; //ok
List = rawList; //Warning
}

rawList = list;
rawList.add(8);

rawList = list;
rawList.add(8); //Warning, no runtime error
String s = list.get(0);
В runtime вся generic-информация стирается!!!
До Java7: ClassCastException, no compile error
Runtime error: Type mismatch: cannot convert
from Object to String
Компилятор добавляет неявное приведение
типов: в данном случае к строке

Стирание информации в runtime
Type Erasure
• Generics позволяют проверять типы во время
компиляции
• Во время исполнения информация про типы не
доступна
• (но, конечно, можно узнать тип через Reflection API)

Type Erasure
public class SomeType<T> {
public <E> void test(Collection<E> collection) {
for (E e: collection) {
System.out.println(e);
}
}
public void test(List<Integer> integerList) {
for (Integer integer: integerList) {
System.out.println(integer);
}
}
}

Type Erasure
SomeType someType = new SomeType();
List<String> list = Arrays.asList("value");
someType.test(list);
Необходимо дженерализировать класс любым типом
SomeType<?> someType = new SomeType<Object>();
List<String> list = Arrays.asList("value");
someType.test(list);
Если есть generic-и их необходимо использовать,
указав хоть какой-нибудь тип!!!
ClassCastException:
Потому что SomeType создан без
generic типа. И компилятор
думает, что:
public void test(Collection collection)
public void test(List integerList)
public class SomeType<T> {
public <E> void test(Collection<E> collection) {
for (E e: collection) {
System.out.println(e);
}
}
public void test(List<Integer> integerList) {
for (Integer integer: integerList) {
System.out.println(integer);
}
}
}

Java Core. Lecture#6. Part#1. Generics.

More Related Content

Viewers also liked (10)

Similar to Java Core. Lecture#6. Part#1. Generics. (6)

More from Anton Moiseenko (7)

Java Core. Lecture#6. Part#1. Generics.