Question

考虑这个课程：

class DateTime(year: Int, month: Int, day: Int)(hour: Int, minute: Int, second: Int)

unapply方法如何，如果我想匹配以下内容：

dt match {
  case DateTime(2012, 12, 12)(12, _, _) => // December 12th 2012, 12 o'clock
  /* ... */
}

我试过了：

def unapply(dt: DateTime) = 
  Some((dt.year, dt.month, dt.day),(dt.hour, dt.minute, dt.second))

但那并没有真正起作用。

Answer 1

案例类仅在第一组参数上匹配（并做其他漂亮的事情）：

scala> case class A(i: Int)(j: Int) { }
defined class A

scala> A(5)(4) match { case A(5) => "Hi" }
res14: java.lang.String = Hi

scala> A(5)(4) == A(5)(9)
res15: Boolean = true

如果它不是一个案例类，你可以将unapply定义为你想要的任何东西，所以它真的取决于类的实现者。默认情况下，没有取消应用，因此您只能匹配类型。

如果你想使用漂亮的案例类功能，包括能够在所有内容上匹配和执行相等，但是有某种划分，你可以嵌套案例类：

case class Time(hour: Int, minute: Int, second: Int) { }
case class Date(year: Int, month: Int, day: Int) { }
case class DateTime(date: Date, time: Time) { }

scala> val dt = DateTime(Date(2011,5,27), Time(15,21,50))
scala> dt match { case DateTime(Date(2011,_,_),Time(h,m,50)) => println(h + ":" + m) }
15:21

Answer 2

只是建立在Rex的答案上，不仅可以在第一个参数块上进行模式匹配，而且这种行为非常符合设计。

更有趣的问题是为什么案例类，作为代数数据类型，甚至支持多个参数列表...

没有足够的理由为case类添加特殊行为，并且多个参数列表非常有用。在生产代码中，此工具通常仅用于提供隐式参数，您很自然地不希望模式匹配。

Answer 3

它可能不起作用，因为Scala没有逗号运算符，并且您从提取器返回Some((a,b),(x,y))。如果您使用了Some(((a,b,c),(x,y,z)))（即Tuple2[Tuple3[A,B,C],Tuple3[X,Y,Z]]，我认为它可能会有用。

如何模式匹配具有多个参数列表的类？

3 个答案: