Rustのイテレータの網羅的かつ大雑把な紹介

  • 58
    いいね
  • 6
    コメント

はじめに

正直なところ、公式ドキュメント std::iter::Iterator - Rust を読めば終了、この記事は不要、という感じはある。
しかしこのページ、例とかは豊富だし良いのだが、関数の並べ順がどうにも微妙な感じがするので、メモを兼ねて用途別(独断と偏見による分類)で紹介してみることにする。

あと、関数の型はHaskell風に書くと流れる感じがあって良い(イテレータの用途とマッチしている気がする)ので、 T -> U -> V のように書くことがある。
とはいえ、わかりやすさ優先で書くと FnMut とか FromA: Default + Extend<A> みたいな独特の情報が失われてしまったため、やはり公式のドキュメントをあわせて見ることをおすすめする。(リンクを沢山張ったので、発見次第別ウィンドウで開くくらいの勢いが良い。)

それから、以下で Iterator<T> と書いているものは、実際には別の様々な型でありうるが、どうせ具体的な型はコード中で意識することは(滅多に)ないので、 Iterator traitを実装しているものはすべて Iterator<T> と書くことにする。

見出しを活用してね!→


中身を(最大1つ)取り出す系

以下のものは、みな最大1つの要素を Option<T> で返す。

next(): Iterator<T> -> Option<T>

次の要素を Some で返す。
次の要素がなければ None を返す。

ただし、イテレータ(の next())が None を返した後に next() を呼んだとき、 None が返ることは保証されない(再び Some を返しても良い)らしい。
その保証が欲しければ、 fuse() を使うべし。
(とはいえ、普通は使い切ったイテレータを再利用することはないので、気にせずとも良いだろう。)

last(): Iterator<T> -> Option<T>

最後の要素を Some で返す。
要素がなければ、 None を返す。

正確には、「 None が返される直前に返されたオブジェクトを返す」が正しい。
ドキュメントにもそう書いてある。
(イテレータが None の後にまた Some を返すこともあるので、「最後の」という言い回しは微妙である。が、まあ直観的な使い方での「最後」である。)

ちなみに、 last() があるのだから first() があっても良いのでは、と一瞬考えてしまうが、要するにそれは next() だ。

nth(): Iterator<T> -> usize -> Option<T>

n番目の要素を Some で返す。
(言うまでもないが、最初の要素は0番目である。)
n番目の要素を得る前に終端に到達した場合、 None を返す。

find(): Iterator<T> -> (&T -> bool) -> Option<T>

与えられた関数 &T -> booltrue を返す最初の要素を Some で返す。
発見できなければ None を返す。

max(): Iterator<T> -> Option<T> (ただし T: Ord)

Ord traitを実装している型のイテレータについて、その最大の要素を Some で返す。
もし同じ最大値が複数あれば、最後に出現したものを返す。
None が返るのは、そもそも要素がひとつもなかった場合である。

min()

最小値を返す。
詳細は max() に同じ。

max_by_key(): Iterator<T> -> (&T -> U) -> Option<T> (ただし U: Ord)

max() と似ているが、T の代わりに、 U で比較を行った結果の最大値を返す
公式では、絶対値が最大の要素を返すコード例が載っている。

min_by_key()

max_by_key() の最小値版。

max_by(): Iterator<T> -> (&T -> &T -> Ordering) -> Option<T>

提供された比較関数で比較をした場合の最大の要素を Some で返す。
これを使えば、たとえば「(ASCIIの)大文字・小文字を区別せず大小比較する」といった特殊な比較を使った最小値が求められる。

大文字・小文字を無視した比較(ごめんこれmin_byのサンプルだわ)
let words = vec!["abc", "FOOBAR", "xyz"];
let case_insensitive_min = words.iter().min_by(|a, b| {
    use std::ascii::AsciiExt;  // for `to_ascii_lowercase()`.

    let a_iter = a.chars().map(|c| c.to_ascii_lowercase());
    let b_iter = b.chars().map(|c| c.to_ascii_lowercase());
    a_iter.cmp(b_iter)
}).unwrap();

(全体コード: Playground)

安直にやれば、 str::to_lowercase() で先に(こちらは ASCII に限らず)小文字に変換しきってから比較ということになるが、これだと文字列の生成、つまりメモリアロケーションがあるので無駄が多い。
そこで min_by を使えば、文字列を生成することなく、文字毎に変換をしつつ比較ということが可能になる。

min_by()

max_by の最小値版。

中身を弄らず要素を選択する系

以下のものは、みな新たなイテレータ Iterator<T> を返す。

filter(): Iterator<T> -> (&T -> bool) -> Iterator<T>

名前の通り。
{与えられた関数(&T -> bool)が true を返すものだけを返すような、新たなイテレータ}を返す。

take(): Iterator<T> -> usize -> Iterator<T>

名前の通り。
{与えられた個数(usize)ぶんの要素を返し、それ以降の要素を無視するような、新たなイテレータ}を返す。

take() したものと skip() したものを両方使いたいのであれば、 by_ref() を使うことになる。そっち参照。

skip(): Iterator<T> -> usize -> Iterator<T>

名前の通り。
{与えられた個数(usize)ぶんの要素を無視し、それ以降の要素を返すような、新たなイテレータ}を返す。

take() したものと skip() したものを両方使いたいのであれば、 by_ref() を使うことになる。そっち参照。

take_while(): Iterator<T> -> (&T -> bool) -> Iterator<T>

名前の通り。
{与えられた関数(&T -> bool)が true を返し続ける間はその要素を返し、最初に false を返したもの含めそれ以降の要素を無視するような、新たなイテレータ}を返す。
要するに「最初に false になったものを含まず、それ以前」である。
ちょうど skip_while() の反対だ。

take_while() したものと skip_while() したものを両方使いたいのであれば、 by_ref() を使うことになる。そっち参照。
訂正: take_while() は、与えた条件を満たさない最初の要素を捨ててしまうので、 by_ref() を使っても駄目だ。
素直にループ等で書くべきだろう。

skip_while(): Iterator<T> -> (&T -> bool) -> Iterator<T>

名前の通り。
{与えられた関数(&T -> bool)が true を返し続ける間はその要素を無視し、最初に false を返したもの含めそれ以降の要素を返すような、新たなイテレータ}を返す。
要するに「最初に false になったものを含め、それ以降」である。

take_while() したものと skip_while() したものを両方使いたいのであれば、 by_ref() を使うことになる。そっち参照。
訂正: take_while() は、与えた条件を満たさない最初の要素を捨ててしまうので、 by_ref() を使っても駄目だ。
素直にループ等で書くべきだろう。

イテレータが持つ要素全体について何かの情報を得る系

以下のものは、だいたい Iterator<T> -> U (ただし U はイテレータではない) のような型になる。
個々の要素(T 型)について何かを弄った値を返すというわけではない。
一般的な情報を得るので、大抵の場合、 UT とは直接には殆ど関係のない型になる。

size_hint(): Iterator<T> -> (usize, Option<usize>)

わかる範囲での残りの要素数の、最低と最高を返す。
最低が usize で、最高が Option<usize> だ。
珍しいことに、この関数はイテレータをconsume しない

デフォルトでは(つまり個々のイテレータ型に特別に実装しなければ)、 (0, None) が返される。
「残りの要素は最低0個で、最高で幾つなのかは不明」という意味だから、まあ何も言ってないのと同じだ。

この関数は元々は、メモリ領域確保の際の最適化などでの利用を意図して用意されているらしい。(たとえば、 collect::<Vec<_>>() とかで予めreserveしておく要素数を見積って効率化を目論む、とかだろう。)
しかしイテレータ側での実装にバグがあるかもしれないから、信用しすぎるなよ、とも書いてある

簡単な用途では、この関数を使う機会はないと考えて良いだろう。

count(): Iterator<T> -> usize

要素を悉く読み飛ばし、その要素数を返す。
正確には、{イテレータ(の next())が最初に None を返すまでに返した要素}の個数を返す。

size_hint() とは違って、イテレータをconsumeするので注意。

all(): Iterator<T> -> (T -> bool) -> bool

名前の通り。
要素を与えられた関数(T -> bool)に渡したとき、すべての要素について true が返れば true を、そうでなければ(つまり1つ以上の要素で false を返れば) false を返す。

any(): Iterator<T> -> (T -> bool) -> bool

名前の通り。
要素を与えられた関数(T -> bool)に渡したとき、1つ以上の要素について true が返れば true を、そうでなければ(つまりすべての要素で false が返れば) false を返す。

position(): Iterator<T> -> (T -> bool) -> Option<usize>

与えられた関数(T -> bool)で true を返すような最初の要素の順番を、 Some で返す。
そのような要素がなければ、 None を返す。

もし順番が usize で表現できる最大値を超えていれば、panicする(メインスレッドだったら普通だと落ちる)ので注意。
(とはいえ、普通に使っていれば問題にはならないはず。)

rposition(): I -> (T -> bool) -> Option<usize> (ただし IExactSizeIterator<T> かつ DoubleEndedIterator<T>)

与えられた関数(T -> bool)で true を返すような最後の要素の(最初側から数えての)順番を、 Some で返す。
そのような要素がなければ、 None を返す。

これを使えるイテレータは条件が少し厳しく、要素数が事前に正しくわかっており、かつ後ろから辿れる必要がある。
配列(arrayやslice)や Vec<T> などはその条件を満たす。

イテレータひとつを、中身をほとんど変えず、役立つ形に作り替える系 (強化系)

以下のものは、様々な型の値を返すが、だいたいが Iterator<T> -> Iterator<T> とか Iterator<T> -> Iterator<&T> とかである。
が、「元のイテレータの要素自体には(殆ど)手を加えない」点は共通している。

peekable(): Iterator<T> -> Iterator<T>

peek() というメンバ関数が使えるような新たなイテレータ(Peekable<T>)を返す。
peek() の型は、 Peekable<T> -> Option<&T> である。
名前の通り、値を取得してイテレータ側から奪い去る前に、前以て参照を貰って中身を確認できるというわけだ。

cloned(): Iterator<&T> -> Iterator<T>

iter.cloned() は、 iter.map(|r| r.clone()) のように動作する。
(実際の実装では、元のイテレータの next() の結果についてOption::cloned()を呼び出すようになっている。)
要するに、参照のイテレータを、所有権のある(cloneされた)オブジェクトのイテレータにするためのものだ。
なお、参照のイテレータでないものについて cloned() を呼ぶことはできない(型エラーになる)ので、いつでも cloned() を使っておけばいいというものでもない。
必要なときにだけ使おう。

fuse(): Iterator<T> -> Iterator<T>

{元のイテレータ(の next())が一度でも None を返したら、それ以降必ず None を返すような、新たなイテレータ}を返す。
電子部品のヒューズみたいなもので、一度要素が切れたら再び繋がることはない、ということだ。

None の後に再び Some を返すイテレータというのがどんなものかは、公式に(若干強引な気はするが)例が載っているので、気になるのであれば参照されたし。
また、実用的な例としては、メッセージキューのメッセージを順次取得するイテレータ(たとえばglutin::PollEventsIterator - Rust等)がある。
これはメッセージを一度すべて読み切って None が返ってきたとしても、その後またメッセージが到着すれば Some が返るようなイテレータだ。

by_ref(): Iterator<T> -> &Iterator<T>

イテレータをconsume せずに、そのイテレータのmutableな参照を返す。
こいつはちょっと特殊だ。

イテレータを別のイテレータに変化させる系(map() とか take() とか)の関数の大半は、元のイテレータを消費(consume)して新たなイテレータを返す。
しかし、たとえば「 take() したイテレータの残りを、また後で使いたい」などの場合、 take() の時点で元のイテレータの所有権を失っては困るわけだ。

let vec_iter = (40..46).collect::<Vec<_>>().into_iter();

println!("first three:");
for (i, n) in vec_iter.take(3).enumerate() {
    println!("{}: {}", i, n);
}

println!("rest:");
for (i, n) in vec_iter.enumerate() { // <- エラー!
    // ↑ "use of moved value: `vec_iter` [E0382]"
    println!("{}: {}", i, n);
}

上の例だと、二度目に使いたいとき(エラーの行)、既に vec_itervec_iter.take(3) によってconsumeされており、呼び出し元のコードは vec_iter の所有権を失っているため、次の使用(vec_iter.enumerate())でエラーになったわけだ。

で、どうするかというと、こうする。

// イテレータは何度も使う(かつ状態が変更される)ので、mutableにする
let mut vec_iter = (40..46).collect::<Vec<_>>().into_iter();

println!("first three:");
// `by_ref()` してから `take()` する
for (i, n) in vec_iter.by_ref().take(3).enumerate() {
    println!("{}: {}", i, n);
}

println!("rest:");
for (i, n) in vec_iter.enumerate() { // <- おk
    println!("{}: {}", i, n);
}

これはコンパイルでき、正しく動作する。
もちろん、出力はこうなる。

output:
0: 40
1: 41
2: 42
rest:
0: 43
1: 44
2: 45

参考までに

型を見ればわかるとおり、 iter.by_ref() というのは、つまり (&mut iter) と同じなのだが、C++等に馴染んでいる人にはこのコードは直観的にわかりかねるだろう(少なくとも私はそうだった)。

公式ドキュメントの、Iterator traitを実装している型のリストをよ〜く見ると、
impl<'a, I> Iterator for &'a mut I where I: Iterator + ?Sized
というのがある。
「任意のイテレータ型 I について、 &mut I 型は Iterator traitを実装している」という意味だ。
実はRustでは、ポインタのような型についてもメンバ関数(のようなもの)を実装することができ、この場合では「イテレータのポインタ」について next() 等のメンバ関数を実装している。
そして、 iter.by_ref().take(3)(&mut iter).take(3) というのは、 iter そのものではなく、 iter への参照について take() を呼び出しているのだ。
で、 Iterator::take(&mut iter, 3) のような形で呼び出されるから、 iter はconsumeされず、所有権も持ったままでいられる、という原理だ。

参考までに、該当箇所のソース (github)の引用もしておこう。

#[stable(feature = "rust1", since = "1.0.0")]
impl<'a, I: Iterator + ?Sized> Iterator for &'a mut I {
    type Item = I::Item;
    fn next(&mut self) -> Option<I::Item> { (**self).next() }
    fn size_hint(&self) -> (usize, Option<usize>) { (**self).size_hint() }
}

inspect(): Iterator<T> -> (&T -> ()) -> Iterator<T>

{イテレータの要素が必要とされる毎に、その要素を副作用のある関数に渡して実行するような、新たなイテレータ}を返す関数。

要するに、中身を覗き見できる。
Rubyで言うところの tap だ。
(参考: TapがRubyの新たな制御構造の世界を開く)

公式のコード例を見れば、何もかも理解できることだろう。

イテレータひとつを、順を変化させたり情報を付随させたりして、役立つ形に作り替える系 (進化系)

以下のものは、様々な型の値を返す。
が、「元のイテレータの要素自体には(殆ど)手を加えない」点は共通している。

enumerate(): Iterator<T> -> Iterator<(usize, T)>

T を返すイテレータから、 enumerate() を呼んだ時点を最初として、要素の順番を (順番, T) の形で一緒に返すような、新たなイテレータ}を返す。

iter.enumerate() は、 (0_usize..).zip(iter) と同義である。
もし usize 以外の要素で順番が必要なのであれば、 zip() を使った方が良い。

cycle(): Iterator<T> -> Iterator<T>

イテレータを永遠にループさせる。
つまり、最後の要素の次に、また最初の要素から繰り返す。
(元のイテレータ(の next()) が None を返すような場合、イテレータの状態が cycle() 呼び出し直後と同じになる……というイメージ。伝われ!)

公式ドキュメントの例を見た方が早い気はした。

scan(): Iterator<T> -> (&mut S -> T -> Option<B>) -> Iterator<B>

fold() の途中経過が見える版。
S は状態、 B は新しいイテレータが吐く型だ。

詳しくは公式ドキュメントの例を見ればわかるが、渡した関数が、状態の更新と、次にイテレータが返す値の計算の両方を担っている。

公式とは別の例も出してみよう。おなじみフィボナッチ数列だ。

let fib = (0..12).scan((0, 1), |prev, _| {
        let ret = prev.0;
        *prev = (prev.1, prev.0 + prev.1);
        Some(ret)
    })
    .collect::<Vec<_>>();
println!("fib: {:?}", fib);
実行結果
fib: [0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89]

べつにループでやればいい話ではあるのだが、まあとにかく状態を持てるということは普通のループっぽいことができるということだ。

(何かいい例募集中)
例はコメントを参照。

rev(): DoubleEndedIterator<T> -> DoubleEndedIterator<T>

名前の通り。
{元のイテレータとは順番を逆にして返すような、新たなイテレータ}を返す。

参考

DoubleEndedIterator<T> というのは、最後尾から前へと辿れるイテレータのことだ。
(単に後ろ向きに進めるイテレータというわけではない。)
C++で言うところの、後ろ向きに進むForwardIteratorであり、BidirectionalIteratorではない

DoubleEndedIterator<T> は、 Iterator<T> でもあるが、それに加えて next_back() というメンバ関数を持っている。
その動作についてはドキュメント(前リンク)を見るべし。

イテレータふたつを組み合わせて、役立つ形に作り替える系 (合体系)

以下のものは、 Iterator<T> -> Iterator<U> -> Iterator<TとUに関係ある型> のような感じである。

chain(): Iterator<T> -> IntoIterator<T> -> Iterator<T>

イテレータを繋げる。
iter1.chain(iter2) は、 iter1 から要素を全部読みきった後、続けて iter2 の要素を返す。 iter2 の要素も全部読んだら、今度こそ終わりとなる。

IntoIterator<T> というのは、つまり雑に言えば「 Iterator<T> に変換可能」ということだ。
自明な例では、 Iterator<T> などは IntoIterator<T> でもある。
他にも、 Vec<T>Iterator<T> に変換できる(正確には impl<T> IntoIterator for Vec<T> で実装されている)ので、 Iterator<T>::chain()Vec<T> を渡す、以下のようなコードも書ける。

for i in vec![1, 2, 3].into_iter().chain(vec![4, 5, 6]) {
    println!("{}", i);
}

また、 iter1.chain(iter2).chain(iter3) などのように複数を一気に繋げることもできる。

zip(): Iterator<T> -> IntoIterator<U> -> Iterator<(T, U)>

2つのイテレータから、{両方の要素を順に取って、そのペアを返すようなイテレータ}を作る。

ここで説明するより、公式ドキュメントの例を見た方が早いだろう。

IntoIterator<U> については、 chain() のところで説明した通りだ。

イテレータが持つ個々の要素を変更して流す系 (加工系)

型は、だいたい Iterator<T> -> (T -> U) -> Uに関係するイテレータ型 みたいな感じである。

map(): Iterator<T> -> (T -> U) -> Iterator<U>

名前から想像できる通りだ。

少しだけ注意が必要なのは、 map() 等は基本的に評価が遅延されるので、これ単体では for 文の代わりには使えないということである。
わかりやすいコードを書くのなら、あくまで値を変化させるために使うべきだろう。

fliter_map(): Iterator<T> -> (T -> Option<U>) -> Iterator<U>

イテレータに対して、{要素を受け取って Option を返す関数}を適用し、 Some だったものの中身だけを繋げて返す関数。
要するに、名前の通り filtermap を同時に行うということだ。

別のイメージとしては、Option のイテレータについて、内側の Some を剥がす(unwrapする)感覚だ。

以下のようなコードが:

例1
for temp_opt in iter.map(foo) {
    if let Some(i) = temp_opt {
        bar(i);
    }
}
例2
for temp_iter in iter.map(foo).filter(Option::is_some).map(Option::unwrap) {
    bar(i);
}

filter_map を使うと、以下のようにできる:

for i in iter.filter_map(foo) {
    bar(i);
}

結構便利だ。

公式のドキュメントでは、「失敗するかもしれない(Result を返す)関数でmapし、その結果から Ok なものだけを取り出して、その中身を列挙するイテレータを返す」、要するに成功例だけを列挙するという、いかにも実用的な例が載っているので、一度は見てみるべきである。

flat_map(): Iterator<T> -> (T -> IntoIterator<U>) -> Iterator<U>

イテレータに対して、{要素を受け取ってイテレータ(に変換できるもの)を返す関数}を適用し、結果出てきたそれぞれのイテレータを順に繋げて返す関数である。

イメージとしては、ネストしたイテレータについて、内側のイテレータを剥がす(unwrapする)感覚だ。

こんなコードが:

例1
for temp_iter in iter.map(foo) {
    for i in temp_iter {
        bar(i);
    }
}

こうなる:

for temp_iter in iter.flat_map(foo) {
    bar(i);
}

参考

勘の良い人は(というか型を見れば)お気付きだろうが、 filter_map()flat_map()Option 特化版である。
そして Option<T>IntoIterator<T> でもある(〜を実装している)から、 filter_map()flat_map() に機械的に置き換えても、何ら問題なく動作する。

むしろ、 Result<T> なんかも IntoIterator<T> を実装しているので、公式ドキュメントの filter_map() の例は、 flat_map を使うともっと簡単になる。

公式の例
let a = ["1", "2", "lol"];

let mut iter = a.iter().filter_map(|s| s.parse().ok());

assert_eq!(iter.next(), Some(1));
assert_eq!(iter.next(), Some(2));
assert_eq!(iter.next(), None);
flat_mapを使う
let a = ["1", "2", "lol"];

// ↓ `.ok()` 要らず
let mut iter = a.iter().flat_map(|s| s.parse());

assert_eq!(iter.next(), Some(1));
assert_eq!(iter.next(), Some(2));
assert_eq!(iter.next(), None);

どちらも使える場合、文字数を節約できる flat_map() を使うか、型と意味の明確な filter_map() を使うかは……まあ皆さんの信仰次第だ。

イテレータの全要素を活用して、別物を作り出す系

直観的には、reduceとかfoldみたいなイメージだ。
型は様々で、 Iterator<T> -> Tに関係ある型 くらいのことしか言えない。

collect(): Iterator<T> -> Tのコレクション

名前の通り。
(コレクションというのは、C++で言うところのコンテナである。)
into_iter() の逆みたいなやつだ。

とはいえ、実際のところRustでコレクションとして使える型は実に様々で、 VecString は勿論、 Result なんかもいける。
特に collect::<Result<Vec<_>, _> の使い方などなかなか面白いので、是非公式ドキュメントの例などを確認してほしい。

partition(): Iterator<T> -> (&T -> bool) -> (Tのコレクション, Tのコレクション)

与えられた述語(&T -> bool)が true を返す要素と false を返す要素を分類し、それらを別々のコレクションに格納してタプルで返す関数である。
(念のため書いておくが、タプルの最初のコレクションが true だった要素、次の(最後の)コレクションが false だった要素である。)

fold(): Iterator<T> -> (B -> T -> B) -> B

みんな大好きfold。
ここで説明するまでもない。

unzip(): Iterator<(T, U)> -> (Tのコレクション, Uのコレクション)

ペアを列挙するイテレータを、ペアの中の一方の要素だけを集めた2つのコレクションに分解する関数。
要するに、 zip() の逆みたいなことをする。

公式の例を見ればすぐに理解できるだろう。

sum(): Iterator<T> -> Tの和の型

イテレータの全ての(正確には最初にNoneが返るまでの)要素の和を返す。
これはfold()で実現可能に見えるし実際その通りだが、こちらの方が若干楽ができたりする。

リファレンスにはfn sum<S>(self) -> S where S: Sum<Self::Item>とあるが、ここでSとは「対象のイテレータの要素の型を集めて作ることのできる、目的の値の型」である(たとえばIterator<i32>に対してi32、などである)。
fold()は二項演算(F: FnMut(B, Self::Item) -> B)を繰り返して最終的な結果を求めるが、このsum()ではイテレータによって要素を一気に受け取って結果を返す。つまり、たとえば内部的には二項演算でなく複数要素を一気に処理したり、といった実装も可能なのである。

参考: collect()

sum()collect()は、用途が違うだけで根本的には同じものである。
型を見てみよう。

fn sum<S>(self) -> S where S: Sum<Self::Item>;
fn collect<B>(self) -> B where B: FromIterator<Self::Item>;

名前と戻り値のtraitしか違わないことがわかる。
collect()で使われる::std::iter::FromIteratorは、イテレータから作れるオブジェクト(典型的にはVecHashMap等のコンテナ)に対して定義するものであるが、::std::iter::Sumはその中でも特に、イテレータから計算できるに対して定義するものである。
このように用途で分けることによって、たとえばIterator<i32>からVec<i32>を作りたい場合とi32の和を求めたい場合で同じ書き方で別の動作をさせることができるようになるのである。

Rust-1.16.0 から、 std::iter::Sumstd::iter::ProductResult に対しても実装されたため、 collect()Result を作るときのような(すなわち、 Ok な値の和や積を求めて Ok で返そうとし、もし Err があれば和や積でなくそのエラー値を返すような)コードを書けるようになった

// ぜんぶ `Ok` なので、結果は `Ok` の和
let arr1: &[Result<u32, &str>] = &[Ok(1), Ok(2), Ok(3)];
assert_eq!(arr1.iter().cloned().sum::<Result<_, _>>(), Ok(6));

// `Err` があったので和は計算できない、 `Err` が返る
let arr2: &[Result<u32, &str>] = &[Ok(1), Err("ouch"), Ok(3)];
assert_eq!(arr2.iter().cloned().sum::<Result<u32, _>>(), Err("ouch"));

(Playground: https://play.rust-lang.org/?gist=41791f3168dcaf76faa8ae71c34d05e2&version=stable&backtrace=0)

product(): Iterator<T> -> Tの積の型

sum()の積バージョン。詳細は(traitと意味を除いて)sum()と同じ。

辞書順比較系

ふたつのイテレータを辞書順比較する。

cmp(): Iterator<T> -> IntoIterator<T> -> Ordering

辞書順比較し、その結果(::std::cmp::Ordering::Less とか)を返す。

例のごとく IntoIterator<T> を受け取るので、イテレータを明示的に作って渡さずとも比較に使うことができる。

partial_cmp(): Iterator<T> -> IntoIterator<T> -> Option<Ordering>

辞書順比較し、その結果(::std::cmp::Ordering::Less とか)を Some で返す。
None が返るのは、比較できない値を比較した場合である。

参考

詳細はPartialOrdでも読んだ方が良いのだが、簡単に説明しておこう。

PartialOrd という「半順序」が定義されていることを表現するtraitがあって、こいつを使った比較(PartialOrd::partial_cmp())は Option<Ordering> を返す。
具体的な例として有名なのが f64 等で、 !(NaN >= 0) かつ !(Nan < 0) であるから、全順序(いわゆる普通の大小関係)にはできないわけである。そういう場合には、比較の結果として None が返る。

PartialOrd に似たものとしてPartialEqがあるので、併せて見るのが良いだろう。
こちらはもう少しわかりやすい。要するに「同値関係の、反射律の成り立たない版」だからだ。
反射律の破れる例は、 NaN != NaN みたいなやつである。

eq(), ne(), lt(), le(), gt(), ge(): Iterator<T> -> IntoIterator<T> -> bool

名前の通り。
辞書順比較し、関数名の示す関係が成り立つなら true を、それ以外なら false を返す。


まとめ

  • ループのネストが深いときは、中身の何かを剥がす系のメソッドを探そう
  • 「剥がしてまた包む」ような冗長に見える処理があるときは、剥がした中身に作用するメソッドを探そう
  • イテレータの代わりに、「イテレータにできるもの(IntoIterator)」を渡せるメソッドもあるので、うまく使おう
  • OptionResult 等もイテレータにできることを憶えておこう
  • 関数を受け取るメソッドは、渡される関数が Self::Item を受け取るか &Self::item を受け取るかで挙動が推測できるゾ
    • Self::Item は変換系か、イテレータを返さないメソッド
    • &Self::Item はフィルタ系で、かつイテレータを返すメソッド
  • それはさておき、公式ドキュメントを読もう!

See also