Тема 9. Узагальнене програмування: узагальнені класи й функції, варіантність, reified-параметри

Мета: навчитися проєктувати узагальнені типи, задавати достатні обмеження, розрізняти виробників і споживачів та перевіряти поведінку і статичний контракт власного API.

Зміст лекції

1. Параметри типу та узагальнені класи — Параметр типу як частина контракту · Приклад 1. Стек на зв’язних вузлах
2. Узагальнені функції та межі — Узагальнені функції та обмеження · Nullable-межі й definitely non-null
3. Варіантність і проєкції — Інваріантність: чому підтип елемента не достатній · Варіантність на місці оголошення · Проєкції на місці використання
4. Стирання типів і reified — Стирання типів і reified · Sealed-результати, Nothing і псевдоніми
5. Проєктування та перевірка API — Проєктування API: від операцій до варіантності · Перевірка контрактів без випадкових приведень · Узагальнення та предметна тотожність

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

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