8.5 タプル (Tuples)

関数から１つ以上の結果を返す必要がたまに生じます。たとえば、与えられた２つの整数引数の整数商と余りを返す関数 divmod を考えましょう。もちろん、divmod の２つの結果を保持するクラスを次のようにも定義できます。

case class TwoInts(first: Int, second: Int) def divmod(x: Int, y: Int): TwoInts = new TwoInts(x / y, x % y)

しかし、結果型のペア一つ一つに対し、新しいクラスを定義しなくてはならないのでは、あまりに面倒です。Scala ではその代わりに、次のように定義されたジェネリッククラス Tuple2 を使えます。

package scala case class Tuple2[A, B](_1: A, _2: B)

Tuple2 を用いて divmod メソッドは次のように書けます。

def divmod(x: Int, y: Int) = new Tuple2[Int, Int](x / y, x % y)

コンストラクタへの型パラメータは、値引数から推論可能な場合、通常省略できます。異なる要素数ごとにタプルクラスが存在します (現在の Scala 実装では、要素数をある適正値に制限しています) 。

タプルの要素にどうやってアクセスするのでしょうか？ タプルはケースクラスなので、２つの可能性があります。次の例のように、タプルのフィールドにコンストラクタパラメータ名 _i を用いてアクセスできます。

val xy = divmod(x, y) println("quotient: " + xy._1 + ", rest: " + xy._2)

あるいは次の例のように、タプルに対するパターンマッチを用います。

divmod(x, y) match { case Tuple2(n, d) => println("quotient: " + n + ", rest: " + d) }

型パラメータはパターンでは決して使われないことに注意して下さい。「case Tuple2[Int, Int](n, d)」と書くのは文法違反です。(訳注 : たとえば、「case x:Tuple2[Int,Int] =>・・・」と書くのは OK です)

タプルは非常に便利なので、Scala では特別な構文が用意されています。n 要素 x1,...,xn のタプルは、(x1,...,xn) と書けます。これは Tuplen(x1,...,xn) と等価です。(...) 構文は、型やパターンについても同じように働きます。タプル構文を使って、divmod の例は次のように書けます。

def divmod(x: Int, y: Int): (Int, Int) = (x / y, x % y)

divmod(x, y) match { case (n, d) => println("quotient: " + n + ", rest: " + d) }