Scala 不会与 java.lang.String 和 Case Class 进行模式匹配

Question

大家好，Scala 程序员，

我已经使用 Scala 一个月了，但是我在一些基本的东西上遇到了问题，我希望你们能帮助我解决这个问题。

case class PersonClass(name: String, age: Int)

object CaseTester {
def main(args:Array[String])
 {
  val string = "hej"
  string match {
    case e:String => println(string)
    case PersonClass => println(string)
  }
 }
}

当我这样做时，我收到错误：

pattern type is incompatible with expected type;
found   : object PersonClass
required: java.lang.String
case PersonClass => println(string)

如果我将模式匹配中的第二行更改为以下内容：

case e:PersonClass => println(string)

然后我收到错误：

error: scrutinee is incompatible with pattern type;
found   : PersonClass
required: java.lang.String
case e:PersonClass => println(string)

但是，如果我将字符串定义更改为以下内容，则在两种情况下都可以正常编译。

val string:AnyRef = "hej"

Answer 1

推断的字符串类型是 String。这是在 val 声明后已知的。

正如我们在模式匹配期间已经知道的那样，匹配不是字符串的模式（例如您的 PersonClass）是没有意义的，因为它们永远不会匹配。这就是“模式类型与预期类型不兼容；发现：需要对象 PersonClass：java.lang.String case PersonClass => println(string)”错误的含义：我们期望一个作为 String 子类的模式，但发现了一些东西（PersonClass）这不是。

当您强制使用 AnyRef 类型时，情况会发生变化。编译器会将字符串视为 Anyref，因此扩展 AnyRef 的模式可能会匹配。 PersonClass 是 AnyRef，因此不会出现错误。

Answer 2

如果您已经有一个 String 类型的对象，它将永远不会与 PersonClass 类型匹配。这实际上是编译器不允许您进行这些永远不会成功的匹配的功能。

使用 Any 类型，您只需关闭类型检查即可。它与这个定义不匹配，但编译器无法捕获这个问题。

Answer 3

我假设您正在尝试测试其他东西，但编译器太聪明了，不允许您这样做。

也许您想要这样的东西：

object Test {
  case class Person(name: String, age: Int) { }
  def myPrint(ar: AnyRef) {
    ar match {
      case s: String => println(s)
      case Person(name, age) => println("My name is "+name)
      case _ => println("I am a mystery!")
    }
  }
  def test = {
    myPrint("Hello, World")
    myPrint(Person("John Doe",40))
    myPrint(5)
  }
}

但正如其他人指出的那样，如果您实际上不需要检查其他类型，编译器会抱怨您所做的事情毫无意义。这也是一件好事：如果您没有编写测试，则可能会遇到难以调试的运行时错误。

Answer 4

object ws {

case class PersonClass(name:String,age: Int)
val p=new PersonClass("ach",25)                    

  def string(x: Any) = x match {
    case x:String => println(x)
    case x:PersonClass => println(p.name +" "+p.age)
   }                                              

     string("aa")                                 //> aa
     string(p)                                    //> ach 25

}