scala の Iterable, IterableOnce

scala のIterable, IterableOnce について調べてみたのでメモ書きを残しておく。
一旦、scala 2.13 とします。

https://www.scala-lang.org/api/2.13.3/scala/collection/Iterable.html

https://www.scala-lang.org/api/2.13.3/scala/collection/IterableOnce.html

Iterable が IterableOnce を継承している。

https://github.com/scala/scala/blob/2.13.x/src/library/scala/collection/Iterable.scala#L28-L30

Iterable はコレクションを扱うベースになる trait で、IterableOps をミックスインしているので、コレクションに対しての普段よく使うようなメソッドが定義されている。

https://www.scala-lang.org/api/2.13.3/scala/collection/Iterable.html

https://www.scala-lang.org/api/2.13.3/scala/collection/IterableOps.html

IterableOnce は1回あるいは複数回走査できるようなコレクションを表す trait。

https://www.scala-lang.org/api/2.13.3/scala/collection/IterableOnce.html

これ自体にはあまりコレクション操作出来るメソッドは無くて、IterableOnceOps に定義されている。mixin していないのは Iterable との大きな違い。

https://www.scala-lang.org/api/2.13.3/scala/collection/IterableOnceOps.html

以下に書いてある通り、最小限のインターフェースを提供することが目的らしい。
普通は以下のコード例にあるように、****Ops を mixin しておくっぽい。Iterable はまさにそう。

https://github.com/scala/scala/blob/2.13.x/src/library/scala/collection/IterableOnce.scala#L25-L40

ちなみに Option は Iterable を継承せず、IterableOnce を継承している点は面白い。

https://github.com/scala/scala/blob/2.13.x/src/library/scala/Option.scala#L144