Rust 隐式类型闭包的错误生命周期推断

发布于02月02日

以下是琐碎的复制(截至2月2日至23日，每晚Rust ):

fn main() {
    let closure = |_v| {};
    // this one works fine
    // let closure = |_v: &_| {};
    {
        let x = 1;
        closure(&x);
    }
    {
        let y = 1;
        closure(&y);
    }
}

错误是:

6  |         let x = 1;
   |             - binding `x` declared here
7  |         closure(&x);
   |                 ^^ borrowed value does not live long enough
8  |     }
   |     - `x` dropped here while still borrowed
...
11 |         closure(&y);
   |         ------- borrow later used here

这没有意义，因为closure没有捕获变量x，而只是一个通过引用传递的参数.

为闭包参数_v: &_提供显式引用解决了这个问题，但它不应该被自动推断吗？

是借阅判断器的某些缺陷/限制吗？或者我遗漏了一些更基本的东西？

推荐答案

对我来说，这看起来可能是一个类型推断的错误.

我认为正在发生的事情是

fn main() {
    let closure = |_v| {};

    { 
        let x = 1; // Lifetime `a begins
        closure(&x); // closure is inferred to be fn(&'a i32)
        // Lifetime 'a end
    }
    {
        let y = 1; // Lifetime `b begins
        closure(&y); // attempt to call closure fn(&'a i32) with &'b i32
        // Lifetime 'b end
    }
}

但将闭合定义为