Каковы варианты прекращения изменчивого заимствования в Rust?

Question

Я борюсь с заемщиком - удивляюсь.

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

Вот что я сделал до сих пор:

let mut canvas: Canvas = Canvas { 
    width: 5, 
    height: 5, 
    array: vec!['x'; 5*5], 
}; 

{ 
    let mut renderer: CanvasRenderer = CanvasRenderer::new(&mut canvas); 

    renderer.render_point('x', 3, 3); 
} 

println!("The Value in the array is: {}", canvas.array[9]); 

Я обернуть закрытия вокруг связывания CanvasRenderer объекта и после того, как мутирует холст и область заканчивается, CanvasRenderer Штампы и мой изменчивый заимствован canvas доступна читать или что угодно.

Это работает, но теперь я хотел бы увидеть другие решения!

Я слышал о drop(stuff), но это не сработало, как я и думал.

Answer 1

Другого выхода нет. Использование блоков способ сделать это. В настоящее время в Rust все записи лексики, то есть они всегда соответствуют некоторому лексическому охвату. Единственный масштаб, который больше, чем один оператор, - это блок, поэтому блоки - это ваш единственный инструмент для ограничения объема займов.

drop() не будет работать по двум причинам: во-первых, поскольку для него потребуется нелексическая область действия, которая не поддерживается в Rust (пока), а во-вторых, она не может быть универсальным инструментом для управления записями: например, он не смог бы закончить неизменный заимствовать просто потому, что неизменяемые ссылки Copy и не могут быть «сброшены». Поэтому, если мы получим нелексические записи, drop()может работать на изменчивые заимствования, но я сомневаюсь, что это будет идиоматический подход.

Сказанное говорит, что в настоящее время внутренняя часть Rust подвергается рефакторингу MIR, специальному промежуточному представлению вашего кода, что должно облегчить, в частности, рассуждения о объемах заимствований. Насколько я помню, вся работа над нелексическими записями была отложена до тех пор, пока МИР не будет готова; впоследствии, я полагаю, таких изменений было бы намного легче сделать.