列トレイトSeq, IndexedSeq, およびLinearSeq 目次

列トレイト`Seq`, `IndexedSeq`, および`LinearSeq`

Seqトレイトは列を表します。列はlengthを持ち、各要素が0から始まる固定された添字位置を持つイテラブルです。

列に対する演算は以下の図に要約でき、以下のカテゴリに分類できます:

添字付けおよび長さ演算 apply, isDefinedAt, length, indices, およびlengthCompare。 Seqではapply演算は添字付けを意味します。したがってSeq[T]型の列はInt引数(添字)を取って列のT型の要素を返す部分関数です。言いかえるとSeq[T]はPartialFunction[Int, T]を継承します。列の要素はゼロから列のlength-1まで添字付けられています。 lengthは一般的なコレクションのsizeメソッドの別名です。 lengthCompareメソッドは2つの列のうち1つが無限の長さを持っていても長さを比べられます。
添字検索演算 indexOf, lastIndexOf, indexofSlice, lastIndexOfSlice, indexWhere, lastIndexWhere, segmentLength, prefixLengthは与えられた要素に等しいか述語に合う要素の添字を返します。
加算演算 +:, :+, padToは列の最初か最後に要素を追加した新しい列を返します。
更新演算 updated, patchは元の列の要素を置き変えて得られる新しい列を返します。
整列演算 sorted, sortWith, sortByは列の要素を様々な条件で整列します。
反転演算 reverse, reverseIterator, reverseMapは列の要素を逆順に処理または返します。
比較 startsWith, endsWith, contains, containsSlice, correspondsは2つの列を比べたり、列の中の要素を検索したりします。
多重集合演算 intersect, diff, union, distinctは2つの列に対して集合のような演算を適用したり、重複を取り除いたりします。

もし列が変更可能であれば、追加で副作用のあるupdateメソッドを提供します。通常のScalaのようにseq(idx) = elemという構文はseq.update(idx, elem)の略であり、updateは便利な代入構文をタダで与えます。 updateとupdatedの違いに注意してください。 updateは列の要素を直接変更しますが、updatedは全ての列で利用可能で、元の列を変更する代わりに常に新しい列を返します。

クラスSeq内の演算
何であるか	何をするか
添字付けと長さ:
`xs(i)`	(または書き下して`xs apply i`)。`xs`の`i`にある要素。
`xs isDefinedAt i`	`i`が`xs.indices`に含まれるか調べる。
`xs.length`	列の長さ(`size`と同じ)。
`xs.lengthCompare ys`	`xs`が`ys`より短かければ`-1`を返し、長ければ`+1`を返し、同じ長さを持てば`0`を返す。片方の列が無限でも動作する。
`xs.indices`	`xs`の添字範囲で、0から`xs.length - 1`まで。
添字検索:
`xs indexOf x`	`x`と等しい`xs`内の最初の要素の添字(いくつか変種がある)。
`xs lastIndexOf x`	`x`と等しい`xs`内の最後の要素の添字(いくつか変種がある)。
`xs indexOfSlice ys`	その添字から始まる要素が`ys`となるような`xs`の最初の添字。
`xs lastIndexOfSlice ys`	その添字から始まる要素が`ys`となるような`xs`の最後の添字。
`xs indexWhere p`	`xs`内で最初に`p`を満たす要素の添字(いくか変種がある)。
`xs segmentLength (p, i)`	`xs`内の要素で、全てが途切れ無く述語`p`を満たすような`xs(i)`から始まる最も長い区間の長さ。
`xs prefixLength p`	`xs`内の要素で、全てが述語`p`を満たすような最も長いプレフィックスの長さ。
追加:
`x +: xs`	`x`を`xs`の最初に追加してできた新しい列。
`xs :+ x`	`x`を`xs`の最後に追加してできた新しい列。
`xs padTo (len, x)`	長さが`len`になるまで`xs`に値`x`を最後に追加してできる列。
更新:
`xs patch (i, ys, r)`	`xs`の`i`から始まる`r`要素をパッチ`ys`で置き替えてできる列。
`xs updated (i, x)`	添字`i`にある要素を`x`で置き替えた`xs`のコピー。
`xs(i) = x`	(または書き下して`xs.update(i, x)`、`mutable.Seq`にのみ存在) `xs`の添字`i`にある要素を`y`に変更する。
整列:
`xs.sorted`	`xs`の要素型の標準的な順序付けで`xs`の要素を整列して得られる新しい列。
`xs sortWith lt`	`lt`を順序付け演算として`xs`の要素を整列して得られる新しい列。
`xs sortBy f`	`xs`の要素を整列して得られる新しい列。 2要素の比較はまず関数`f`で両者を写してその結果を比較する。
反転:
`xs.reverse`	`xs`の要素を逆順で持つ列。
`xs.reverseIterator`	全ての`xs`内の要素を逆順で返すイテレータ。
`xs reverseMap f`	`f`を`xs`の要素に逆順に適用して得られる列。
比較:
`xs startsWith ys`	`xs`が列`ys`で始まるか調べる(いくつか変種がある)。
`xs endsWith ys`	`xs`が列`ys`で終わるか調べる(いくつか変種がある)。
`xs contains x`	`xs`が`x`と等しい要素を含むか調べる。
`xs containsSlice ys`	`xs`が列`ys`と等しい連続な部分列を持つか調べる。
`(xs corresponds ys)(p)`	`xs`と`ys`の対応する要素が二項述語`p`を満たすか調べる。
多重集合演算:
`xs intersect ys`	`xs`と`ys`の多重集合積で、`xs`の要素の順序を保存する。
`xs diff ys`	`xs`と`ys`の多重集合差で、`xs`の要素の順序を保存する。
`xs union ys`	多重集合和。`xs ++ ys`と同じ。
`xs.distinct`	重複する要素を含まない`xs`の部分列。

Seqトレイトは2つの子トレイトLinearSeq, およびIndexedSeqを備えます。両者は新しい演算を追加しませんが、それぞれ異なる効率特性を示します: 線形列(LinearSeq)は効率の良いheadとtail演算を備えている一方、添字付き列(IndexedSeq)は効率の良いapply, length, および(可変であれば)update演算を備えています。よく使われる線形列はscala.collection.immutable.Listとscala.collection.immutable.Streamです。よく使われる添字付き列はscala.Arrayとscala.collection.mutable.ArrayBufferです。 Vectorクラスは添字付きと線形アクセスの興味深い折衷案を提供します。実質的に定数時間の添字付けのオーバーヘッドと、定数時間の線形アクセスのオーバーヘッドを持ちます。この性質により、ベクタ(Vector)は添字付きと線形アクセスの両方が使われるような、混合したアクセスパターンのためのよい基盤となります。ベクタについては他のところで学びます。

続いては:

バッファ

列トレイトSeq, IndexedSeq, およびLinearSeq 目次

列トレイトSeq, IndexedSeq, およびLinearSeq

列トレイト`Seq`, `IndexedSeq`, および`LinearSeq`