Коротко — не компилируется потому, что вы берёте иммутабельную ссылку `&v[$0$]`, которая живёт через вызов `v.push($1$)`. `push` требует мутексную ссылку на `v`, а правила заимствований Rust запрещают одновременно иметь активную иммутабельную и мутируемую ссылки на один объект. Кроме того `push` может перевыделить буфер вектора и сделать ссылку `&v[$0$]` висячей — поэтому компилятор не пропустит такой код.
Что такое borrow checker — кратко
- Это проверка заимствований на этапе компиляции в Rust. Она обеспечивает правила владения/заимствования: либо любое число иммутабельных ссылок, либо ровно одна мутируемая — но не одновременно. Цель — предотвращать data races и висячие указатели без времени выполнения.
Варианты исправления (коротко, с примерами)
1) Скопировать значение (для типов `Copy`, например `i32`):
fn foo(v: &mut Vec) {
let x = v[$0$]; // копия
v.push($1$);
println!("{}", x);
}
2) Сократить область действия заимствования:
fn foo(v: &mut Vec) {
{
let x = &v[$0$];
println!("{}", x);
} // x выходит из области
v.push($1$);
}
3) Взять опционально и клонировать:
fn foo(v: &mut Vec) {
let x = v.get($0$).cloned(); // Option v.push($1$);
if let Some(val) = x { println!("{}", val); }
}
4) Взять владение элемента (удаление):
fn foo(v: &mut Vec) {
let x = v.remove($0$); // забирает элемент
v.push($1$);
println!("{}", x);
}
5) Зарезервировать место и использовать unsafe (не рекомендуется):
- Можно сделать `v.reserve(1)` чтобы предотвращать перевыделение, и затем использовать `unsafe` raw pointers, но это усложняет код и снимает гарантии компилятора — применять только при необходимости и с осторожностью.
6) Внутренняя мутабельность (RefCell / Rc) — когда нужен динамический контроль за заимствованиями:
use std::cell::RefCell; // и т.п. — но возможны `panic!` в runtime при конфликтных заимствованиях.
Выбор варианта зависит от контекста: для простых числовых типов — вариант (1) или (3); если нужно владение — (4); если надо избегать копирования для больших структур — сократить область действия или использовать другие архитектурные подходы.