Підсумки

Висновки

Records описують значення через компоненти, enum задає скінченні константи, sealed обмежує альтернативи, а зразки дозволяють безпечно розібрати їхню структуру. Компактний синтаксис не скасовує інваріантів, захисних копій і перевірки числових меж.

Питання для самоперевірки

1. Які члени генерує record?
2. Коли присвоюються поля компактного конструктора?
3. Чому record із масивом не є автоматично незмінним?
4. Чому ordinal не варто зберігати як зовнішній код?
5. Як enum поєднує поля й поведінку?
6. Які модифікатори мають прямі підтипи sealed?
7. Що означає домінування випадку switch?
8. Чому default не замінює case null?
9. Що роблять var і підкреслення у зразках?
10. Як перевірити, що спрощення зберігає семантику?