Правила владения ржавчинами в контексте закрытий

Question

Я играю с новыми закрытиями в Rust, и я столкнулся с ситуацией, которая снова показала мне, что я еще не полностью понял правила владения.

#![feature(unboxed_closures)] 
#![feature(overloaded_calls)] 

fn main() { 
    let mut test = 5i; 
    let do_something = ref |:| { println!("{}", test) }; 
    test = 6i; 
    do_something(); 

    println!("{}", test); 
} 

Этот код не говорил мне, что назначение test = 6i; является недействительным, поскольку test уже заимствованы к do_something закрытия.

Но читать правила владения (из Руководства Rust), кажется, действует мне:

1.You управления, когда этот ресурс освобождаться.

2. Вы можете предоставить этот ресурс неизменно многим заемщикам, как вам хотелось бы.

3. Вы можете предоставить этот ресурс, возможно, одному заемщику. НО

4. Когда вы это сделаете, вы также не можете одолжить его иначе, изменчиво или неизменно.

5.Вы не можете с легкостью одолжить его, если вы в настоящее время предоставляете его кому-то.

В чем проблема с кодом выше. test является владельцем и do_something должен иметь только непреложный ссылка. Не следует ли изменять значение test, если единственная ссылка на него, которую мы предоставляем кому-то, была неизменяемая?

РАЗВЕЙТЕ

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

#![feature(unboxed_closures)] 
#![feature(overloaded_calls)] 

use std::cell::Cell; 

fn main() { 
    let test = Cell::new(5i); 
    let do_something = ref |:| { println!("{}", test) }; 
    test.set(6i); 
    do_something(); 

    println!("{}", test); 
} 

Но интересно, почему это печатает

5 
6 

и не

6 
6 

Как бы мне нужно изменить код, чтобы напечатать это?

6 
6 

Answer 1

Как вы процитировали себя:

Вы не можете одолжить его mutably, если вы в настоящее время кредитование его кому-то.

Как вы уже кредитование test к do_something, вы не можете получить доступ к нему, прежде чем mutably do_something выходит из области видимости.

Answer 2

Ответ на ваше наблюдение:

Это, кажется, происходит потому, что Cell является Copy, поэтому он копируется в крышку.Если вы сделаете это (теперь ref до закрытия не имеет значения и может быть опущено):

#![feature(unboxed_closures)] 
#![feature(overloaded_calls)] 

use std::cell::Cell; 

fn main() { 
    let test = Cell::new(5i); 
    let test_ref = &test; 
    let do_something = |:| { println!("{}", test_ref.get()) }; 
    test.set(6i); 
    do_something(); 

    println!("{}", test.get()); 
} 

Затем он печатает две 6 с.

Однако, я думаю, что это поведение несколько неожиданно. Я, конечно, ожидал бы, что закрытие с префиксом ref займет все их окружение по ссылке. Я только что представил для этого issue.