Nie można zaciągnąć pożyczki jako niezmiennej - String i len()

Question

let mut result = String::with_capacity(1000); 

result.push_str("things... "); 
result.push_str("stuff... "); 

result.truncate((result.len() - 4)); 

Jest to jednak błąd kompilacji. Coś związanego z korektą pożyczki i ewentualnie zmiennością.

error[E0502]: cannot borrow `result` as immutable because it is also borrowed as mutable 
--> <anon>:7:22 
    | 
7 |  result.truncate((result.len() - 4)); 
    |  ------   ^^^^^^   - mutable borrow ends here 
    |  |    | 
    |  |    immutable borrow occurs here 
    |  mutable borrow occurs here 

Jednak gdybym nieznacznie zmienić go wolno mi to zrobić:

let newlen = result.len() - 4; 
result.truncate(newlen); 

Dlaczego? Czy istnieje sposób, aby to zmienić, aby można było napisać w jednym wierszu? (P.S. jest na Rust 1.0)

Answer 1

Jest to niefortunna wada procedury sprawdzania wypożyczeń Rust. To w istocie się dzieje, ponieważ

result.truncate(result.len() - 2) 

jest równoważna

String::truncate(&mut result, result.len() - 2) 

i tutaj widać, że ponieważ argumenty są obliczane od lewej do prawej kolejności result rzeczywiście pożyczył mutably zanim zostanie użyta w result.len() .

Znalazłem ten problem w narzędziu do wykrywania problemów z rdzą: #6268. Ten problem został zamknięty na rzecz non-lexical borrows RFC issue. Wydaje się, że jest to jedna z tych rzeczy, która byłaby miła, ale która potrzebowała więcej czasu, aby była dostępna przed 1.0. This post może również być interesujące (mimo że ma prawie dwa lata).