Rust: володіння та позичання — безпечна пам’ять без збирача сміття

Коротко: Rust керує пам’яттю через правила володіння, що перевіряються компілятором: у кожного значення рівно один власник, позичання контролюється, тому не виникає ні витоків пам’яті, ні помилок доступу.

Докладніше: У C і C++ пам’ять можна звільнити двічі або прочитати після звільнення (use-after-free). Інші мови використовують збирач сміття (Java, Go, Python). Rust розв’язує це під час компіляції за допомогою володіння, позичання та часів життя: помилки знаходяться до запуску, без витрат часу виконання.

Подробиці

Три правила

1. У кожного значення один власник…

Див. також: стек і купа, методи збирання сміття, витік пам’яті, Rust