MS
Size: a a a
2020 October 30
A
Не понимаю. Замыкание может передаться куда угодно, как оно может знать с чем работать? Оно же просто вызывается и в него передаются значения требуемые
MS
{
let quux = 9;
let lambda = || {
println!("quux: {}", quux);
};
lambda();
}MS
Тут замыкание не принимает никаких параметров, но при этом может работать с quux, не являющейся частью замыкания.
A
Ну то есть лямбда схораняет все ссылки на переменные из того места где она определена?
A
Таки понел
L
A
Да, пояснили, спасибо
MS
А если ты добавишь слово
move к определению лямбды, она не станет сохранять ссылки а сразу переместит в себя значения.A
А как она о них узнает если они не будут определены
MS
Приведи пример
A
навроде того как если мы ждём что в переменную что то будет записано.
A
то есть тогда вообще все указанные в лямбде переменные будут заимствованы лямбдой и улетят в далёкие края вместе с ней?
MS
В расте не улетят.
MS
Боров-чекер не даст.
MS
{
let quux = 9;
let lambda = || {
println!("quux: {}", quux);
};
lambda();
}Этот код эквивалентен
struct MyLambda<'a> {
quux_ref: &'a i32;
}
impl<'a> Fn for MyLambda<'a> {
fn call(&self) {
println!("quux: {}", self.quux_ref);
}
}
{
let quux = 9;
let lambda = MyLambda { quux_ref: &quux };
lambda.call();
}