Kann nicht als unveränderlich ausleihen - String und len()

Question

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

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

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

Dies ist jedoch ein Kompilierungsfehler. Etwas mit dem Border Checker zu tun und möglicherweise Wandelbarkeit.

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 

Doch wenn ich es mir erlaubt ist etwas ändern, dies zu tun:

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

Warum? Gibt es eine Möglichkeit, dies zu ändern, so dass es in einer Zeile geschrieben werden kann? (P.S. Dies ist auf Rust 1.0)

Answer 1

Dies ist ein unglücklicher Mangel von Rust Border Prüfverfahren. Dies geschieht im Wesentlichen weil

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

äquivalent zu

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

und hier kann man sehen, dass da Argumente von links nach rechts, um berechnet werden, wird result tatsächlich geliehenen mutably, bevor es in result.len() verwendet wird .

Ich habe dieses Problem in Rust Problem Tracker gefunden: #6268. Dieses Problem wurde zugunsten von non-lexical borrows RFC issue geschlossen. Es scheint, dass es nur eines dieser Dinge ist, die schön wären, aber die mehr Zeit brauchen, um es zu erledigen, dass es vor 1.0 verfügbar war. This Post kann auch von Interesse sein (obwohl es fast zwei Jahre alt ist).