参照の引数を持つ関数を別の関数に渡したい

where句を用いて関数型をFに指定して、またargsの一部をTに指定して関数に渡したいです。

rust
1pub fn func_a<T: AsRef<[u8]>>(input: T) -> Vec<u8> {
2   unimplemented!()
3}
4
5pub fn func_b<F, T>(&self, func: F)
6where
7    T: AsRef<[u8]>,
8    F: Fn(T) -> Vec<u8>,
9{
10    let input: Vec<u8> = vec![0, 1, 2, 3];
11    let output = fnc(input.as_ref());
12    unimplemented!()
13}

関数func_aを関数func_bのargとして渡したいです。だいたいwhere句は上記のような例になると予想しますがコンパイルが通りません。下記のようなエラーが出現します。

error
1error[E0308]: mismatched types
2  --> src\named.rs:67:30
3   |
457 |     fn func_b<F, T: AsRef<[u8]>>(&self, fnc: F) -> (Vec<u8>, u32)
5   |                        - this type parameter
6...
767 |             let output = fnc(input.as_ref());
8   |                              ^^^^^^^^^^^^^^ expected type parameter `T`, found `&[u8]`
9   |
10   = note: expected type parameter `T`
11                   found reference `&[u8]`
12   = help: type parameters must be constrained to match other types
13   = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters

func_aは外部から取得するのでfunc_bを変える事になります。

この問題はどのように解決をすればいいでしょうか？
何かわかる方は回答の方をよろしくお願いします。

行動規範の内容に同意します

回答2件

ベストアンサー

こんにちは。
元のコードがお困りの箇所以外でもエラーがある（&self 、 func と fnc など）ので回答が難しいのですが、以下のコードであればコンパイルが通ります。

rust
1pub fn func_a<T: AsRef<[u8]>>(input: T) -> Vec<u8> {
2   unimplemented!()
3}
4
5pub fn func_b<F>(func: F)
6where
7    F: Fn(&[u8]) -> Vec<u8>,
8{
9    let input: Vec<u8> = vec![0, 1, 2, 3];
10    let output = func(input.as_ref());
11    unimplemented!()
12}

play ground

恐らく、 func_a がジェネリクスなので func_b でもジェネリクスっぽく指定しようとしたのだと思います。恐らくお気付きかと思いますが、残念ながらRustではジェネリクス関数をジェネリクスとして受け取ることはできません。やるとしたら以下の2つのうち、どちらかになります。

ジェネリクス関数を受け取る関数(ここでは func_b のこと)も、ジェネリクスにする
ジェネリクスではなく固定の型を受け取る関数として受け取る

1の方法は受け取る関数（func_b）の外部からデータを与える場合に向いており、2の方法は関数内部でデータを用意する場合に向いています。
今回提示されたコードは関数内部でデータを用意していますが、型付けが1の方法だったのでエラーになっていました。そこで2の方法で型を書き直してエラーを解消しました。

この回答と他の回答との差分ですが、F のトレイト境界にライフタイム注釈があるかどうかの違いです。
F: Fn(&[u8]) -> Vec<u8> とライフタイム注釈なしでトレイト境界を書いた場合は F: for<'a> Fn(&'a [u8]) -> Vec<u8> と書いたのと同じ意味になります。これは func_b のジェネリクスパラメータに 'a を書くのとは異なる意味を持ちます（こちらの方がより自然な挙動をします）。このあたりはややこしいのでさらなる情報が欲しい場合はRustnomiconの高階トレイト境界を参照してみて下さい。

投稿2020/06/04 05:21