ЗАПОЗИЧЕННЯ І ЗРІЗИ

fn calculate_length(s: &String) -> usize {
    s.len()
}   // s виходить з області видимості, але дані НЕ звільняються — s лише позичав

let s1 = String::from("привіт");
let len = calculate_length(&s1);
println!("{}: {}", s1, len);   // s1 і далі валідний — власність не передавалась

& — читати, не володіти

let mut s = String::from("привіт");

let r1 = &s;        // незмінне запозичення
let r2 = &mut s;    // error[E0502]: cannot borrow `s` as mutable
                    //   because it is also borrowed as immutable
println!("{} {}", r1, r2);

error[E0502]: конфлікт запозичень виявлено до запуску програми

fn first_word(s: &str) -> &str {
    let bytes = s.as_bytes();
    for (i, &b) in bytes.iter().enumerate() {
        if b == b' ' { return &s[..i]; }
    }
    s
}

let v = vec![10, 20, 30, 40];
let mid = &v[1..3];   // зріз [20, 30], без копіювання даних

Зрізи дозволяють працювати з частиною даних без володіння й без копіювання

fn largest(list: &[i32]) -> i32 {
    let mut max = list[0];
    for &item in list {
        if item > max { max = item; }
    }
    max
}

let numbers = vec![34, 50, 25, 3101, 65];
println!("{}", largest(&numbers));   // 3101, без копіювання вектора

Функція приймає зріз — працює і з Vec<i32>, і з масивом [i32; N]

let mut v = vec![1, 2, 3];

let first = &v[0];       // незмінне запозичення починається
println!("{}", first);   // останнє використання first — тут

v.push(4);                // ОК під NLL: first більше не використовується

До появи NLL цей код відмовлявся компілюватись — first текстово "жила" до кінця блоку

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() { x } else { y }
}

let s1 = String::from("довгий рядок");
let s2 = String::from("короткий");
println!("{}", longest(&s1, &s2));

Без 'a компілятор не знав би, з якого саме аргументу походить повернене посилання

let mut v = vec![1, 2, 3];

for x in &v {
    v.push(*x);   // error[E0502]: cannot borrow `v` as mutable
                  //   because it is also borrowed as immutable
}

Iterator invalidation — класичний рантайм-баг в інших мовах — тут помилка компіляції