Jak zaspokoić Checkera Rust z tym prostym kodem?

Question

Otrzymuję błąd kompilacji Rust od sprawdzacza wypożyczeń i nie wiem, jak to naprawić.
Poniższy kod jest prosty i nie ma problemu z podobnym kodem w C++.

fn main() { 
    let mut nums = vec![1, 2, 3]; 
    if let Some(x) = nums.last() { 
     nums.push(*x); 
    } 
} 

Tutaj jest błąd:

message: 'cannot borrow `nums` as mutable because it is also borrowed as immutable (4, 9)' 

Answer 1

Można nieprawidłowego odniesienia w klauzuli Strażnik:

fn main() { 
    let mut nums = vec![1, 2, 3]; 
    if let Some(&x) = nums.last() { 
     nums.push(x); 
    } 
} 

Rust ma potężny wzór pasujący funkcji można rozpakować prawie wszystko, jeśli znasz jego typ. Sprawdź Rust pattern matching documentation.

Answer 2

Po wywołaniu .last() pożyczysz nums jako niezmienną, ponieważ mutacja spowoduje unieważnienie posiadanego odniesienia x. Następnie należy wywołać .push, która pożycza nums jako zmienną.

Problemem jest to, że masz teraz niezmienna i jest zmienny pożyczyć tej samej wartości w tym samym czasie, co jest niezgodne z pamięcią rdzewieje gwarancje bezpieczeństwa (wielu czytelników lub jedna gwarancja pojedynczego pisarza, który nigdy nie będzie miało nieprawidłową pamięć gdziekolwiek).

fn main() { 
    let mut nums = vec![1, 2, 3]; 
    if let Some(x) = nums.last() { // Immutable borrow starts here 
     nums.push(*x);    // Mutable borrow starts here 
    }        // Immutable and mutable borrows end here 
} 

Rozwiązaniem byłoby obniżyć zakres niezmiennej pożyczyć od razu spada odniesienie jej wynik, jak na @ DanielSanchez na przykład:

let mut nums = vec![1, 2, 3]; 
if let Some(&x) = nums.last() { // Immutable borrow starts and ends here 
    nums.push(x);    // Mutable borrow starts here 
}        // Mutable borrow ends here