Scala中的案例类，模式匹配和curried构造函数

Question

他们似乎没有很好地混合：

abstract class A
case class B (var a: Int)(var b: String) extends A
case class C extends A

以下内容不起作用：

B(1)("1") match {
  case B(a)(b) => print("B")
  case C() => print("C")
}

问题是模式匹配和curried参数似乎不起作用。 有解决办法吗？

Answer 1

如果你看一下为B类创建的unapply函数的签名，你会看到它是： unapply(x$0: Q): Option[Int] 。 因此，unapply函数与case类的第一个参数范围一起使用。

scala规范（§5.3.2）证实了这一点：

案例类的第一个参数部分中的形式参数称为元素; 他们受到特殊待遇。 首先，可以将这样的参数的值提取为构造函数模式的字段。

它明确声称只有第一个参数部分可通过提取器获得。

几个解决方法：

• 发现你的参数
• 如果要测试2个值，请使用与guard匹配的模式： case x@B(3) if xb == "bazinga" => ...
• 使用普通类并使用您自己的apply / unapply定义您自己的伴随对象

Answer 2

这有什么问题？

def m(a: A) = a match {
  case b: B => print("B")
  case c: C => print("C")
}

我只是问，因为你没有要求比这更多的功能。

编辑

这有助于：

object Dog {
   def apply(name: String)(size: Int) = new Dog(name)(size)
   def unapply(dog: Dog) = Some(dog.name, dog.size)
}
class Dog(val name: String)(var size: Int)

现在你可以像这样创建狗：

new Dog("Snoopy")(10) 

或者像这样：

Dog("Snoopy")(10)

但是当你在狗上进行模式匹配时，构造函数模式就不会被咖喱了。

Dog("Snoopy")(10) match {
   case Dog(a, b) => // do sth with a or b
}

Answer 3

您可以使用普通的case类，只需定义一个带有多个参数列表的工厂方法。