- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Generics (Java) презентация
Содержание
- 1. Generics (Java)
- 2. Generics Обобщенные: типы (generic types) классы (без
- 3. Предназначение Контейнеры гетерогенные
- 4. Преимущества Определение ошибок использования типов на
- 5. Терминология Generic: class A {…} класс public A()
- 6. Параметризация Подстановка вместо параметра конкретного значения при
- 7. Байт код параметризованных generic-ов Один байт
- 8. Сырой тип (raw type) Использование generic без
- 9. Wildcard параметризованные типы Использование generic с указанием wildcards: ? extends
- 10. Параметры generic с ограничениями При объявлении можно
- 11. Ограничения использования параметра generics Внутри generic нельзя:
- 12. Преобразования типов raw type ⬄ parameterized
- 13. Преобразования типов Начиная с 7й версии JSE
- 14. Массивы параметризованных generic Объявить переменную типа массив
Generics Обобщенные: типы (generic types) классы (без enum, исключений, анонимных!) интерфейсы (без аннотаций!) методы (generic methods) конструкторы (generic constructors) Пример generics – Collection framework из состава Java core. Kolesnikov D.O.
Слайд 2Generics
Обобщенные:
типы (generic types)
классы (без enum, исключений, анонимных!)
интерфейсы (без аннотаций!)
методы (generic methods)
конструкторы
(generic constructors)
Пример generics – Collection framework из состава Java core.
Пример generics – Collection framework из состава Java core.
Kolesnikov D.O. SED KNURE
Слайд 3Предназначение
Контейнеры
гетерогенные
гомогенные
Параметризация
типов
методов
конструкторов
Kolesnikov D.O. SED
KNURE
Слайд 4Преимущества
Определение ошибок использования типов на этапе компиляции.
Использование параметризованных
типов
методов
конструкторов
Использование wildcards
с ограничениями
без ограничений
конструкторов
Использование wildcards
с ограничениями
без ограничений
Kolesnikov D.O. SED KNURE
Слайд 5Терминология
Generic:
class A {…} класс
public A() {…} конструктор
public T m(T t) {…}
метод
T – параметр generic-а
T – параметр generic-а
Kolesnikov D.O. SED KNURE
Слайд 6Параметризация
Подстановка вместо параметра конкретного значения при использовании generic:
Параметризованный класс:
A a =
new A();
Kolesnikov D.O. SED KNURE
Слайд 7Байт код параметризованных generic-ов
Один байт код на все варианты конкретных значений
параметра.
Kolesnikov D.O. SED KNURE
Слайд 8Сырой тип (raw type)
Использование generic без значения параметра
Generic класс:
class A {…}
Raw
класс:
A a = new A();
A a = new A();
Kolesnikov D.O. SED KNURE
Слайд 9Wildcard параметризованные типы
Использование generic с указанием wildcards:
? extends
super wildcard
? <== unbounded wildcard
Generic класс:
class A {…}
Wildcard параметризованный класс:
A a = new A();
A a = new A();
A a = new A();
? <== unbounded wildcard
Generic класс:
class A
Wildcard параметризованный класс:
A a = new A
A a = new A
A a = new A
Kolesnikov D.O. SED KNURE
Слайд 10Параметры generic с ограничениями
При объявлении можно наложить ограничения на значение параметра
generic.
class A {…}
J1, J2 - интерфейсы
При использовании класса A
если B – интерфейс
T – интерфейс, обязан наследовать B, J1, J2,
если B – класс
T – класс, обязан наследовать B, реализовывать J1, J2
class A
J1, J2 - интерфейсы
При использовании класса A
если B – интерфейс
T – интерфейс, обязан наследовать B, J1, J2,
если B – класс
T – класс, обязан наследовать B, реализовывать J1, J2
Kolesnikov D.O. SED KNURE
Слайд 11Ограничения использования параметра generics
Внутри generic нельзя:
создать объект этого типа
создать массив такого
типа
использовать в секции catch
использовать в статическом контексте
использовать в instanceof (справа)
наследовать
Замечание: информация о конкретном значении параметра во время выполнения не доступна.
использовать в секции catch
использовать в статическом контексте
использовать в instanceof (справа)
наследовать
Замечание: информация о конкретном значении параметра во время выполнения не доступна.
Kolesnikov D.O. SED KNURE
Слайд 12Преобразования типов
raw type ⬄ parameterized types
parameterized types ⬄ parameterized types
Kolesnikov D.O.
SED KNURE
Слайд 13Преобразования типов
Начиная с 7й версии JSE язык включает т.н. daemond оператор:
A
a = new A<>();
Компилятор автоматически подставит подходящее (исходя из контекста) значение параметра generic.
Компилятор автоматически подставит подходящее (исходя из контекста) значение параметра generic.
Kolesnikov D.O. SED KNURE
Слайд 14Массивы параметризованных generic
Объявить переменную типа массив параметризованных типов можно:
List[] ar;
Создать массив
нельзя:
ar = new ArrayList[]; // compile time error!
Исключение (допустимо только для параметризованного wildcard без ограничений):
List[] x = new ArrayList[3]; // all ok
ar = new ArrayList
Исключение (допустимо только для параметризованного wildcard без ограничений):
List[] x = new ArrayList[3]; // all ok
Kolesnikov D.O. SED KNURE
