質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.39%
Rust

Rustは、MoFoが支援するプログラミング言語。高速性を維持しつつも、メモリ管理を安全に行うことが可能な言語です。同じコンパイル言語であるC言語やC++では困難だったマルチスレッドを実装しやすく、並行性という点においても優れています。

Q&A

解決済

1回答

2662閲覧

Rust のクロージャについて

KN2018

総合スコア18

Rust

Rustは、MoFoが支援するプログラミング言語。高速性を維持しつつも、メモリ管理を安全に行うことが可能な言語です。同じコンパイル言語であるC言語やC++では困難だったマルチスレッドを実装しやすく、並行性という点においても優れています。

3グッド

1クリップ

投稿2021/05/01 16:15

以下にある (例1) は実行可能なのですが、(例2) がコンパイルエラーになる理由が分かりません。
(例2) も、「let mut func」とすればコンパイルが通るのですが、そうすると、逆に (例1) で「mut」が不要な理由が分からなくて悩んでいます。
すみませんが、ご教授くださるよう、どうぞ宜しくお願いいたします。

(例1)

fn main() { let str = "string".to_string(); let mut count = 10; let func = || { count += 1; std::mem::drop(str); }; func(); }

(例2)

fn main() { let str = "string".to_string(); let mut count = 10; let func = || { count += 1; // std::mem::drop(str); }; func(); }
tesaguri, tatsuya6502, yohhoy👍を押しています

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ベストアンサー

結論から言うと、例1と例2のクロージャが実装しているクロージャトレイトの種類が異なるからです。

  • 例1のクロージャ:FnOnceトレイトだけを実装している
  • 例2のクロージャ:FnOnceトレイトとFnMutトレイトの両方を実装している

FnMutトレイトを実装するときは、そのクロージャに束縛されている変数(func)にmutキーワードが必要になります。

なぜそうなのか、もう少し詳しく説明しましょう。

クロージャは「無名関数」と「捕捉した環境」からなるデータ構造です。Rustではクロージャを作る構文(|| {..})は糖衣構文になっており、コンパイラはそれに対して以下を自動生成します。

  • 環境を表現するための匿名型(匿名のstruct
  • 環境に対するクロージャトレイトの実装。無名関数はそれらのトレイトが要求するトレイトメソッドとして実装される

匿名型について、たとえば例1のクロージャについて考えてみましょう。

rust

1 // 例1のクロージャは`count`と`str`にアクセスする 2 let func = || { 3 // += 演算子(std::ops::AddAssign)は&mut countを要求する 4 count += 1; 5 // dropはstrの所有権をとる 6 std::mem::drop(str); 7 };

この場合、以下のような匿名型が作られます。

rust

1struct FuncEnv1<'a> { 2 count: &'a mut i32, 3 str: String, 4}

クロージャトレイトは、無名関数が環境をどう使うかによって、以下の3種類に分けられています。

FnOnceトレイト(ドキュメント):

  • 無名関数を表すcall_once(self, args: Args)メソッドの実装を要求する
  • このメソッドの第1引数はselfなので環境の所有権をとる。そのため1回しかコールできない

FnMutトレイト(ドキュメント):

  • 無名関数を表すcall_mut(&mut self, args: Args)メソッドの実装を要求する
  • このメソッドの第1引数は&mut selfなので何度でもコールできるが、環境の内容を変更することがある
  • FnMutトレイトを実装するには、FnOnceトレイトも実装しなければならない

Fnトレイト(ドキュメント):

  • 無名関数を表すcall(&self, args: Args)メソッドの実装を要求する
  • このメソッドの第1引数は&selfなので何度でもコールできる。環境の内容は変更しない
  • Fnトレイトを実装するには、FnMutFnOnceトレイトも実装しなければならない

最初に言ったとおり、例1のクロージャと例2のクロージャでは実装しているトレイトが異なります。

  • 例1のクロージャ:FnOnceトレイトだけを実装している
  • 例2のクロージャ:FnOnceトレイトとFnMutトレイトの両方を実装している

このことを確認してみましょう。例1を以下のように書き換えます。

rust

1// 例1の修正版 2 3// この関数は引数にFnMutを実装するクロージャをとる 4fn take_fn_mut(func: &mut impl FnMut()) { 5 func(); 6} 7 8// この関数は引数にFnOnceを実装するクロージャをとる 9fn take_fn_once(func: impl FnOnce()) { 10 func(); 11} 12 13fn main() { 14 let str = "string".to_string(); 15 let mut count = 10; 16 17 let func = || { 18 count += 1; 19 std::mem::drop(str); 20 }; 21 22 // FnMutではないのでコンパイルできない 23 take_fn_mut(&mut func); 24 25 // FnOnceなのでコンパイルできる 26 take_fn_once(func); 27}

このコードはtake_fn_mut(&mut func);のところで以下のようなコンパイルエラーになります。

console

1$ cargo check 2... 3 4error[E0525]: expected a closure that implements the `FnMut` trait, but this closure only implements `FnOnce` 5 --> src/bin/main1.rs:17:16 6 | 717 | let func = || { 8 | ^^ this closure implements `FnOnce`, not `FnMut` 918 | count += 1; 1019 | std::mem::drop(str); 11 | --- closure is `FnOnce` because it moves the variable `str` out of its environment 12... 1323 | take_fn_mut(&mut func); 14 | ----------- the requirement to implement `FnMut` derives from here

エラーの内容

  • クロージャがFnMutを実装していることが期待されているが、実際にはFnOnceしか実装していない
  • クロージャはFnOnceを実装する(FnMutではない)
  • クロージャがFnOnceなのは、変数strを環境(の匿名struct)からメソッド本体にムーブアウトするから

先ほど示したように、例1の匿名型は以下のようになります。

rust

1struct MyFuncEnv<'a> { 2 count: &'a mut i32, 3 str: String, 4}

std::mem::dropself.strの所有権を取るため、無名関数は第1引数にselfを取る必要があります(&mut self&selfではだめです) そのため、このクロージャはcall_once(self, args: Args)の実装を持つFnOnceしか実装できません。

一方、例2のクロージャはFnOnceに加えてFnMutを実装します。そのため以下のように書き換えてもコンパイルエラーになりません。

rust

1// 例2の修正版 2fn main() { 3 let mut count = 10; 4 5 // mutを追加した 6 let mut func = || { 7 count += 1; 8 }; 9 10 // どちらもコンパイルできる 11 take_fn_mut(&mut func); 12 take_fn_once(func); 13}

クロージャの本体からstd::mem::dropがなくなったために、所有権を取る必要がなくなり、FnMutが要求するcall_mut(&mut self, args: Args)が実装できるようになったからです。

最後にFnMutだとfuncmutが必要になる理由ですが、これはクロージャが匿名structであることで説明できます。現時点はnightly版のコンパイラ限定ですが、クロージャのstructFnMutなどの実装を自分で書くこともできます。それを使うと例2は以下のように実装できます。(cargo +nightly runで実行できます)

rust

1// `FnMut`などの実装を提供するには、現時点ではnightly版コンパイラで、 2// 以下の実験的なフィーチャをオンにしないといけない 3#![feature(fn_traits, unboxed_closures)] 4 5// 例2のクロージャの環境。countの&mut参照を持つ 6struct FuncEnv2<'a> { 7 count: &'a mut i32, 8} 9 10// FnOnceの実装 11// FnMutを実装するためには、まずFnOnceを実装しないといけない 12impl<'a> FnOnce<()> for FuncEnv2<'a> { 13 type Output = (); // クロージャの戻り値型 14 15 // call_onceを実装する。このメソッドはselfを取る 16 extern "rust-call" fn call_once(self, _args: ()) -> Self::Output { 17 *self.count += 1; 18 } 19} 20 21// FnMutの実装 22impl<'a> FnMut<()> for FuncEnv2<'a> { 23 // call_mutを実装する。このメソッドは&mut selfを取る 24 extern "rust-call" fn call_mut(&mut self, _args: ()) -> Self::Output { 25 *self.count += 1; 26 } 27} 28 29// この関数は引数にFnMutを実装するクロージャをとる 30fn take_fn_mut(func: &mut impl FnMut()) { 31 func(); 32} 33 34// この関数は引数にFnOnceを実装するクロージャをとる 35fn take_fn_once(func: impl FnOnce()) { 36 func(); 37} 38 39fn main() { 40 let mut count = 10; 41 42 // funcの実体は環境を表すstruct 43 let mut func = FuncEnv2 { 44 count: &mut count, 45 }; 46 47 // FnMutを実装するのでcall_mut(&mut self, ...)を呼ぼうとする 48 // &mut self(&mut funcと同じ)をするためにはfuncがmutでないとならない 49 func(); 50 51 // これらも問題なく呼べる 52 take_fn_mut(&mut func); 53 take_fn_once(func); 54}

func()としたとき、このクロージャはFnMutを実装するために、call_mut(&mut self, ...)メソッドを呼ぼうとします。&mut self&mut funcと同じですが、それをするためには、funcmutの必要があります。

一方、FnOnceの場合はfuncの所有権を取るので、mutは不要になります。その一方で、funcの値はメソッドにムーブしてしまうので、1回しか呼べなくなります。

投稿2021/05/02 04:23

編集2021/05/02 04:31
tatsuya6502

総合スコア2046

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

KN2018

2021/05/02 07:56 編集

大変丁寧に教えてくださり、本当にありがとうございます。これほどの詳しい解説を書いてくださるために、貴重な時間をどれだけ費やしたかと想像し、本当に感謝の言葉が尽きない思いです。 Rust にとりかかってからまだ数日しか経っておらず、知識が非常に浅い状態でしたので、1行1行から学べることがたくさんあり、知識を深めることができ、大変感謝しております。 実は、さきほどから、どのように感謝の気持ちを表せばよいか悩んでいるのですが、うまく思いつきません、、。平凡な言い方しかできず申し訳ありませんが、本当に本当にありがとうございました。
tatsuya6502

2021/05/03 01:14

疑問が解けたようでよかったです。感謝については普通に「ありがとうございます」で十分ですよ。私は答えを元々知っていたので回答を書くのがすごく大変だったわけではありません。たしかに、適切な例を作るのに試行錯誤があったり、作文の面でそれなりに時間はかかりましたが。 それに、ご質問の内容は、多分、他の多くの人も同じように疑問に持つところだと思います。ですから、こういう形でQ&Aとして残ると他の人にも役立つのではないでしょうか。そう考えると1つの回答の作成に時間をかけても割に合うのかなと考えています。
KN2018

2021/05/03 05:39

温かい言葉を掛けてくださり、大変ありがとうございます。 nightly版のコンパイラを実際に使ってみる貴重な機会ともなりました。nightly版の存在を知っていても、実際に利用してみようという機会はなかなかないと思うので、良い機会を与えてくださり感謝しております。 また、この質問とは別の質問にもご回答してくださり、本当にありがとうございました。
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.39%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問