web-dev-qa-db-ja.com

unapplyとunapplySeqの違いは何ですか？

ScalaにunapplyとunapplySeqの両方があるのはなぜですか？2つの違いは何ですか？どちらを優先する必要があるのですか？

scalapattern-matchingunapply
39
Dan Burton

詳細に立ち入って少し単純化することなく：

通常のパラメーターの場合、apply構成およびunapply非構造：

object S {
  def apply(a: A):S = ... // makes a S from an A
  def unapply(s: S): Option[A] = ... // retrieve the A from the S
}
val s = S(a)
s match { case S(a) => a }

繰り返されるパラメーターの場合、apply構造とunapplySeq構造解除：

object M {
  def apply(a: A*): M = ......... // makes a M from an As.
  def unapplySeq(m: M): Option[Seq[A]] = ... // retrieve the As from the M
}
val m = M(a1, a2, a3)
m match { case M(a1, a2, a3) => ... } 
m match { case M(a, as @ _*) => ... }

2番目のケースでは、繰り返されるパラメーターはSeqのように扱われ、A*と_*の類似性に注意してください。

したがって、さまざまな単一の値を自然に含むものを構造化解除する場合は、unapplyを使用します。 Seqを含むものを構造化解除する場合は、unapplySeqを使用します。

37
huynhjl

固定アリティと可変アリティ。 Scala（pdf） のパターンマッチングは、ミラーリングの例でそれをうまく説明しています。 この回答 にもミラーリングの例があります。

簡単に：

object Sorted {
  def unapply(xs: Seq[Int]) =
    if (xs == xs.sortWith(_ < _)) Some(xs) else None
}

object SortedSeq {
  def unapplySeq(xs: Seq[Int]) =
    if (xs == xs.sortWith(_ < _)) Some(xs) else None
}

scala> List(1,2,3,4) match { case Sorted(xs) => xs }
res0: Seq[Int] = List(1, 2, 3, 4)
scala> List(1,2,3,4) match { case SortedSeq(a, b, c, d) => List(a, b, c, d) }
res1: List[Int] = List(1, 2, 3, 4)
scala> List(1) match { case SortedSeq(a) => a }
res2: Int = 1

では、次の例ではどちらが展示されていると思いますか？

scala> List(1) match { case List(x) => x }
res3: Int = 1
18
Julian Fondren

いくつかの例：

scala> val fruit = List("apples", "oranges", "pears")
fruit: List[String] = List(apples, oranges, pears)

scala> val List(a, b, c) = fruit
a: String = apples
b: String = oranges
c: String = pears

scala> val List(a, b, _*) = fruit
a: String = apples
b: String = oranges

scala> val List(a, _*) = fruit
a: String = apples

scala> val List(a,rest @ _*) = fruit
a: String = apples
rest: Seq[String] = List(oranges, pears)

scala> val a::b::c::Nil = fruit
a: String = apples
b: String = oranges
c: String = pears

scala> val a::b::rest = fruit
a: String = apples
b: String = oranges
rest: List[String] = List(pears)

scala> val a::rest = fruit
a: String = apples
rest: List[String] = List(oranges, pears)
0
timothyzhang