Почему я все еще могу использовать переменную, захваченную закрытием `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

Что на самом деле здесь делает move? 1003 *

Перемещает переменную в замыкание.

Я все еще могу использовать a после закрытия

a - это &'static char, который реализует Copy. Компилятор автоматически вставляет копию значения при его использовании после его перемещения.

Смотри также:

• Как Rust обеспечивает семантику перемещения?
• Что такое семантика перемещения в Rust?
• Можно ли сделать тип только подвижным и не копируемым?