13
8

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

More than 5 years have passed since last update.

Opt TechnologiesAdvent Calendar 2016

Day 10

Rustのimpl trait

Last updated at Posted at 2016-12-09

RustでIteratorやクロージャーなどのtraitを返す関数を作ろうとするとハマります。
Rustの関数は帰り値はスタック上のサイズを知る必要があります。
つまりRustの関数は具象型しか返せません。 traitとか返せないわけです。

どうしてもtraitを関数から返したい場合はBoxなどに包んでやる必要があります 
特にクロージャーtraitは具象型をユーザーが書くのは不可能なのでクロージャー返したい場合はどうしてもBoxで包む必要がありました

fn count(n: u32) -> Box<FnMut() -> u32> {
    let mut num = n;
    Box::new(move || {num += 1; num})
}

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

traitを返したい場合にBox::newによるアロケートと
返されたtraitのメソッドを使う場合に動的ディスパッチが行われるのは残念です。
あとオブジェクト安全なtraitしかBoxに入れる事はできません。
オブジェクト安全ではないtraitを関数から返すのは不可能です。 ファ○ク

##impl trait
Nightlyコンパイラの場合#![feature(conservative_impl_trait)]を指定するとimpl traitを使えます。
返したいtraitの前にimplをつけるとtraitを関数の戻り値の型として指定できます。
実行時の動きとしては具象型を指定した場合と変わらないはずです。
オブジェクト安全である事も要求されません。

//例
fn hoge() -> impl Fuge { .. }

最初の例をimpl traitで書き直してみましょう

#![feature(conservative_impl_trait)]

fn count(n: u32) -> impl FnMut() -> u32 {
    let mut num = n;
    move || {num += 1; num}
}

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

Box使わずにクロージャを返せました
他にもiteratorを関数から返したい時なんかにも便利です。

impl traitが使えない場合

  • 返す型が違う場合

スタック上のサイズが違う可能性があるので当たり前ですね。
諦めてBoxに包みましょう。

  • trait内のメソッド

これは何故でしょうか。
あくまで関数の戻り値の型専用ってことでしょうか。
誰か分かる人教えて下さい。

参考

http://www.ncameron.org/blog/abstract-return-types-aka-%60impl-trait%60/
https://doc.rust-lang.org/beta/book/trait-objects.html

13
8
3

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
13
8

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?