使用隐式类型闭包的错误生存期推断-解网

问：

这是微不足道的复制（截至 2 月 23 日的夜间 rustc）：

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

这没有意义，因为变量不是由捕获的，而只是一个通过引用传递的参数。xclosure

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

是借用检查器的一些错误/限制吗？还是我在这里遗漏了一些更基本的东西？

Rust Closures 类型推理生存期

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
    }
}

但将闭包定义为

let closure = |_v: &'_ i32| {};

停止编译推断其生存期，并按应有的方式使用 hrtb。

使用隐式类型闭包的错误生存期推断

Wrong lifetime inference for closure with implicit types

评论

评论