mutable_borrow.x = 5;
mutable_borrow.y = 2;
mutable_borrow.z = 1;
// Ошибка! Нельзя неизменяемо заимствовать `point` так как она уже
// заимствована изменяемо.
//let y = &point.y;
// TODO ^ Попробуйте раскомментировать эту строку
// Ошибка! Нельзя вывести на экран, потому что `println!` берёт неизменяемую ссылку.
//println!("Координата Z {}", point.z);
// TODO ^ Попробуйте раскомментировать эту строку
// Ok! Изменяемая ссылка может быть передана `println!` как неизменяемая
println!("Точка имеет координаты: ({}, {}, {})",
mutable_borrow.x, mutable_borrow.y, mutable_borrow.z);
// Изменяемая ссылка больше не используется, так что можно перезаимствовать
let new_borrowed_point = &point;
println!("Точка имеет координаты: ({}, {}, {})",
new_borrowed_point.x, new_borrowed_point.y, new_borrowed_point.z);
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
refпаттерн
Когда мы используем сопоставление с образцом или деструктурируем при помощи let, можно использовать ключевое слово ref для получения ссылки на поле структуры или кортежа. Пример ниже показывает несколько случаев, когда это может быть полезно:
#[derive(Clone, Copy)]
struct Point { x: i32, y: i32 }
fn main() {
let c = 'Q';
// Заимствование с `ref` по левую сторону от присваивания, эквивалетно
// заимствованию с `&` по правую сторону.
let ref ref_c1 = c;
let ref_c2 = &c;
println!("ref_c1 равно ref_c2: {}", *ref_c1 == *ref_c2);
let point = Point { x: 0, y: 0 };
// `ref` также может использоваться при деструктуризации структур.
let _copy_of_x = {
// `ref_to_x` - ссылка на поле `x` в `point`.
let Point { x: ref ref_to_x, y: _ } = point;
// Возвращаем копию поля `x` из `point`.
*ref_to_x
};
// Изменяемая копия `point`
let mut mutable_point = point;
{
// `ref` может использоваться вместе с `mut` для получения изменяемой ссылки.
let Point { x: _, y: ref mut mut_ref_to_y } = mutable_point;
// Изменяем поле `y` переменной `mutable_point` через изменяемую ссылку.
*mut_ref_to_y = 1;
}
println!("point ({}, {})", point.x, point.y);
println!("mutable_point ({}, {})", mutable_point.x, mutable_point.y);
// Изменяемый кортеж с указателем
let mut mutable_tuple = (Box::new(5u32), 3u32);
{
// Деструктурируем `mutable_tuple` чтобы изменить значение `last`.
let (_, ref mut last) = mutable_tuple;
*last = 2u32;
}
println!("tuple {:?}", mutable_tuple);
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Времена жизни
Время жизни - это конструкция, которую компилятор (или более конкретно, его анализатор заимствований) использует, чтобы убедиться, что все заимствования действительны. В частности время жизни переменной начинается с момента её создания и заканчивается когда она уничтожается. Времена жизни и области видимости упоминаются часто вместе, но они не совпадают.
Возьмём, например, случай когда мы заимствуем переменную через &. Срок действия заимствования определяется местом его объявления. В результате, заимствование действительно до тех пор, пока оно не закончится или пока кредитор не будет уничтожен. Однако, область заимствования определяется местом использования ссылки.
В следующем примере и в остальной части этого раздела мы увидим, как времена жизни связаны с областями видимости, а также как они различаются.
// Времена жизни аннотированы линиями, обозначающими
// создание и уничтожение каждой переменной.
// `i` имеет самое длинное время жизни, так как его область охватывает
// полностью оба заимствования `borrow1` и `borrow2`.
// Продолжительность заимствования `borrow1` по сравнению с
// заимствованием `borrow2` не имеет значения, так как они не пересекаются.
fn main() {
let i = 3; // Lifetime for `i` starts. ────────────────┐
// │
{ // │
let borrow1 = &i; // `borrow1` lifetime starts. ──┐│
// ││
println!("borrow1: {}", borrow1); // ││
} // `borrow1 ends. ──────────────────────────────────┘│
// │
// │
{ // │
let borrow2 = &i; // `borrow2` lifetime starts. ──┐│
// ││
println!("borrow2: {}", borrow2); // ││
} // `borrow2` ends. ─────────────────────────────────┘│
// │
} // Lifetime ends. ─────────────────────────────────────┘
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Обратите внимание, что для меток времени жизни не назначаются имена или типы. Это ограничивает то, как время жизни будет использоваться, как мы увидим далее.
Явное аннотирование