Как в этом сниппете кода работает владение (Rust)?

Question

[boristhecat]

Потихоньку изучаю язык Rust и недавно на одном сайте наткнулся на следующий пример, который не компилируется из-за того, что конструкция loop каким-то образом делает невозможным вызов анонимной функции increase(). Пожалуйста, расскажите, что тут происходит в плане владений и почему компилятору не нравится этот код. ;)

const STOP: i32 = 24;
const INCR: i32 = 2;

fn main() {
    let mut counter = 2;

    let mut increase = || {
        counter += INCR;
    };
    increase();
    println!("counter = {}", counter);

    loop {
        increase();

        println!("counter = {}", counter);

        if counter == STOP {
            break;
        }
    }
}

Answer 1

[Василий Банников]

Не может одновременно существовать mutable borrow и immutable borrow.
Замыкание берёт mutable borrow и пока замыкание находится в области видимости - никто не может читать значение переменной.

Мне кажется, лучше чем компилятор это не объяснит:

Compiling playground v0.0.1 (/playground)
error[E0502]: cannot borrow `counter` as immutable because it is also borrowed as mutable
  --> src/main.rs:11:30
   |
7  |     let mut increase = || {
   |                        -- mutable borrow occurs here
8  |         counter += INCR;
   |         ------- first borrow occurs due to use of `counter` in closure
...
11 |     println!("counter = {}", counter);
   |                              ^^^^^^^ immutable borrow occurs here
...
14 |         increase();
   |         -------- mutable borrow later used here
   |
   = note: this error originates in the macro `$crate::format_args_nl` which comes from the expansion of the macro `println` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0502]: cannot borrow `counter` as immutable because it is also borrowed as mutable
  --> src/main.rs:16:34
   |
7  |     let mut increase = || {
   |                        -- mutable borrow occurs here
8  |         counter += INCR;
   |         ------- first borrow occurs due to use of `counter` in closure
...
14 |         increase();
   |         -------- mutable borrow later used here
15 |
16 |         println!("counter = {}", counter);
   |                                  ^^^^^^^ immutable borrow occurs here
   |
   = note: this error originates in the macro `$crate::format_args_nl` which comes from the expansion of the macro `println` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0503]: cannot use `counter` because it was mutably borrowed
  --> src/main.rs:18:12
   |
7  |     let mut increase = || {
   |                        -- `counter` is borrowed here
8  |         counter += INCR;
   |         ------- borrow occurs due to use of `counter` in closure
...
14 |         increase();
   |         -------- borrow later used here
...
18 |         if counter == STOP {
   |            ^^^^^^^ use of borrowed `counter`

Some errors have detailed explanations: E0502, E0503.
For more information about an error, try `rustc --explain E0502`.
error: could not compile `playground` due to 3 previous errors

Comments

[boristhecat]

Спасибо, но если бы мне были понятны объяснения компилятора, я бы сюда не обращался. :)
Повторюсь, опыт с Rust у меня пока совсем небольшой.

[Василий Банников]

boristhecat, ну вот и ответ - у тебя произошло заимствование в рамках замыкания, по тому в цикле ты не можешь сделать ещё одно заимствование.

Чтобы можно было работать и там и там - заворачивай в какой-нибудь Rc / Mutex / RwLock

[Дмитрий Беляев]

Чтобы можно было работать и там и там - заворачивай в какой-нибудь Rc / Mutex / RwLock

В многопоточке для счетчика хватит атомика, Mutex / RwLock - перебор. А в однопоточке Mutex / RwLock тем более перебор, достаточно Cell / RefCell завернутого в Rc.

[Василий Банников]

Дмитрий Беляев, постоянно путаюсь в том, во что там надо заворачивать)
Только через попытки к Rc`Cell прихожу

[boristhecat]

Спасибо.

[Василий Банников]

boristhecat, отмечай решением, если помогли