Рассмотрим этот класс:
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))
Но это не работает.
Случайные классы соответствуют (и выполняют свои другие отличные действия) только по первому набору параметров:
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
Если это не класс case, вы можете определить, что unapply - это все, что вы хотите, поэтому оно действительно соответствует разработчику класса. По умолчанию, нет никакого доступа, поэтому вы можете сопоставлять только с типом.
Если вы хотите использовать отличные функции класса case, включая возможность сопоставления и выполнения равенства во всем, но с каким-то делением, вы можете вставлять классы case:
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
Просто для того, чтобы основываться на ответе Rex, вы можете не только совпадение шаблонов в первом блоке параметров, но это поведение очень по дизайну.
Более интересный вопрос заключается в том, почему классы case, как алгебраические типы данных, поддерживают даже несколько списков параметров...
Нет достаточного обоснования для добавления специального поведения для классов case, и несколько списков параметров оказываются весьма полезными. В производственном коде это средство часто используется только для подачи неявных аргументов, которые вы вполне естественно не хотели бы сопоставлять шаблону.
Вероятно, это не сработало, потому что Scala не имеет оператора запятой, и вы возвращаете Some((a,b),(x,y)) из экстрактора. Если вы использовали вместо Some(((a,b,c),(x,y,z))) (т.е. A Tuple2[Tuple3[A,B,C],Tuple3[X,Y,Z]], я думаю, что он, вероятно, сработает.