Rust 如何将代码重写为新的未绑定闭包

这需要higher rank trait bounds个更高级别的生命周期.完整的未加修饰的语法是F: for<'a> FnOnce<(&'a mut Builder,), ()>.

在函数上使用一辈子是行不通的，例如，如果我们

pub fn build<'b, F>(rules: F) -> Builder where F: FnOnce<(&'b mut Builder,), ()>

这意味着build适用于调用方希望的任何生存期(例如，他们可以 Select 'b=='static)，但这是无效的，因为需要使用一个特定的具体生存期:函数中&mut builder的生存期.在一个边界中使用F: for<'a> ...表示F与任何生存期'a一起工作，因此编译器认为在&mut builder中替换一个是合法的.

正如我在上面所暗示的，这是真正丑陋的无装饰语法.有两种连续的方法可以让它变得更好.首先，使用闭合特性的标准方法是()糖:for<'a> FnOnce(&'a mut Builder) -> ()，或者像其他Rust 一样，-> ()糖可以go 掉:for<'a> FnOnce(&'a mut Builder).(注意，这只是FnOnce<...>的糖分，但只有糖分语法在1.0时与这些特征交互时才会稳定.)

然后，paren语法有一个额外的规则:它会自动插入像for<'a>一样的生命周期(具体来说，它会经历lifetime elision，任何插入的生命周期都会被放入trait 的for中)，所以只有F: FnOnce(&mut Builder)相当于F: for<'a> FnOnce(&'a mut Builder)，这是推荐的版本.

将这些修复应用于playpen示例:

pub fn initialize_with_closure<F>(rules: F) -> uint where F: FnOnce(&mut uint) {
    let mut i = 0;
    rules(&mut i);

    i
}

// equivalently
pub fn initialize_with_closure_explicit<F>(rules: F) -> uint where F: for<'a> FnOnce(&'a mut uint) -> () {
    let mut i = 0;
    rules(&mut i);

    i
}

pub fn main() {
    initialize_with_closure(|i: &mut uint| *i = *i + 20);
    initialize_with_closure_explicit(|i: &mut uint| *i = *i + 20);
}

playpen