Generics (Java)

Generics

Обобщенные:
типы (generic types)
классы (без enum, исключений, анонимных!)
интерфейсы (без аннотаций!)
методы (generic methods)
конструкторы

Предназначение

Контейнеры
гетерогенные
гомогенные
Параметризация
типов
методов
конструкторов

Kolesnikov D.O. SED

Преимущества

Определение ошибок использования типов на этапе компиляции.
Использование параметризованных
типов

Терминология

Generic:
class A {…} класс
public A() {…} конструктор
public T m(T t) {…}

Параметризация

Подстановка вместо параметра конкретного значения при использовании generic:
Параметризованный класс:
A a =

Байт код параметризованных generic-ов
Один байт код на все варианты конкретных значений

Сырой тип (raw type)

Использование generic без значения параметра
Generic класс:
class A {…}
Raw

Wildcard параметризованные типы

Использование generic с указанием wildcards:
? extends <== extends wildcard
? super <==

Параметры generic с ограничениями

При объявлении можно наложить ограничения на значение параметра

Ограничения использования параметра generics

Внутри generic нельзя:
создать объект этого типа
создать массив такого

Преобразования типов
raw type ⬄ parameterized types
parameterized types ⬄ parameterized types

Kolesnikov D.O.

Преобразования типов

Начиная с 7й версии JSE язык включает т.н. daemond оператор:
A