Нельзя заимствовать как неизменяемый - Строка и длина()

Question

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

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

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

Однако, это ошибка компиляции. Что-то связано с проверкой заимствования и, возможно, с изменчивостью.

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 

Тем не менее, если я изменить его немного мне позволено это сделать:

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

Почему? Есть ли способ изменить это, чтобы он мог быть написан в одной строке? (P.S. это на Rust 1.0)

Answer 1

Это неудачный недостаток процедуры проверки займа Rust. Это по существу происходит потому, что

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

эквивалентно

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

и здесь вы можете увидеть, что, поскольку аргументы вычисляются слева направо для того, result действительно заимствованы mutably до его использования в result.len() ,

Я нашел эту проблему в трещине для проверки ржавчины: #6268. Этот выпуск был закрыт в пользу non-lexical borrows RFC issue. Кажется, что это всего лишь одна из тех вещей, которые было бы неплохо иметь, но которые нуждались в большем количестве времени, чтобы быть доступным до 1.0. This сообщение может также представлять определенный интерес (хотя ему почти два года).