rust - 为什么我仍然可以使用 `move` 闭包捕获的变量？

Question

我编写了一个 Rust 程序，它生成所有小写英文字母的两个字母排列(“aa”、“ab”、...、“zy”、“zz”):

fn main() {
    static ASCII_LOWER: [char; 26] = [
        'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm',
        'n', 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z'
    ];

    let x: Vec<_> = ASCII_LOWER.iter().flat_map(|a| {
        let result = ASCII_LOWER.iter().map(move |b| {
            format!("{}{}", a, b)
        });

        dbg!(a);  // <--- How can `a` still be used?

        result
    }).collect();

    dbg!(x);
}

我需要将内部闭包标记为move，否则捕获的a 借用的时间不够长。但是，我不明白这个 move 在这种情况下实际上做了什么。我仍然可以在关闭后使用 a。 move 在这里实际做了什么？

Answer 1

What does the move actually do here?

它将变量移动到闭包中。

I can still use a after the closure

a 是一个&'static char，它实现了Copy。当您在移动值后使用它时，编译器会自动插入该值的副本。

另见:

• How does Rust provide move semantics?
• What are move semantics in Rust?
• Is it possible to make a type only movable and not copyable?