Тема 9. Узагальнене програмування (generics)

Мета: навчитися створювати типобезпечні контейнери й алгоритми, обирати достатні межі параметрів і перевіряти їхні контракти.

Зміст лекції

1. Параметри типів, класи та методи — Від Object до параметра типу · Узагальнені класи, записи та diamond · Узагальнені методи й виведення аргументів
2. Обмеження та інваріантність — Обмежені параметри типів · Інваріантність і відмінність від масивів
3. Шаблони та принцип PECS — Шаблони й принцип PECS · Захоплення шаблону та допоміжний метод
4. Стирання типів і його наслідки — Стирання типів і згенеровані мости · Обмеження узагальнень · Приклад 4. Стек на масиві
5. Сирі типи та стандартні контракти — Сирі типи та забруднення купи · Узагальнені результати та стандартні контракти

Практика та контроль

• Практика — 3 розібрані приклади з повним кодом
• Завдання — 30 варіантів, кожен має завдання трьох рівнів складності
• Підсумки — висновки, питання для самоперевірки та корисні посилання