Scala 中的案例类、模式匹配和柯里化构造函数

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")
}

问题是模式匹配和柯里化参数似乎不起作用。有解决方法吗？

Answer 1

如果您查看为 B 类创建的 unapply 函数的签名，您将看到它是：unapply(x$0: Q): Option[Int]。因此，unapply 函数适用于案例类的第一个参数范围。

它由 scala 规范（第 5.3.2 节）确认：

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

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

几种解决方法：

• 如果您想测试这 2 个值，请使用与guard 匹配的模式来取消参数化
• ： case x@B(3) if xb == "bazinga" =>; ...
• 使用普通类并使用您自己的 apply / unappy 定义您自己的伴生对象

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

您可以使用正常情况类并仅定义具有多个参数列表的工厂方法。