Scala：匹配案例类

Question

以下代码声称 Jack 受雇于建筑业，但 Jane 是经济不景气的另一个受害者：

abstract class Person(name: String) {

  case class Student(name: String, major: String) extends Person(name)

  override def toString(): String = this match {
    case Student(name, major) => name + " studies " + major
    case Worker(name, occupation) => name + " does " + occupation
    case _ => name + " is unemployed"
  }
}

case class Worker(name: String, job: String) extends Person(name)

object Narrator extends Person("Jake") {
  def main(args: Array[String]) {
    var friend: Person = new Student("Jane", "biology")
    println("My friend " + friend) //outputs "Jane is unemployed"
    friend = new Worker("Jack", "construction")
    println("My friend " + friend) //outputs "Jack does construction"
  }
}

为什么匹配无法识别 Jane 作为学生？

Answer 1

我相信这里发生的是 Student 案例类是在 Person 内部声明的。因此，toString 中的 case Student 将仅匹配属于特定 Person 实例的 Student。

如果将案例类 Student 移动到案例类 Worker 并行（然后从其中删除不必要的 extends Person("Jake") object Narrator ...它的存在只是为了让新学生最终成为特定于Jake的Person$Student），你会发现简确实是学生物学的。

Answer 2

Emil 是完全正确的，但这里有一个例子可以清楚地说明：

scala> case class A(a: String) {
     |   case class B(b: String)
     |   def who(obj: Any) = obj match {
     |     case B(b) => println("I'm A("+a+").B("+b+").")
     |     case b: A#B => println("I'm B("+b+") from some A")
     |     case other => println("Who am I?")
     |   }
     | }
defined class A

scala> val a1 = A("a1")
a1: A = A(a1)

scala> val a2 = A("a2")
a2: A = A(a2)

scala> val b1= a1.B("b1")
b1: a1.B = B(b1)

scala> val b2 = a2.B("b2")
b2: a2.B = B(b2)

scala> a1 who b1
I'm A(a1).B(b1).

scala> a1 who b2
I'm B(B(b2)) from some A

更准确地说，这行：

case Student(name, major) => name + " studies " + major

确实意味着

case this.Student(name, major) => name + " studies " + major

不幸的是，虽然 Jane 是在 Jake 上实例化的，但在 Jane 的情况下 this 指向 Jane 本人。