ВОЛОДІННЯ (OWNERSHIP)

let x = 3101;       // 0xC1D, i32 — живе на стеку
let y = x;          // копія: обидва x і y валідні
println!("{} {}", x, y);   // працює: i32 реалізує трейт Copy

// прості типи фіксованого розміру на стеку (i32, bool, char, f64, кортежі з них)
// копіюються автоматично — тут немає move

Copy-типи — виняток із загального правила move

let s1 = String::from("hello");
let s2 = s1;               // власність переходить від s1 до s2

println!("{}", s1);       // error[E0382]: value borrowed here after move
// ^ s1 більше не власник — компілятор це знає і не дає скомпілювати

error[E0382]: use of moved value

let s1 = String::from("hello");
let s2 = s1.clone();       // глибока копія: нова ділянка пам'яті

println!("{} {}", s1, s2); // ОК: обидві змінні валідні й незалежні

Clone видно в коді — це свідомий вибір, а не прихована вартість

fn takes_ownership(s: String) -> String {
    println!("отримав: {}", s);
    s   // повертаємо власність назад викликачу
}

let s1 = String::from("дані");
let s1 = takes_ownership(s1);   // власність пішла у функцію й повернулась
println!("{}", s1);            // s1 знову валідний

Постійно передавати й повертати власність незручно — саме тому в Л6 з'явиться запозичення (borrowing)

#[derive(Debug, Clone, Copy)]
struct Point {
    x: i32,
    y: i32,
}

let p1 = Point { x: 1, y: 2 };
let p2 = p1;              // Copy: побітова копія, p1 і далі валідний
println!("{:?} {:?}", p1, p2);

derive працює, лише якщо всі поля структури самі реалізують Copy

struct Runner {
    name: String,
    level: u32,   // u32 реалізує Copy
}

let r = Runner { name: String::from("ранер"), level: 3 };
let name = r.name;          // часткове переміщення поля name

println!("{}", r.level);    // ОК: level — Copy, не було переміщене
// println!("{}", r.name);  // error: r.name вже переміщено

Компілятор дозволяє доступ до непереміщених полів навіть після часткового move

struct Guard {
    name: String,
}

impl Drop for Guard {
    fn drop(&mut self) {
        println!("звільняю ресурс: {}", self.name);
    }
}

fn main() {
    let _g = Guard { name: String::from("з'єднання") };
    println!("працюємо...");
}   // тут автоматично: "звільняю ресурс: з'єднання"

Звільнення ресурсу детерміноване й гарантоване компілятором, без ручного close()