Не может заимствовать как неизменяемый, поскольку он также заимствован как изменяемый в аргументах функции

Что здесь происходит (игровая площадка)?

struct Number {
    num: i32
}

impl Number {
    fn set(&mut self, new_num: i32) {
        self.num = new_num;
    }
    fn get(&self) -> i32 {
        self.num
    }
}

fn main() {
    let mut n = Number{ num: 0 };
    n.set(n.get() + 1);
}

Дает эту ошибку:

error[E0502]: cannot borrow `n` as immutable because it is also borrowed as mutable
  --> <anon>:17:11
   |
17 |     n.set(n.get() + 1);
   |     -     ^          - mutable borrow ends here
   |     |     |
   |     |     immutable borrow occurs here
   |     mutable borrow occurs here

Однако, если вы просто меняете код на это, он работает:

fn main() {
    let mut n = Number{ num: 0 };
    let tmp = n.get() + 1;
    n.set(tmp);
}

Мне кажется, что они выглядят точно эквивалентными - я имею в виду, я бы ожидал, что первое будет преобразовано в последнее во время компиляции. Разве Rust не оценивает все функциональные параметры перед оценкой вызова функции следующего уровня?

Ответ 1

Эта строка:

n.set(n.get() + 1);

обескуражен в

Number::set(&mut n, n.get() + 1);

Сообщение об ошибке теперь может быть более понятным:

error[E0502]: cannot borrow 'n' as immutable because it is also borrowed as mutable
  --> <anon>:18:25
   |
18 |     Number::set(&mut n, n.get() + 1);
   |                      -  ^          - mutable borrow ends here
   |                      |  |
   |                      |  immutable borrow occurs here
   |                      mutable borrow occurs here

Поскольку Rust оценивает аргументы слева направо, этот код эквивалентен этому:

let arg1 = &mut n;
let arg2 = n.get() + 1;
Number::set(arg1, arg2);

Теперь должно быть очевидно, что не так. Поменяйте местами эти первые две строки, это исправит, но Rust не выполняет такого рода анализ потока управления.

Сначала это было создано как ошибка # 6268, теперь оно интегрировано в RFC 811, non-lexical-lifetimes. Если вы используете Rust 2018, NLL включается автоматически, и ваш код теперь будет компилироваться без ошибок.