Traversableトレイト 目次

`Traversable`トレイト

コレクション階層のトップはTraversableトレイトです。 Traversableトレイトの唯一の抽象メソッドはforeachです。

def foreach[U](f: Elem => U)

Traversableを実装するコレクションクラスはこのメソッドを定義するだけで大丈夫です。他のメソッドはTraversableから継承できます。

foreachメソッドはコレクションの全ての要素を辿って、与えられた操作fを各要素に適用することを意図しています。この操作の型はElem => Uで、Elemはコレクションの要素の型で、Uは任意の結果型です。 fはその副作用のためだけに呼び出されます。さらに言えばfの結果はforeachによって捨てられます。

Traversableは多くの具象メソッドも定義し、その全てを以下のテーブルに挙げています。これらのメソッドは以下のカテゴリに分類できます:

追加, ++は2つのTraversableを追加する、もしくは全てのイテレータの要素をTraversableに追加します。
写像演算, map, flatMap, およびcollectはコレクションの要素に関数を適用して新しいコレクションを作成します。
変換, toArray, toList, toIterable, toSeq, toIndexedSeq, toStream, toSet, toMapはTraversableコレクションをより具体的なものに変えます。これらの全ての変換は、実行時の型が要求された型に既に合っている場合はレシーバ引数を変更せずに返します。例えばリストにtoListを適用するとそのリスト自身が返ってきます。
複写演算, copyToBufferおよびcopyToArray。名前が示すようにコレクションの要素をそれぞれバッファや配列にコピーします。
サイズ情報演算 isEmpty, nonEmpty, size, およびhasDefiniteSize: Traversableコレクションは有限の場合も無限の場合もあります。無限Traversableコレクションの例は自然数のストリームStream.from(0)です。メソッドhasDefiniteSizeはコレクションが無限の場合があるのか示します。もしhasDefiniteSizeがtrueを返した場合、コレクションは確実に有限です。もしfalseを返した場合はコレクションはまだ完全には仕上がっておらず無限の場合も有限の場合もあり得ます。
要素の取得演算 head, last, headOption, lastOption, およびfind。これらはコレクションの最初の要素や最後の要素、または条件に這う最初の要素を選択します。しかし、全てのコレクションが何が「最初」で何が「最後」なのかはっきりとした意味を定めているわけではないことに注意してください。例えば、ハッシュセットは要素を実行時ごとに変化するハッシュキーの順番で保持すると考えられます。その場合ハッシュセットの「最初」の要素はプログラムの実行ごとに異なる場合があります。コレクションは常に要素を同じ順番で生じさせるときに順序付き(ordered)であると言います。ほとんどのコレクションは順序付きですが、いくつかのもの(例えばハッシュセット)は順序付けを提供しないことでやや性能を上げています。順序付けは再現可能なテストの作成やデバッグの補助に必要不可欠であることが多々あります。そのためScalaのコレクションは全てのコレクション型について順序付きのものも用意しています。例えばHashSetの順序付きのものはLinkedHashsetです。
部分コレクション取得演算 tail, init, slice, take, drop, takeWhile, dropWhile, filter, filterNot, withFilter。これらは全て添字範囲や述語によって示される部分コレクションを返します。
分割演算 splitAt, span, partition, groupByはこのコレクションの要素をいくつの部分コレクションに分割します。
要素テスト exists, forall, countは与えられた述語によってコレクションの要素を調べます。
畳み込み foldLeft, foldRight, /:, :\, reduceLeft, reduceRightは隣接する要素に二項演算を施します。
特定の畳み込み sum, product, min, maxは特定の型(数値や比較可能なもの)のコレクションに対して作用します。
文字列演算 mkString, addString, stringPrefixはコレクションを文字列に変換する別の方法を提供します。
ビュー演算は2通りにオーバーロードされたviewメソッドの変種からなります。ビューは遅延的に評価されるコレクションです。ビューについては他のところで学びます。

Traversableクラス内の演算
何であるか	何をするか
抽象メソッド:
`xs foreach f`	`xs`の全ての要素に対して関数`f`を実行する。
追加:
`xs ++ ys`	`xs`と`ys`の両方の要素からなるコレクション。 `ys`はTraversableOnceコレクション、つまりTraversableまたはIterator。
写像:
`xs map f`	`xs`の全ての要素に関数`f`を適用して得られるコレクション。
`xs flatMap f`	`xs`の全ての要素に、コレクションを値とする関数`f`を適用し、結果を連結して得られるコレクション。
`xs collect f`	`xs`の要素のうち部分関数`f`が定義されている全ての要素に対して`f`を適用し、結果を集めて得られるコレクション。
変換:
`xs.toArray`	このコレクションを配列に変換する。
`xs.toList`	このコレクションをリストに変換する。
`xs.toIterable`	このコレクションをイテラブルに変換する。
`xs.toSeq`	このコレクションを列に変換する。
`xs.toIndexedSeq`	このコレクションを添字付き列に変換する。
`xs.toStream`	コレクションをストリームに変換する。
`xs.toSet`	コレクションを集合に変換する。
`xs.toMap`	キーと値のペアのコレクションをマップに変換する。もしこのコレクションがペアを要素として持たなければ、この演算の呼び出しは静的な型エラーとなる。
複写:
`xs copyToBuffer buf`	このコレクションの全ての要素をバッファ`buf`にコピーする。
`xs copyToArray(arr, s, n)`	このコレクションの高々`n`要素を配列`arr`に添字`s`からコピーする。最後の2つの引数は省略可能である。
大きさ情報:
`xs.isEmpty`	このコレクションが空かどうか調べる。
`xs.nonEmpty`	このコレクションが要素を含むか調べる。
`xs.size`	このコレクション内の要素数。
`xs.hasDefiniteSize`	`xs`が有限の大きさを持つと分かっていれば真。
要素取得:
`xs.head`	このコレクションの最初の要素(もし順序付けが定義されていなければある要素)。
`xs.headOption`	`xs`の最初の要素をオプション値に入れたもの、またはもし`xs`が空ならば`None`
`xs.last`	このコレクションの最後の要素(もし順序付けが定義されていなければある要素)。
`xs.lastOption`	`xs`の最後の要素をオプション値に入れたもの、またはもし`xs`が空ならば`None`
`xs find p`	`xs`の要素で最初に`p`を満たす要素を含むオプション値、またはもしどの要素も適さないなら`None`
部分コレクション:
`xs.tail`	このコレクションの`xs.head`以外の残り。
`xs.init`	このコレクションの`xs.last`以外の残り。
`xs slice (from, to)`	`xs`の添字範囲内の要素からなるコレクション(`from`から`to`を含まず`to`まで)。
`xs take n`	`xs`の最初の`n`要素からなるコレクション(もし順序付けが定義されていなければ任意の`n`要素)
`xs drop n`	このコレクションの`xs take n`以外の残り。
`xs takeWhile p`	このコレクション内の要素のプレフィックスで、全てが`p`を満たす最長のもの。
`xs dropWhile p`	全てが`p`を満たす最長のプレフィックスを除いたコレクション。
`xs filter p`	`xs`の要素で述語`p`を満たす全ての要素からなるコレクション。
`xs withFilter p`	このコレクションの非正格なフィルタ。続く`map`, `flatMap`, `foreach`および`withFilter`の呼び出しは`xs`の要素で条件`p`が真となるものにだけ適用される。
`xs filterNot p`	`xs`の要素で述語`p`を満たさない全ての要素からなるコレクション。
分割:
`xs splitAt n`	`xs`をある位置で分割し、コレクションのペア`(xs take n, xs drop n)`を与える。
`xs span p`	`xs`を述語に従って分割し、コレクションのペア`(xs takeWhile p, xs.dropWhile p)`を与える。
`xs partition p`	`xs`を2つのコレクションのペアに分割する。 1つは述語`p`を満たす要素を含み、もう1つは満たさない要素を含み、コレクションのペア`(xs filter p, xs.filterNot p)`を与える。
`xs groupBy f`	`xs`を判別関数`f`に従いコレクションのマップに分割する。
要素状態:
`xs forall p`	`xs`の全ての要素で`p`が成り立つか示す真偽値。
`xs exists p`	`xs`のある要素で`p`が成り立つか示す真偽値。
`xs count p`	`xs`の要素で`p`を満たす要素数。
折り畳み:
`(z /: xs)(op)`	`z`から始まり左から右へ、二項演算`op`を`xs`の隣り合った要素に適用する。
`(xs :\ z)(op)`	`z`から始まり右から左へ、二項演算`op`を`xs`の隣り合った要素に適用する。
`xs.foldLeft(z)(op)`	`(z /: xs)(op)`と同じ。
`xs.foldRight(z)(op)`	`(xs :\ z)(op)`と同じ。
`xs reduceLeft op`	左から右へ、二項演算`op`を空でないコレクション`xs`の隣り合った要素に適用する。
`xs reduceRight op`	`z`から始まり右から左へ、二項演算`op`を空でないコレクション`xs`の隣り合った要素に適用する。
特定の折り畳み:
`xs.sum`	コレクション`xs`の数値要素値の和。
`xs.product`	コレクション`xs`の数値要素値の積。
`xs.min`	コレクション`xs`の順序付けされた要素値の最小値。
`xs.max`	コレクション`xs`の順序付けされた要素値の最大値。
文字列:
`xs addString (b, start, sep, end)`	`xs`の全ての要素をセパレータ`sep`で区切って表示し、文字列`start`と`end`で囲った文字列を`StringBuilder`に追加する。 `start`, `sep`, `end`は全て省略可能。
`xs mkString (start, sep, end)`	コレクションを、`xs`の全ての要素をセパレータ`sep`で区切って表示し、文字列`start`と`end`で囲った文字列に変換する。 `start`, `sep`, `end`は全て省略可能。
`xs.stringPrefix`	`xs.toString`によって返される文字列の先頭にあるコレクション名。
ビュー:
`xs.view`	`xs`に対するビューを生成する。
`xs view (from, to)`	`xs`の添字範囲内の要素を表すビューを生成する。

続いては: Iterableトレイト

Traversableトレイト 目次

Traversableトレイト

`Traversable`トレイト