Rustでクロージャの左に置かれているmoveはなんですか？

Question

私は今Rustの勉強をしています。
最近私が見たコードの以下のコードのmoveが何をしているのかわかりません。

//! 元：https://qiita.com/takayahilton/items/ebc19d72a8004fb8e233

#![feature(conservative_impl_trait)]

fn count(n: u32) -> impl FnMut() -> u32 {
    let mut num = n;
    move || {num += 1; num} // >> ここの`move`です。 <<
}

fn main() {
    let mut counter = count(0);
    println!("{}", counter()); //1
    println!("{}", counter()); //2
    println!("{}", counter()); //3
}

調べても所有権の移動についての記事等がでるだけで文であるmoveがなんなのかがでてきませんでした。
誰か教えて欲しいです。

Answer 1

それはクロージャに捕捉した変数の所有権を移すための構文です。
クロージャは関数の外にある変数を捕捉しますが、デフォルトでは捕捉するときに参照で捕捉します。これを所有権ごと捕捉するようにするのが move || {} 構文です。ドキュメントだとクロージャの章で触れられています。

クロージャ：環境をキャプチャできる匿名関数 - The Rust Programming Language 日本語版

ドキュメントでの説明が簡素すぎるので以下に補足します。

move をつける/つけないで挙動が変わるコード例が以下になります。変数を捕捉して書き換えるクロージャを書いて呼び出したあとに、捕捉された変数が書き換えの影響を受けるか受けないかが変わります。

// moveしないクロージャ
let mut num = 0;
let mut ref_cls = || {
    num += 1;
    num
};
assert_eq!(ref_cls(), 1);
// numはクロージャと共有されてるので変更される
assert_eq!(num, 1);

// moveするクロージャ
let mut num = 0;
// 本当は所有権がムーブするが、数値はCopyな型なのでコピーされる
let mut ref_cls = move || {
    num += 1;
    num
};
assert_eq!(ref_cls(), 1);
// numはクロージャとは無関係になったので影響を受けない
assert_eq!(num, 0);

他にも、もちろん借用と所有権の移動の違いがあるので捕捉された変数をクロージャを作ったあとに使えるかも変わります。

// moveしないクロージャ
let s = "String".to_string();
let ref_cls = || {
    println!("{}", s);
};
// 借用してるので使える
println!("{}", s);

// moveするクロージャ
let s = "String".to_string();
let ref_cls = move || {
    println!("{}", s);
};
// `s`は既にムーブしているので使うとエラー
// println!("{}", s);

質問のコードは move を外すと動かなくなると思います。 num を借用していると関数の終わりでライフタイムが尽きるので関数の外に持ち出せなくなるからです。

Comments

[tasuren]

なるほど、ありがとうございます。