匿名类型

简明扼要闭包从封闭范围内捕捉变量。这是否有什么后果？ 它肯定不会。观察一下在函数中调用一个封闭泛型要求，这是因为它们定义如何要求：

// `F` must be generic.
fn apply<F>(f: F) where
    F: FnOnce() {
    f()
}

当封闭件被定义，编译器隐式地创建一个新的匿名结构到内部存储所捕获的变量，通过之一 traits: Fn, FnMut, 或 FnOnce 这种未知类型来实现功能。 这种类型被分配给被存储直到调用变量。

由于这种新型的未知类型的，在功能的任何使用都需要泛型。但是，无限制类型参数(<T>)仍然是不明确的，不会被允许。 因此，边界是由所述一个 traits: Fn, FnMut, 或FnOnce (实现)足以指定它的类型。

// `F` must implement `Fn` for a closure which takes no
// inputs and returns nothing. Exactly what is required
// for `print`.
fn apply(f: F) where
    F: Fn() {

    f()
}

fn main() {
    let x = 7;

    // Capture `x` into an anonymous type and implement
    // `Fn` for it. Store it in `print`.
    let print = || println!("{}", x);

    apply(print);
}

也可以看看：

透彻分析, Fn, FnMut, 和 FnOnce