Завислі вказівники

Завислі вказівники, дикі вказівники (англ. dangling pointers, wild pointers) в програмуванні — це вказівники, що не вказують на допустимий об'єкт відповідного типу. Це спеціальні випадки порушення безпеки пам'яті.

Завислі вказівники виникають тоді, коли об'єкт видалено або переміщено без зміни значення вказівника на нульове, так що вказівник все ще вказує на ділянку пам'яті непереміщених даних. Оскільки система може перерозподілити раніше звільнену пам'ять (зокрема в інший процес), то обірваний вказівник може призвести до непередбачуваної поведінки програми. У разі, коли програма записує дані в пам'ять, використовуючи такий вказівник, дані можуть непомітно руйнуватися, що призводить до тонких помилок, які надзвичайно важко знайти.

Дикі вказівники виникають, коли вказівник використовується до ініціалізації у відомий стан, що можливо в деяких мовах програмування. Вони такі ж непередбачувані як завислі, проте вони мають менше шансів залишитися непоміченими.

Цей вид помилок є дуже небезпечним і поруч з витоками пам'яті трапляється досить часто.

Низка мов програмування знижують імовірність появи завислих вказівників, використовуючи автоматичне збирання сміття та інші методи, підвищуючи в цей спосіб безпеку доступу до пам'яті.

Див. також

• Нульовий вказівник

Посилання

• "Ссылка в никуда, или сломанный указатель" [ 22 червня 2018 у Wayback Machine.](рос.)
• Dangling Pointer. Smashing the Pointer for Fun and Profit [ 19 лютого 2018 у Wayback Machine.] / Watchfire, 2007(англ.)
• "dangling pointer" [ 19 грудня 2013 у Wayback Machine.](англ.)

Примітки

1. . Архів оригіналу за 16 серпня 2012. Процитовано 30 квітня 2018.
2. https://doc.rust-lang.org/nomicon/meet-safe-and-unsafe.html [ 30 квітня 2018 у Wayback Machine.] « Rust. All the core language cares about .. Dereferencing null or dangling pointers»