Підсумки

Висновки

Адреса не означає володіння. Кожний ресурс повинен мати зрозумілого відповідального за звільнення та чинний час життя для всіх доступів. Контейнери й розумні вказівники виражають ці правила в типах; діагностичні інструменти допомагають виявити порушення.

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

1. Чим значення, адреса і власник відрізняються?
2. Що означають & та * у виразах?
3. Чому ненульовий pointer може бути висячим?
4. Як відрізняються pointer-to-const і const-pointer?
5. Який крок має p+1?
6. Чи можна розіменувати адресу після масиву?
7. Які правильні пари new/delete?
8. Чому nullptr не зануляє інші копії адреси?
9. Що перевіряє AddressSanitizer?
10. Чим get,reset і release відрізняються?
11. Що стається з unique_ptr після передачі?
12. Чому два shared_ptr із однієї сирої адреси небезпечні?
13. Як виникає сильний цикл?
14. Навіщо weak_ptr::lock?
15. Чим span відрізняється від vector?

Контрольні питання до лабораторної роботи

1. Чи кожний pointer є власником?
2. Чим обмежено арифметику вказівників?
3. Для чого рядку C потрібний нуль?
4. Чим delete відрізняється від delete[]?
5. Чому занулення однієї адреси не виправляє всі доступи?
6. Що передає std::move для unique_ptr?
7. Коли get допустимий без release?
8. Як weak_ptr усуває сильний цикл?
9. Чому parent у дереві може бути невласницьким?
10. Що доводить і чого не доводить успішний запуск ASan?

Корисні посилання

• Розумні вказівники: https://learn.microsoft.com/cpp/cpp/smart-pointers-modern-cpp.
• unique_ptr: https://learn.microsoft.com/cpp/standard-library/unique-ptr-class.
• weak_ptr: https://learn.microsoft.com/cpp/standard-library/weak-ptr-class.
• ASan: https://learn.microsoft.com/cpp/sanitizers/asan.
• Правила: https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines.